0.003 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 0.065 * * * [progress]: [2/2] Setting up program. 0.069 * [progress]: [Phase 2 of 3] Improving. 0.069 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.069 * [simplify]: Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) 0.070 * * [simplify]: iters left: 6 (10 enodes) 0.077 * * [simplify]: iters left: 5 (52 enodes) 0.101 * * [simplify]: iters left: 4 (190 enodes) 0.303 * * [simplify]: Extracting #0: cost 1 inf + 0 0.303 * * [simplify]: Extracting #1: cost 74 inf + 0 0.304 * * [simplify]: Extracting #2: cost 182 inf + 171 0.310 * * [simplify]: Extracting #3: cost 108 inf + 10424 0.323 * * [simplify]: Extracting #4: cost 1 inf + 28245 0.338 * * [simplify]: Extracting #5: cost 0 inf + 28408 0.353 * [simplify]: Simplified to (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) 0.353 * [simplify]: Simplified (2) to (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 0.364 * * [progress]: iteration 1 / 4 0.364 * * * [progress]: picking best candidate 0.367 * * * * [pick]: Picked # 0.367 * * * [progress]: localizing error 0.392 * * * [progress]: generating rewritten candidates 0.392 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 0.427 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 1) 0.454 * * * [progress]: generating series expansions 0.454 * * * * [progress]: [ 1 / 2 ] generating series at (2) 0.454 * [backup-simplify]: Simplify (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) 0.455 * [approximate]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0 0.455 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i 0.455 * [taylor]: Taking taylor expansion of 1/4 in i 0.455 * [backup-simplify]: Simplify 1/4 into 1/4 0.455 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i 0.455 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.455 * [taylor]: Taking taylor expansion of i in i 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 1 into 1 0.455 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i 0.455 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 0.455 * [taylor]: Taking taylor expansion of 4 in i 0.455 * [backup-simplify]: Simplify 4 into 4 0.455 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.455 * [taylor]: Taking taylor expansion of i in i 0.455 * [backup-simplify]: Simplify 0 into 0 0.455 * [backup-simplify]: Simplify 1 into 1 0.455 * [taylor]: Taking taylor expansion of 1.0 in i 0.455 * [backup-simplify]: Simplify 1.0 into 1.0 0.456 * [backup-simplify]: Simplify (* 1 1) into 1 0.456 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.457 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.458 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 0.458 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i 0.458 * [taylor]: Taking taylor expansion of 1/4 in i 0.458 * [backup-simplify]: Simplify 1/4 into 1/4 0.458 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i 0.458 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.458 * [taylor]: Taking taylor expansion of i in i 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify 1 into 1 0.458 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i 0.458 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 0.458 * [taylor]: Taking taylor expansion of 4 in i 0.458 * [backup-simplify]: Simplify 4 into 4 0.458 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.458 * [taylor]: Taking taylor expansion of i in i 0.458 * [backup-simplify]: Simplify 0 into 0 0.458 * [backup-simplify]: Simplify 1 into 1 0.458 * [taylor]: Taking taylor expansion of 1.0 in i 0.458 * [backup-simplify]: Simplify 1.0 into 1.0 0.459 * [backup-simplify]: Simplify (* 1 1) into 1 0.459 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.460 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.461 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0 0.461 * [backup-simplify]: Simplify (* 1/4 -1.0) into -0.25 0.462 * [backup-simplify]: Simplify -0.25 into -0.25 0.462 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.463 * [backup-simplify]: Simplify (- 0) into 0 0.463 * [backup-simplify]: Simplify (+ 0 0) into 0 0.464 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0 0.465 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0 0.465 * [backup-simplify]: Simplify 0 into 0 0.466 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.466 * [backup-simplify]: Simplify (* 1 1) into 1 0.466 * [backup-simplify]: Simplify (* 4 1) into 4 0.467 * [backup-simplify]: Simplify (- 0) into 0 0.467 * [backup-simplify]: Simplify (+ 4 0) into 4 0.472 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 0.475 * [backup-simplify]: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0) 0.476 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.477 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.477 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.478 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 0.479 * [backup-simplify]: Simplify (- 0) into 0 0.479 * [backup-simplify]: Simplify (+ 0 0) into 0 0.481 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 0.483 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0 0.483 * [backup-simplify]: Simplify 0 into 0 0.484 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.485 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.486 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 0.487 * [backup-simplify]: Simplify (- 0) into 0 0.487 * [backup-simplify]: Simplify (+ 0 0) into 0 0.495 * [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) 0.500 * [backup-simplify]: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0) 0.500 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 0.502 * [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))))) 0.502 * [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))) 0.502 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.502 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 0.502 * [taylor]: Taking taylor expansion of 1/4 in i 0.502 * [backup-simplify]: Simplify 1/4 into 1/4 0.502 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 0.502 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.503 * [taylor]: Taking taylor expansion of i in i 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 0.503 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 0.503 * [taylor]: Taking taylor expansion of 4 in i 0.503 * [backup-simplify]: Simplify 4 into 4 0.503 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.503 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.503 * [taylor]: Taking taylor expansion of i in i 0.503 * [backup-simplify]: Simplify 0 into 0 0.503 * [backup-simplify]: Simplify 1 into 1 0.503 * [backup-simplify]: Simplify (* 1 1) into 1 0.504 * [backup-simplify]: Simplify (/ 1 1) into 1 0.504 * [taylor]: Taking taylor expansion of 1.0 in i 0.504 * [backup-simplify]: Simplify 1.0 into 1.0 0.504 * [backup-simplify]: Simplify (* 1 1) into 1 0.505 * [backup-simplify]: Simplify (* 4 1) into 4 0.505 * [backup-simplify]: Simplify (+ 4 0) into 4 0.505 * [backup-simplify]: Simplify (* 1 4) into 4 0.506 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 0.506 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 0.506 * [taylor]: Taking taylor expansion of 1/4 in i 0.506 * [backup-simplify]: Simplify 1/4 into 1/4 0.506 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 0.506 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.506 * [taylor]: Taking taylor expansion of i in i 0.506 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify 1 into 1 0.506 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 0.506 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 0.506 * [taylor]: Taking taylor expansion of 4 in i 0.506 * [backup-simplify]: Simplify 4 into 4 0.506 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.506 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.506 * [taylor]: Taking taylor expansion of i in i 0.506 * [backup-simplify]: Simplify 0 into 0 0.506 * [backup-simplify]: Simplify 1 into 1 0.507 * [backup-simplify]: Simplify (* 1 1) into 1 0.507 * [backup-simplify]: Simplify (/ 1 1) into 1 0.507 * [taylor]: Taking taylor expansion of 1.0 in i 0.507 * [backup-simplify]: Simplify 1.0 into 1.0 0.507 * [backup-simplify]: Simplify (* 1 1) into 1 0.508 * [backup-simplify]: Simplify (* 4 1) into 4 0.508 * [backup-simplify]: Simplify (+ 4 0) into 4 0.509 * [backup-simplify]: Simplify (* 1 4) into 4 0.509 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 0.509 * [backup-simplify]: Simplify 1/16 into 1/16 0.510 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.511 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.511 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 0.512 * [backup-simplify]: Simplify (+ 0 0) into 0 0.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.513 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0 0.514 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 0.514 * [backup-simplify]: Simplify 0 into 0 0.515 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.518 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 0.518 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.519 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.520 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.523 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 0.528 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 0.528 * [backup-simplify]: Simplify 0.015625 into 0.015625 0.529 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.530 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.532 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.532 * [backup-simplify]: Simplify (- 0) into 0 0.533 * [backup-simplify]: Simplify (+ 0 0) into 0 0.534 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 0.543 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 0.543 * [backup-simplify]: Simplify 0 into 0 0.544 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.546 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.547 * [backup-simplify]: Simplify (- 0) into 0 0.547 * [backup-simplify]: Simplify (+ 0 0) into 0 0.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 0.557 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 0.557 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 0.558 * [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))))) 0.558 * [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))) 0.558 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0 0.558 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 0.558 * [taylor]: Taking taylor expansion of 1/4 in i 0.558 * [backup-simplify]: Simplify 1/4 into 1/4 0.558 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 0.558 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.558 * [taylor]: Taking taylor expansion of i in i 0.558 * [backup-simplify]: Simplify 0 into 0 0.558 * [backup-simplify]: Simplify 1 into 1 0.558 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 0.558 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 0.558 * [taylor]: Taking taylor expansion of 4 in i 0.558 * [backup-simplify]: Simplify 4 into 4 0.558 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.558 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.558 * [taylor]: Taking taylor expansion of i in i 0.558 * [backup-simplify]: Simplify 0 into 0 0.558 * [backup-simplify]: Simplify 1 into 1 0.559 * [backup-simplify]: Simplify (* 1 1) into 1 0.559 * [backup-simplify]: Simplify (/ 1 1) into 1 0.559 * [taylor]: Taking taylor expansion of 1.0 in i 0.559 * [backup-simplify]: Simplify 1.0 into 1.0 0.560 * [backup-simplify]: Simplify (* 1 1) into 1 0.560 * [backup-simplify]: Simplify (* 4 1) into 4 0.561 * [backup-simplify]: Simplify (+ 4 0) into 4 0.561 * [backup-simplify]: Simplify (* 1 4) into 4 0.561 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 0.561 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 0.561 * [taylor]: Taking taylor expansion of 1/4 in i 0.562 * [backup-simplify]: Simplify 1/4 into 1/4 0.562 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 0.562 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.562 * [taylor]: Taking taylor expansion of i in i 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 0.562 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 0.562 * [taylor]: Taking taylor expansion of 4 in i 0.562 * [backup-simplify]: Simplify 4 into 4 0.562 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 0.562 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.562 * [taylor]: Taking taylor expansion of i in i 0.562 * [backup-simplify]: Simplify 0 into 0 0.562 * [backup-simplify]: Simplify 1 into 1 0.562 * [backup-simplify]: Simplify (* 1 1) into 1 0.563 * [backup-simplify]: Simplify (/ 1 1) into 1 0.563 * [taylor]: Taking taylor expansion of 1.0 in i 0.563 * [backup-simplify]: Simplify 1.0 into 1.0 0.563 * [backup-simplify]: Simplify (* 1 1) into 1 0.564 * [backup-simplify]: Simplify (* 4 1) into 4 0.564 * [backup-simplify]: Simplify (+ 4 0) into 4 0.564 * [backup-simplify]: Simplify (* 1 4) into 4 0.565 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 0.565 * [backup-simplify]: Simplify 1/16 into 1/16 0.566 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.566 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 0.567 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 0.568 * [backup-simplify]: Simplify (+ 0 0) into 0 0.568 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.569 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0 0.570 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 0.570 * [backup-simplify]: Simplify 0 into 0 0.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.572 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.573 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 0.573 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 0.574 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 0.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.578 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 0.583 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 0.583 * [backup-simplify]: Simplify 0.015625 into 0.015625 0.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.586 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.587 * [backup-simplify]: Simplify (- 0) into 0 0.587 * [backup-simplify]: Simplify (+ 0 0) into 0 0.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 0.591 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 0.591 * [backup-simplify]: Simplify 0 into 0 0.593 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.594 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.595 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.596 * [backup-simplify]: Simplify (- 0) into 0 0.596 * [backup-simplify]: Simplify (+ 0 0) into 0 0.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 0.607 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 0.607 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 0.607 * [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))))) 0.607 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 1) 0.607 * [backup-simplify]: Simplify (* 4 (* i i)) into (* 4 (pow i 2)) 0.607 * [approximate]: Taking taylor expansion of (* 4 (pow i 2)) in (i) around 0 0.607 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 0.607 * [taylor]: Taking taylor expansion of 4 in i 0.607 * [backup-simplify]: Simplify 4 into 4 0.607 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.607 * [taylor]: Taking taylor expansion of i in i 0.607 * [backup-simplify]: Simplify 0 into 0 0.607 * [backup-simplify]: Simplify 1 into 1 0.607 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i 0.607 * [taylor]: Taking taylor expansion of 4 in i 0.607 * [backup-simplify]: Simplify 4 into 4 0.607 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.607 * [taylor]: Taking taylor expansion of i in i 0.608 * [backup-simplify]: Simplify 0 into 0 0.608 * [backup-simplify]: Simplify 1 into 1 0.608 * [backup-simplify]: Simplify (* 1 1) into 1 0.608 * [backup-simplify]: Simplify (* 4 1) into 4 0.608 * [backup-simplify]: Simplify 4 into 4 0.609 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.610 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0 0.610 * [backup-simplify]: Simplify 0 into 0 0.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.612 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 0.612 * [backup-simplify]: Simplify 0 into 0 0.613 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.614 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.614 * [backup-simplify]: Simplify 0 into 0 0.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.617 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.617 * [backup-simplify]: Simplify 0 into 0 0.618 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.620 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.620 * [backup-simplify]: Simplify 0 into 0 0.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.623 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.623 * [backup-simplify]: Simplify 0 into 0 0.623 * [backup-simplify]: Simplify (* 4 (pow i 2)) into (* 4 (pow i 2)) 0.624 * [backup-simplify]: Simplify (* 4 (* (/ 1 i) (/ 1 i))) into (/ 4 (pow i 2)) 0.624 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0 0.624 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 0.624 * [taylor]: Taking taylor expansion of 4 in i 0.624 * [backup-simplify]: Simplify 4 into 4 0.624 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.624 * [taylor]: Taking taylor expansion of i in i 0.624 * [backup-simplify]: Simplify 0 into 0 0.624 * [backup-simplify]: Simplify 1 into 1 0.624 * [backup-simplify]: Simplify (* 1 1) into 1 0.625 * [backup-simplify]: Simplify (/ 4 1) into 4 0.625 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 0.625 * [taylor]: Taking taylor expansion of 4 in i 0.625 * [backup-simplify]: Simplify 4 into 4 0.625 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.625 * [taylor]: Taking taylor expansion of i in i 0.625 * [backup-simplify]: Simplify 0 into 0 0.625 * [backup-simplify]: Simplify 1 into 1 0.625 * [backup-simplify]: Simplify (* 1 1) into 1 0.626 * [backup-simplify]: Simplify (/ 4 1) into 4 0.626 * [backup-simplify]: Simplify 4 into 4 0.627 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.628 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 0.628 * [backup-simplify]: Simplify 0 into 0 0.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.630 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.630 * [backup-simplify]: Simplify 0 into 0 0.631 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.632 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.632 * [backup-simplify]: Simplify 0 into 0 0.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.634 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.634 * [backup-simplify]: Simplify 0 into 0 0.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.637 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.637 * [backup-simplify]: Simplify 0 into 0 0.638 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.639 * [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 0.639 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 i)) 2)) into (* 4 (pow i 2)) 0.640 * [backup-simplify]: Simplify (* 4 (* (/ 1 (- i)) (/ 1 (- i)))) into (/ 4 (pow i 2)) 0.640 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0 0.640 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 0.640 * [taylor]: Taking taylor expansion of 4 in i 0.640 * [backup-simplify]: Simplify 4 into 4 0.640 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.640 * [taylor]: Taking taylor expansion of i in i 0.640 * [backup-simplify]: Simplify 0 into 0 0.640 * [backup-simplify]: Simplify 1 into 1 0.640 * [backup-simplify]: Simplify (* 1 1) into 1 0.641 * [backup-simplify]: Simplify (/ 4 1) into 4 0.641 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i 0.641 * [taylor]: Taking taylor expansion of 4 in i 0.641 * [backup-simplify]: Simplify 4 into 4 0.641 * [taylor]: Taking taylor expansion of (pow i 2) in i 0.641 * [taylor]: Taking taylor expansion of i in i 0.641 * [backup-simplify]: Simplify 0 into 0 0.641 * [backup-simplify]: Simplify 1 into 1 0.642 * [backup-simplify]: Simplify (* 1 1) into 1 0.642 * [backup-simplify]: Simplify (/ 4 1) into 4 0.642 * [backup-simplify]: Simplify 4 into 4 0.643 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 0.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 0.644 * [backup-simplify]: Simplify 0 into 0 0.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 0.646 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.646 * [backup-simplify]: Simplify 0 into 0 0.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 0.649 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.649 * [backup-simplify]: Simplify 0 into 0 0.650 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 0.651 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.651 * [backup-simplify]: Simplify 0 into 0 0.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 0.653 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 0.654 * [backup-simplify]: Simplify 0 into 0 0.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 0.656 * [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 0.656 * [backup-simplify]: Simplify 0 into 0 0.657 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 (- i))) 2)) into (* 4 (pow i 2)) 0.657 * * * [progress]: simplifying candidates 0.657 * * * * [progress]: [ 1 / 50 ] simplifiying candidate # 0.657 * * * * [progress]: [ 2 / 50 ] simplifiying candidate # 0.657 * [simplify]: Simplifying (- (+ (log i) (log i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4))) 0.657 * * [simplify]: iters left: 6 (12 enodes) 0.664 * * [simplify]: iters left: 5 (48 enodes) 0.680 * * [simplify]: iters left: 4 (78 enodes) 0.712 * * [simplify]: iters left: 3 (119 enodes) 0.752 * * [simplify]: iters left: 2 (164 enodes) 0.802 * * [simplify]: iters left: 1 (202 enodes) 0.880 * * [simplify]: Extracting #0: cost 1 inf + 0 0.880 * * [simplify]: Extracting #1: cost 36 inf + 0 0.881 * * [simplify]: Extracting #2: cost 67 inf + 0 0.881 * * [simplify]: Extracting #3: cost 68 inf + 73 0.882 * * [simplify]: Extracting #4: cost 54 inf + 2556 0.884 * * [simplify]: Extracting #5: cost 34 inf + 6009 0.890 * * [simplify]: Extracting #6: cost 8 inf + 14662 0.897 * * [simplify]: Extracting #7: cost 0 inf + 17696 0.905 * [simplify]: Simplified to (- (log i) (- (log 4) (- (log i) (log (- (* 4 (* i i)) 1.0))))) 0.905 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log i) (- (log 4) (- (log i) (log (- (* 4 (* i i)) 1.0))))))) 0.906 * * * * [progress]: [ 3 / 50 ] simplifiying candidate # 0.906 * [simplify]: Simplifying (- (+ (log i) (log i)) (log (* (- (* 4 (* i i)) 1.0) 4))) 0.906 * * [simplify]: iters left: 6 (11 enodes) 0.913 * * [simplify]: iters left: 5 (46 enodes) 0.928 * * [simplify]: iters left: 4 (79 enodes) 0.955 * * [simplify]: iters left: 3 (129 enodes) 0.987 * * [simplify]: iters left: 2 (187 enodes) 1.018 * * [simplify]: iters left: 1 (248 enodes) 1.101 * * [simplify]: Extracting #0: cost 1 inf + 0 1.101 * * [simplify]: Extracting #1: cost 35 inf + 0 1.101 * * [simplify]: Extracting #2: cost 67 inf + 0 1.102 * * [simplify]: Extracting #3: cost 69 inf + 326 1.103 * * [simplify]: Extracting #4: cost 57 inf + 3857 1.105 * * [simplify]: Extracting #5: cost 40 inf + 6106 1.107 * * [simplify]: Extracting #6: cost 16 inf + 11841 1.111 * * [simplify]: Extracting #7: cost 1 inf + 17025 1.115 * * [simplify]: Extracting #8: cost 0 inf + 17368 1.121 * [simplify]: Simplified to (- (+ (log i) (log i)) (log (* 4 (- (* 4 (* i i)) 1.0)))) 1.121 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (+ (log i) (log i)) (log (* 4 (- (* 4 (* i i)) 1.0)))))) 1.121 * * * * [progress]: [ 4 / 50 ] simplifiying candidate # 1.121 * [simplify]: Simplifying (- (log (* i i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4))) 1.121 * * [simplify]: iters left: 6 (11 enodes) 1.127 * * [simplify]: iters left: 5 (45 enodes) 1.141 * * [simplify]: iters left: 4 (73 enodes) 1.162 * * [simplify]: iters left: 3 (109 enodes) 1.199 * * [simplify]: iters left: 2 (155 enodes) 1.232 * * [simplify]: iters left: 1 (204 enodes) 1.292 * * [simplify]: Extracting #0: cost 1 inf + 0 1.292 * * [simplify]: Extracting #1: cost 34 inf + 0 1.292 * * [simplify]: Extracting #2: cost 68 inf + 0 1.293 * * [simplify]: Extracting #3: cost 68 inf + 185 1.294 * * [simplify]: Extracting #4: cost 49 inf + 3917 1.299 * * [simplify]: Extracting #5: cost 9 inf + 14775 1.304 * * [simplify]: Extracting #6: cost 0 inf + 17297 1.310 * [simplify]: Simplified to (- (- (log (* i i)) (log (- (* 4 (* i i)) 1.0))) (log 4)) 1.310 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (- (log (* i i)) (log (- (* 4 (* i i)) 1.0))) (log 4)))) 1.310 * * * * [progress]: [ 5 / 50 ] simplifiying candidate # 1.311 * [simplify]: Simplifying (- (log (* i i)) (log (* (- (* 4 (* i i)) 1.0) 4))) 1.311 * * [simplify]: iters left: 6 (10 enodes) 1.317 * * [simplify]: iters left: 5 (43 enodes) 1.329 * * [simplify]: iters left: 4 (75 enodes) 1.352 * * [simplify]: iters left: 3 (119 enodes) 1.397 * * [simplify]: iters left: 2 (177 enodes) 1.447 * * [simplify]: iters left: 1 (234 enodes) 1.519 * * [simplify]: Extracting #0: cost 1 inf + 0 1.519 * * [simplify]: Extracting #1: cost 33 inf + 0 1.519 * * [simplify]: Extracting #2: cost 66 inf + 0 1.520 * * [simplify]: Extracting #3: cost 70 inf + 185 1.521 * * [simplify]: Extracting #4: cost 48 inf + 4760 1.525 * * [simplify]: Extracting #5: cost 23 inf + 9530 1.532 * * [simplify]: Extracting #6: cost 1 inf + 16894 1.538 * * [simplify]: Extracting #7: cost 0 inf + 16936 1.548 * [simplify]: Simplified to (- (log (* i i)) (log (* 4 (- (* 4 (* i i)) 1.0)))) 1.549 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log (* i i)) (log (* 4 (- (* 4 (* i i)) 1.0)))))) 1.549 * * * * [progress]: [ 6 / 50 ] simplifiying candidate # 1.549 * [simplify]: Simplifying (log (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 1.549 * * [simplify]: iters left: 6 (9 enodes) 1.555 * * [simplify]: iters left: 5 (43 enodes) 1.571 * * [simplify]: iters left: 4 (96 enodes) 1.600 * * [simplify]: iters left: 3 (182 enodes) 1.635 * * [simplify]: iters left: 2 (297 enodes) 1.713 * * [simplify]: iters left: 1 (459 enodes) 1.863 * * [simplify]: Extracting #0: cost 1 inf + 0 1.863 * * [simplify]: Extracting #1: cost 28 inf + 0 1.863 * * [simplify]: Extracting #2: cost 62 inf + 0 1.863 * * [simplify]: Extracting #3: cost 77 inf + 700 1.865 * * [simplify]: Extracting #4: cost 65 inf + 8520 1.869 * * [simplify]: Extracting #5: cost 12 inf + 14936 1.873 * * [simplify]: Extracting #6: cost 0 inf + 15284 1.880 * * [simplify]: Extracting #7: cost 0 inf + 15244 1.889 * [simplify]: Simplified to (log (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0)))) 1.889 * [simplify]: Simplified (2 1) to (λ (i) (exp (log (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0)))))) 1.889 * * * * [progress]: [ 7 / 50 ] simplifiying candidate # 1.889 * [simplify]: Simplifying (exp (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 1.889 * * [simplify]: iters left: 6 (9 enodes) 1.895 * * [simplify]: iters left: 5 (40 enodes) 1.910 * * [simplify]: iters left: 4 (76 enodes) 1.936 * * [simplify]: iters left: 3 (124 enodes) 1.982 * * [simplify]: iters left: 2 (203 enodes) 2.022 * * [simplify]: iters left: 1 (323 enodes) 2.131 * * [simplify]: Extracting #0: cost 1 inf + 0 2.131 * * [simplify]: Extracting #1: cost 23 inf + 0 2.132 * * [simplify]: Extracting #2: cost 71 inf + 1 2.132 * * [simplify]: Extracting #3: cost 94 inf + 809 2.133 * * [simplify]: Extracting #4: cost 90 inf + 3715 2.136 * * [simplify]: Extracting #5: cost 26 inf + 16228 2.140 * * [simplify]: Extracting #6: cost 2 inf + 23984 2.144 * * [simplify]: Extracting #7: cost 0 inf + 25454 2.148 * [simplify]: Simplified to (exp (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0)))) 2.149 * [simplify]: Simplified (2 1) to (λ (i) (log (exp (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0)))))) 2.149 * * * * [progress]: [ 8 / 50 ] simplifiying candidate # 2.149 * [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))) 2.149 * * [simplify]: iters left: 6 (14 enodes) 2.158 * * [simplify]: iters left: 5 (70 enodes) 2.195 * * [simplify]: iters left: 4 (270 enodes) 2.396 * * [simplify]: Extracting #0: cost 1 inf + 0 2.396 * * [simplify]: Extracting #1: cost 164 inf + 0 2.398 * * [simplify]: Extracting #2: cost 388 inf + 1349 2.405 * * [simplify]: Extracting #3: cost 248 inf + 34489 2.429 * * [simplify]: Extracting #4: cost 20 inf + 90015 2.461 * * [simplify]: Extracting #5: cost 0 inf + 94146 2.515 * * [simplify]: Extracting #6: cost 0 inf + 94106 2.572 * [simplify]: Simplified to (/ (* (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))) (/ (* i i) (- (* (* i i) 4) 1.0))) 64) 2.572 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (* (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))) (/ (* i i) (- (* (* i i) 4) 1.0))) 64))) 2.573 * * * * [progress]: [ 9 / 50 ] simplifiying candidate # 2.573 * [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))) 2.573 * * [simplify]: iters left: 6 (12 enodes) 2.581 * * [simplify]: iters left: 5 (67 enodes) 2.617 * * [simplify]: iters left: 4 (294 enodes) 2.877 * * [simplify]: Extracting #0: cost 1 inf + 0 2.878 * * [simplify]: Extracting #1: cost 186 inf + 0 2.882 * * [simplify]: Extracting #2: cost 517 inf + 979 2.902 * * [simplify]: Extracting #3: cost 346 inf + 51120 2.941 * * [simplify]: Extracting #4: cost 24 inf + 130541 2.999 * * [simplify]: Extracting #5: cost 0 inf + 135972 3.055 * [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))) 3.055 * [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))))) 3.055 * * * * [progress]: [ 10 / 50 ] simplifiying candidate # 3.055 * [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))) 3.056 * * [simplify]: iters left: 6 (14 enodes) 3.066 * * [simplify]: iters left: 5 (71 enodes) 3.103 * * [simplify]: iters left: 4 (258 enodes) 3.293 * * [simplify]: Extracting #0: cost 1 inf + 0 3.294 * * [simplify]: Extracting #1: cost 185 inf + 0 3.297 * * [simplify]: Extracting #2: cost 406 inf + 1799 3.307 * * [simplify]: Extracting #3: cost 216 inf + 45362 3.331 * * [simplify]: Extracting #4: cost 14 inf + 93317 3.383 * * [simplify]: Extracting #5: cost 0 inf + 96152 3.436 * * [simplify]: Extracting #6: cost 0 inf + 95992 3.467 * [simplify]: Simplified to (/ (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))) (/ 64 (/ (* i i) (- (* (* i i) 4) 1.0)))) 3.467 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0))) (/ 64 (/ (* i i) (- (* (* i i) 4) 1.0)))))) 3.468 * * * * [progress]: [ 11 / 50 ] simplifiying candidate # 3.468 * [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))) 3.468 * * [simplify]: iters left: 6 (12 enodes) 3.472 * * [simplify]: iters left: 5 (68 enodes) 3.489 * * [simplify]: iters left: 4 (291 enodes) 3.738 * * [simplify]: Extracting #0: cost 1 inf + 0 3.738 * * [simplify]: Extracting #1: cost 168 inf + 0 3.740 * * [simplify]: Extracting #2: cost 484 inf + 614 3.743 * * [simplify]: Extracting #3: cost 473 inf + 7624 3.759 * * [simplify]: Extracting #4: cost 240 inf + 61430 3.804 * * [simplify]: Extracting #5: cost 11 inf + 121809 3.849 * * [simplify]: Extracting #6: cost 0 inf + 124524 3.898 * * [simplify]: Extracting #7: cost 0 inf + 124484 3.960 * [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)))) 3.960 * [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)))))) 3.960 * * * * [progress]: [ 12 / 50 ] simplifiying candidate # 3.961 * [simplify]: Simplifying (* (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))) 3.961 * * [simplify]: iters left: 6 (10 enodes) 3.964 * * [simplify]: iters left: 5 (43 enodes) 3.975 * * [simplify]: iters left: 4 (77 enodes) 3.995 * * [simplify]: iters left: 3 (119 enodes) 4.015 * * [simplify]: iters left: 2 (180 enodes) 4.076 * * [simplify]: iters left: 1 (261 enodes) 4.159 * * [simplify]: Extracting #0: cost 1 inf + 0 4.159 * * [simplify]: Extracting #1: cost 3 inf + 0 4.159 * * [simplify]: Extracting #2: cost 5 inf + 0 4.159 * * [simplify]: Extracting #3: cost 19 inf + 0 4.159 * * [simplify]: Extracting #4: cost 40 inf + 2 4.159 * * [simplify]: Extracting #5: cost 67 inf + 378 4.162 * * [simplify]: Extracting #6: cost 20 inf + 5454 4.166 * * [simplify]: Extracting #7: cost 0 inf + 7543 4.170 * * [simplify]: Extracting #8: cost 0 inf + 7423 4.174 * [simplify]: Simplified to (* (cbrt (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0)))) (cbrt (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))))) 4.174 * [simplify]: Simplified (2 1) to (λ (i) (* (* (cbrt (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0)))) (cbrt (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))))) (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))))) 4.174 * [simplify]: Simplifying (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 4.174 * * [simplify]: iters left: 6 (9 enodes) 4.180 * * [simplify]: iters left: 5 (40 enodes) 4.198 * * [simplify]: iters left: 4 (74 enodes) 4.224 * * [simplify]: iters left: 3 (116 enodes) 4.245 * * [simplify]: iters left: 2 (178 enodes) 4.287 * * [simplify]: iters left: 1 (260 enodes) 4.396 * * [simplify]: Extracting #0: cost 1 inf + 0 4.396 * * [simplify]: Extracting #1: cost 3 inf + 0 4.396 * * [simplify]: Extracting #2: cost 17 inf + 0 4.396 * * [simplify]: Extracting #3: cost 35 inf + 127 4.396 * * [simplify]: Extracting #4: cost 58 inf + 1073 4.398 * * [simplify]: Extracting #5: cost 16 inf + 5620 4.400 * * [simplify]: Extracting #6: cost 0 inf + 6858 4.402 * * [simplify]: Extracting #7: cost 0 inf + 6777 4.404 * [simplify]: Simplified to (cbrt (/ (/ i 4) (- (* 4 i) (/ 1.0 i)))) 4.404 * [simplify]: Simplified (2 2) to (λ (i) (* (* (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))) (cbrt (/ (/ i 4) (- (* 4 i) (/ 1.0 i)))))) 4.404 * * * * [progress]: [ 13 / 50 ] simplifiying candidate # 4.404 * [simplify]: Simplifying (* (* (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 4.404 * * [simplify]: iters left: 6 (10 enodes) 4.407 * * [simplify]: iters left: 5 (50 enodes) 4.427 * * [simplify]: iters left: 4 (169 enodes) 4.533 * * [simplify]: Extracting #0: cost 1 inf + 0 4.533 * * [simplify]: Extracting #1: cost 79 inf + 0 4.534 * * [simplify]: Extracting #2: cost 261 inf + 45 4.538 * * [simplify]: Extracting #3: cost 163 inf + 23928 4.569 * * [simplify]: Extracting #4: cost 6 inf + 65152 4.587 * * [simplify]: Extracting #5: cost 0 inf + 65453 4.607 * [simplify]: Simplified to (* (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))) (* (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))) (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))))) 4.607 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (* (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))) (* (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))) (/ (* i i) (* 4 (- (* 4 (* i i)) 1.0))))))) 4.607 * * * * [progress]: [ 14 / 50 ] simplifiying candidate # 4.608 * [simplify]: Simplifying (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 4.608 * * [simplify]: iters left: 6 (9 enodes) 4.611 * * [simplify]: iters left: 5 (40 enodes) 4.619 * * [simplify]: iters left: 4 (74 enodes) 4.633 * * [simplify]: iters left: 3 (116 enodes) 4.656 * * [simplify]: iters left: 2 (178 enodes) 4.704 * * [simplify]: iters left: 1 (260 enodes) 4.785 * * [simplify]: Extracting #0: cost 1 inf + 0 4.785 * * [simplify]: Extracting #1: cost 3 inf + 0 4.785 * * [simplify]: Extracting #2: cost 17 inf + 0 4.785 * * [simplify]: Extracting #3: cost 35 inf + 127 4.786 * * [simplify]: Extracting #4: cost 58 inf + 1073 4.789 * * [simplify]: Extracting #5: cost 16 inf + 5580 4.796 * * [simplify]: Extracting #6: cost 0 inf + 6778 4.800 * * [simplify]: Extracting #7: cost 0 inf + 6697 4.804 * [simplify]: Simplified to (sqrt (/ (/ i 4) (- (* 4 i) (/ 1.0 i)))) 4.804 * [simplify]: Simplified (2 1) to (λ (i) (* (sqrt (/ (/ i 4) (- (* 4 i) (/ 1.0 i)))) (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))))) 4.804 * [simplify]: Simplifying (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 4.804 * * [simplify]: iters left: 6 (9 enodes) 4.810 * * [simplify]: iters left: 5 (40 enodes) 4.822 * * [simplify]: iters left: 4 (74 enodes) 4.839 * * [simplify]: iters left: 3 (116 enodes) 4.866 * * [simplify]: iters left: 2 (178 enodes) 4.928 * * [simplify]: iters left: 1 (260 enodes) 5.001 * * [simplify]: Extracting #0: cost 1 inf + 0 5.001 * * [simplify]: Extracting #1: cost 3 inf + 0 5.001 * * [simplify]: Extracting #2: cost 17 inf + 0 5.001 * * [simplify]: Extracting #3: cost 35 inf + 127 5.001 * * [simplify]: Extracting #4: cost 58 inf + 1073 5.005 * * [simplify]: Extracting #5: cost 16 inf + 5580 5.007 * * [simplify]: Extracting #6: cost 0 inf + 6778 5.009 * * [simplify]: Extracting #7: cost 0 inf + 6697 5.011 * [simplify]: Simplified to (sqrt (/ (/ i 4) (- (* 4 i) (/ 1.0 i)))) 5.011 * [simplify]: Simplified (2 2) to (λ (i) (* (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (sqrt (/ (/ i 4) (- (* 4 i) (/ 1.0 i)))))) 5.011 * * * * [progress]: [ 15 / 50 ] simplifiying candidate # 5.011 * [simplify]: Simplifying (- (* i i)) 5.011 * * [simplify]: iters left: 4 (3 enodes) 5.012 * * [simplify]: iters left: 3 (12 enodes) 5.013 * * [simplify]: iters left: 2 (14 enodes) 5.015 * * [simplify]: Extracting #0: cost 1 inf + 0 5.015 * * [simplify]: Extracting #1: cost 5 inf + 0 5.015 * * [simplify]: Extracting #2: cost 6 inf + 1 5.015 * * [simplify]: Extracting #3: cost 0 inf + 327 5.015 * [simplify]: Simplified to (- (* i i)) 5.015 * [simplify]: Simplified (2 1) to (λ (i) (/ (- (* i i)) (- (* (- (* 4 (* i i)) 1.0) 4)))) 5.016 * [simplify]: Simplifying (- (* (- (* 4 (* i i)) 1.0) 4)) 5.016 * * [simplify]: iters left: 6 (8 enodes) 5.019 * * [simplify]: iters left: 5 (35 enodes) 5.025 * * [simplify]: iters left: 4 (57 enodes) 5.036 * * [simplify]: iters left: 3 (105 enodes) 5.055 * * [simplify]: iters left: 2 (151 enodes) 5.083 * * [simplify]: iters left: 1 (178 enodes) 5.110 * * [simplify]: Extracting #0: cost 1 inf + 0 5.111 * * [simplify]: Extracting #1: cost 11 inf + 0 5.111 * * [simplify]: Extracting #2: cost 30 inf + 2 5.111 * * [simplify]: Extracting #3: cost 35 inf + 47 5.111 * * [simplify]: Extracting #4: cost 7 inf + 2064 5.112 * * [simplify]: Extracting #5: cost 0 inf + 2718 5.113 * [simplify]: Simplified to (* 4 (- 1.0 (* 4 (* i i)))) 5.113 * [simplify]: Simplified (2 2) to (λ (i) (/ (- (* i i)) (* 4 (- 1.0 (* 4 (* i i)))))) 5.113 * * * * [progress]: [ 16 / 50 ] simplifiying candidate # 5.113 * [simplify]: Simplifying (/ i (- (* 4 (* i i)) 1.0)) 5.113 * * [simplify]: iters left: 6 (7 enodes) 5.117 * * [simplify]: iters left: 5 (26 enodes) 5.126 * * [simplify]: iters left: 4 (33 enodes) 5.131 * * [simplify]: Extracting #0: cost 1 inf + 0 5.132 * * [simplify]: Extracting #1: cost 4 inf + 0 5.132 * * [simplify]: Extracting #2: cost 7 inf + 1 5.132 * * [simplify]: Extracting #3: cost 10 inf + 43 5.132 * * [simplify]: Extracting #4: cost 5 inf + 455 5.132 * * [simplify]: Extracting #5: cost 1 inf + 824 5.132 * * [simplify]: Extracting #6: cost 0 inf + 987 5.132 * [simplify]: Simplified to (/ i (- (* (* i i) 4) 1.0)) 5.132 * [simplify]: Simplified (2 1) to (λ (i) (* (/ i (- (* (* i i) 4) 1.0)) (/ i 4))) 5.133 * [simplify]: Simplifying (/ i 4) 5.133 * * [simplify]: iters left: 2 (3 enodes) 5.134 * * [simplify]: iters left: 1 (9 enodes) 5.135 * * [simplify]: Extracting #0: cost 1 inf + 0 5.135 * * [simplify]: Extracting #1: cost 4 inf + 0 5.135 * * [simplify]: Extracting #2: cost 2 inf + 2 5.135 * * [simplify]: Extracting #3: cost 0 inf + 86 5.135 * [simplify]: Simplified to (/ i 4) 5.135 * [simplify]: Simplified (2 2) to (λ (i) (* (/ i (- (* 4 (* i i)) 1.0)) (/ i 4))) 5.135 * * * * [progress]: [ 17 / 50 ] simplifiying candidate # 5.135 * * * * [progress]: [ 18 / 50 ] simplifiying candidate # 5.136 * [simplify]: Simplifying (/ 1 (* (- (* 4 (* i i)) 1.0) 4)) 5.136 * * [simplify]: iters left: 6 (9 enodes) 5.139 * * [simplify]: iters left: 5 (37 enodes) 5.146 * * [simplify]: iters left: 4 (57 enodes) 5.157 * * [simplify]: iters left: 3 (78 enodes) 5.184 * * [simplify]: iters left: 2 (95 enodes) 5.202 * * [simplify]: iters left: 1 (99 enodes) 5.216 * * [simplify]: Extracting #0: cost 1 inf + 0 5.216 * * [simplify]: Extracting #1: cost 8 inf + 0 5.216 * * [simplify]: Extracting #2: cost 14 inf + 3 5.216 * * [simplify]: Extracting #3: cost 23 inf + 45 5.216 * * [simplify]: Extracting #4: cost 15 inf + 502 5.217 * * [simplify]: Extracting #5: cost 2 inf + 1815 5.217 * * [simplify]: Extracting #6: cost 0 inf + 2063 5.218 * [simplify]: Simplified to (/ 1/4 (- (* (* i 4) i) 1.0)) 5.218 * [simplify]: Simplified (2 2) to (λ (i) (* (* i i) (/ 1/4 (- (* (* i 4) i) 1.0)))) 5.218 * * * * [progress]: [ 19 / 50 ] simplifiying candidate # 5.218 * [simplify]: Simplifying (/ (* (- (* 4 (* i i)) 1.0) 4) (* i i)) 5.218 * * [simplify]: iters left: 6 (8 enodes) 5.221 * * [simplify]: iters left: 5 (37 enodes) 5.232 * * [simplify]: iters left: 4 (78 enodes) 5.248 * * [simplify]: iters left: 3 (146 enodes) 5.287 * * [simplify]: iters left: 2 (307 enodes) 5.406 * * [simplify]: Extracting #0: cost 1 inf + 0 5.407 * * [simplify]: Extracting #1: cost 23 inf + 0 5.407 * * [simplify]: Extracting #2: cost 54 inf + 3 5.408 * * [simplify]: Extracting #3: cost 44 inf + 2916 5.412 * * [simplify]: Extracting #4: cost 10 inf + 6819 5.416 * * [simplify]: Extracting #5: cost 1 inf + 7317 5.421 * * [simplify]: Extracting #6: cost 0 inf + 7398 5.426 * [simplify]: Simplified to (* (- 4 (/ 1.0 (* i i))) 4) 5.426 * [simplify]: Simplified (2 2) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 5.426 * * * * [progress]: [ 20 / 50 ] simplifiying candidate # 5.427 * [simplify]: Simplifying (/ (* i i) (- (* 4 (* i i)) 1.0)) 5.427 * * [simplify]: iters left: 6 (7 enodes) 5.431 * * [simplify]: iters left: 5 (28 enodes) 5.438 * * [simplify]: iters left: 4 (42 enodes) 5.447 * * [simplify]: iters left: 3 (57 enodes) 5.457 * * [simplify]: iters left: 2 (80 enodes) 5.473 * * [simplify]: iters left: 1 (100 enodes) 5.505 * * [simplify]: Extracting #0: cost 1 inf + 0 5.505 * * [simplify]: Extracting #1: cost 7 inf + 0 5.505 * * [simplify]: Extracting #2: cost 16 inf + 1 5.506 * * [simplify]: Extracting #3: cost 31 inf + 249 5.506 * * [simplify]: Extracting #4: cost 12 inf + 1813 5.508 * * [simplify]: Extracting #5: cost 0 inf + 3043 5.509 * * [simplify]: Extracting #6: cost 0 inf + 3003 5.511 * [simplify]: Simplified to (/ (* i i) (- (* 4 (* i i)) 1.0)) 5.511 * [simplify]: Simplified (2 1) to (λ (i) (/ (/ (* i i) (- (* 4 (* i i)) 1.0)) 4)) 5.511 * * * * [progress]: [ 21 / 50 ] simplifiying candidate # 5.511 * [simplify]: Simplifying (/ (* (- (* 4 (* i i)) 1.0) 4) i) 5.511 * * [simplify]: iters left: 6 (8 enodes) 5.516 * * [simplify]: iters left: 5 (32 enodes) 5.527 * * [simplify]: iters left: 4 (54 enodes) 5.547 * * [simplify]: iters left: 3 (95 enodes) 5.568 * * [simplify]: iters left: 2 (156 enodes) 5.607 * * [simplify]: iters left: 1 (222 enodes) 5.701 * * [simplify]: Extracting #0: cost 1 inf + 0 5.701 * * [simplify]: Extracting #1: cost 13 inf + 0 5.701 * * [simplify]: Extracting #2: cost 49 inf + 2 5.703 * * [simplify]: Extracting #3: cost 35 inf + 2062 5.705 * * [simplify]: Extracting #4: cost 1 inf + 4379 5.708 * * [simplify]: Extracting #5: cost 0 inf + 4341 5.710 * * [simplify]: Extracting #6: cost 0 inf + 4340 5.713 * [simplify]: Simplified to (* 4 (- (* 4 i) (/ 1.0 i))) 5.713 * [simplify]: Simplified (2 2) to (λ (i) (/ i (* 4 (- (* 4 i) (/ 1.0 i))))) 5.714 * * * * [progress]: [ 22 / 50 ] simplifiying candidate # 5.714 * [simplify]: Simplifying (/ (* i i) (* (- (pow (* 4 (* i i)) 3) (pow 1.0 3)) 4)) 5.714 * * [simplify]: iters left: 6 (11 enodes) 5.719 * * [simplify]: iters left: 5 (63 enodes) 5.734 * * [simplify]: iters left: 4 (180 enodes) 5.801 * * [simplify]: Extracting #0: cost 1 inf + 0 5.802 * * [simplify]: Extracting #1: cost 18 inf + 0 5.802 * * [simplify]: Extracting #2: cost 42 inf + 2 5.802 * * [simplify]: Extracting #3: cost 109 inf + 209 5.803 * * [simplify]: Extracting #4: cost 118 inf + 4371 5.806 * * [simplify]: Extracting #5: cost 26 inf + 25461 5.816 * * [simplify]: Extracting #6: cost 4 inf + 30093 5.827 * * [simplify]: Extracting #7: cost 0 inf + 31011 5.832 * [simplify]: Simplified to (/ (/ (* i i) (- (* (* 64 (* i i)) (* (* i i) (* i i))) (* (* 1.0 1.0) 1.0))) 4) 5.833 * [simplify]: Simplified (2 1) to (λ (i) (* (/ (/ (* i i) (- (* (* 64 (* i i)) (* (* i i) (* i i))) (* (* 1.0 1.0) 1.0))) 4) (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0))))) 5.833 * * * * [progress]: [ 23 / 50 ] simplifiying candidate # 5.833 * [simplify]: Simplifying (/ (* i i) (* (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0)) 4)) 5.833 * * [simplify]: iters left: 6 (10 enodes) 5.837 * * [simplify]: iters left: 5 (54 enodes) 5.849 * * [simplify]: iters left: 4 (139 enodes) 5.890 * * [simplify]: iters left: 3 (323 enodes) 6.028 * * [simplify]: Extracting #0: cost 1 inf + 0 6.029 * * [simplify]: Extracting #1: cost 35 inf + 0 6.029 * * [simplify]: Extracting #2: cost 116 inf + 43 6.030 * * [simplify]: Extracting #3: cost 180 inf + 2646 6.033 * * [simplify]: Extracting #4: cost 125 inf + 14437 6.040 * * [simplify]: Extracting #5: cost 11 inf + 33662 6.052 * * [simplify]: Extracting #6: cost 1 inf + 35452 6.070 * * [simplify]: Extracting #7: cost 0 inf + 35664 6.085 * [simplify]: Simplified to (/ (/ (* i i) 4) (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0))) 6.085 * [simplify]: Simplified (2 1) to (λ (i) (* (/ (/ (* i i) 4) (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0))) (+ (* 4 (* i i)) 1.0))) 6.085 * * * * [progress]: [ 24 / 50 ] simplifiying candidate #real (real->posit16 (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))> 6.085 * [simplify]: Simplifying (real->posit16 (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) 6.086 * * [simplify]: iters left: 6 (9 enodes) 6.089 * * [simplify]: iters left: 5 (37 enodes) 6.096 * * [simplify]: iters left: 4 (71 enodes) 6.110 * * [simplify]: iters left: 3 (113 enodes) 6.140 * * [simplify]: iters left: 2 (175 enodes) 6.202 * * [simplify]: iters left: 1 (258 enodes) 6.287 * * [simplify]: Extracting #0: cost 1 inf + 0 6.287 * * [simplify]: Extracting #1: cost 2 inf + 0 6.287 * * [simplify]: Extracting #2: cost 15 inf + 0 6.287 * * [simplify]: Extracting #3: cost 36 inf + 2 6.288 * * [simplify]: Extracting #4: cost 57 inf + 707 6.289 * * [simplify]: Extracting #5: cost 16 inf + 5053 6.291 * * [simplify]: Extracting #6: cost 1 inf + 6048 6.292 * * [simplify]: Extracting #7: cost 0 inf + 6170 6.294 * [simplify]: Simplified to (real->posit16 (/ (/ i 4) (- (* i 4) (/ 1.0 i)))) 6.294 * [simplify]: Simplified (2 1) to (λ (i) (posit16->real (real->posit16 (/ (/ i 4) (- (* i 4) (/ 1.0 i)))))) 6.295 * * * * [progress]: [ 25 / 50 ] simplifiying candidate # 6.295 * [simplify]: Simplifying (* 4 (* i i)) 6.295 * * [simplify]: iters left: 4 (4 enodes) 6.296 * * [simplify]: iters left: 3 (15 enodes) 6.299 * * [simplify]: iters left: 2 (19 enodes) 6.302 * * [simplify]: Extracting #0: cost 1 inf + 0 6.302 * * [simplify]: Extracting #1: cost 6 inf + 0 6.302 * * [simplify]: Extracting #2: cost 5 inf + 43 6.302 * * [simplify]: Extracting #3: cost 0 inf + 332 6.302 * [simplify]: Simplified to (* 4 (* i i)) 6.302 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4))) 6.302 * * * * [progress]: [ 26 / 50 ] simplifiying candidate # 6.302 * [simplify]: Simplifying (* 4 (* i i)) 6.302 * * [simplify]: iters left: 4 (4 enodes) 6.304 * * [simplify]: iters left: 3 (15 enodes) 6.307 * * [simplify]: iters left: 2 (19 enodes) 6.310 * * [simplify]: Extracting #0: cost 1 inf + 0 6.310 * * [simplify]: Extracting #1: cost 6 inf + 0 6.310 * * [simplify]: Extracting #2: cost 5 inf + 43 6.311 * * [simplify]: Extracting #3: cost 0 inf + 332 6.311 * [simplify]: Simplified to (* 4 (* i i)) 6.311 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4))) 6.311 * * * * [progress]: [ 27 / 50 ] simplifiying candidate # 6.311 * * * * [progress]: [ 28 / 50 ] simplifiying candidate # 6.312 * [simplify]: Simplifying (+ (log 4) (+ (log i) (log i))) 6.312 * * [simplify]: iters left: 5 (6 enodes) 6.314 * * [simplify]: iters left: 4 (21 enodes) 6.317 * * [simplify]: iters left: 3 (25 enodes) 6.321 * * [simplify]: Extracting #0: cost 1 inf + 0 6.321 * * [simplify]: Extracting #1: cost 6 inf + 0 6.321 * * [simplify]: Extracting #2: cost 12 inf + 0 6.321 * * [simplify]: Extracting #3: cost 10 inf + 2 6.321 * * [simplify]: Extracting #4: cost 0 inf + 1316 6.322 * [simplify]: Simplified to (+ (log 4) (+ (log i) (log i))) 6.322 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (+ (log i) (log i)))) 1.0) 4))) 6.322 * * * * [progress]: [ 29 / 50 ] simplifiying candidate # 6.322 * [simplify]: Simplifying (+ (log 4) (log (* i i))) 6.322 * * [simplify]: iters left: 5 (6 enodes) 6.324 * * [simplify]: iters left: 4 (21 enodes) 6.328 * * [simplify]: iters left: 3 (27 enodes) 6.336 * * [simplify]: iters left: 2 (32 enodes) 6.344 * * [simplify]: Extracting #0: cost 1 inf + 0 6.345 * * [simplify]: Extracting #1: cost 6 inf + 0 6.345 * * [simplify]: Extracting #2: cost 13 inf + 0 6.345 * * [simplify]: Extracting #3: cost 9 inf + 185 6.345 * * [simplify]: Extracting #4: cost 4 inf + 741 6.345 * * [simplify]: Extracting #5: cost 0 inf + 1398 6.346 * [simplify]: Simplified to (+ (log 4) (+ (log i) (log i))) 6.346 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (+ (log i) (log i)))) 1.0) 4))) 6.346 * * * * [progress]: [ 30 / 50 ] simplifiying candidate # 6.346 * [simplify]: Simplifying (log (* 4 (* i i))) 6.346 * * [simplify]: iters left: 5 (5 enodes) 6.348 * * [simplify]: iters left: 4 (21 enodes) 6.352 * * [simplify]: iters left: 3 (34 enodes) 6.357 * * [simplify]: iters left: 2 (41 enodes) 6.363 * * [simplify]: Extracting #0: cost 1 inf + 0 6.363 * * [simplify]: Extracting #1: cost 7 inf + 0 6.363 * * [simplify]: Extracting #2: cost 16 inf + 0 6.363 * * [simplify]: Extracting #3: cost 14 inf + 144 6.363 * * [simplify]: Extracting #4: cost 6 inf + 685 6.363 * * [simplify]: Extracting #5: cost 0 inf + 1366 6.366 * [simplify]: Simplified to (log (* 4 (* i i))) 6.366 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (exp (log (* 4 (* i i)))) 1.0) 4))) 6.366 * * * * [progress]: [ 31 / 50 ] simplifiying candidate # 6.366 * [simplify]: Simplifying (exp (* 4 (* i i))) 6.366 * * [simplify]: iters left: 5 (5 enodes) 6.368 * * [simplify]: iters left: 4 (20 enodes) 6.372 * * [simplify]: iters left: 3 (34 enodes) 6.377 * * [simplify]: iters left: 2 (56 enodes) 6.387 * * [simplify]: iters left: 1 (103 enodes) 6.412 * * [simplify]: Extracting #0: cost 1 inf + 0 6.412 * * [simplify]: Extracting #1: cost 23 inf + 0 6.412 * * [simplify]: Extracting #2: cost 60 inf + 397 6.413 * * [simplify]: Extracting #3: cost 68 inf + 1502 6.415 * * [simplify]: Extracting #4: cost 36 inf + 6853 6.418 * * [simplify]: Extracting #5: cost 5 inf + 15116 6.423 * * [simplify]: Extracting #6: cost 0 inf + 17181 6.427 * [simplify]: Simplified to (exp (* 4 (* i i))) 6.427 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (log (exp (* 4 (* i i)))) 1.0) 4))) 6.427 * * * * [progress]: [ 32 / 50 ] simplifiying candidate # 6.428 * [simplify]: Simplifying (* (* (* 4 4) 4) (* (* (* i i) i) (* (* i i) i))) 6.428 * * [simplify]: iters left: 6 (8 enodes) 6.433 * * [simplify]: iters left: 5 (38 enodes) 6.451 * * [simplify]: iters left: 4 (97 enodes) 6.488 * * [simplify]: iters left: 3 (287 enodes) 6.676 * * [simplify]: Extracting #0: cost 1 inf + 0 6.676 * * [simplify]: Extracting #1: cost 45 inf + 0 6.677 * * [simplify]: Extracting #2: cost 78 inf + 1188 6.682 * * [simplify]: Extracting #3: cost 23 inf + 8987 6.689 * * [simplify]: Extracting #4: cost 2 inf + 13498 6.695 * * [simplify]: Extracting #5: cost 0 inf + 13922 6.702 * [simplify]: Simplified to (* 64 (* (* i i) (* (* i i) (* i i)))) 6.702 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (cbrt (* 64 (* (* i i) (* (* i i) (* i i))))) 1.0) 4))) 6.702 * * * * [progress]: [ 33 / 50 ] simplifiying candidate # 6.702 * [simplify]: Simplifying (* (* (* 4 4) 4) (* (* (* i i) (* i i)) (* i i))) 6.702 * * [simplify]: iters left: 6 (8 enodes) 6.708 * * [simplify]: iters left: 5 (39 enodes) 6.726 * * [simplify]: iters left: 4 (97 enodes) 6.774 * * [simplify]: iters left: 3 (287 enodes) 6.976 * * [simplify]: Extracting #0: cost 1 inf + 0 6.977 * * [simplify]: Extracting #1: cost 61 inf + 0 6.978 * * [simplify]: Extracting #2: cost 107 inf + 1102 6.983 * * [simplify]: Extracting #3: cost 26 inf + 14367 6.990 * * [simplify]: Extracting #4: cost 1 inf + 18896 6.998 * * [simplify]: Extracting #5: cost 0 inf + 19148 7.006 * [simplify]: Simplified to (* 64 (* (* i i) (* (* i i) (* i i)))) 7.006 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (cbrt (* 64 (* (* i i) (* (* i i) (* i i))))) 1.0) 4))) 7.007 * * * * [progress]: [ 34 / 50 ] simplifiying candidate # 7.007 * [simplify]: Simplifying (* (cbrt (* 4 (* i i))) (cbrt (* 4 (* i i)))) 7.007 * * [simplify]: iters left: 6 (6 enodes) 7.011 * * [simplify]: iters left: 5 (21 enodes) 7.018 * * [simplify]: iters left: 4 (25 enodes) 7.030 * * [simplify]: Extracting #0: cost 1 inf + 0 7.030 * * [simplify]: Extracting #1: cost 3 inf + 0 7.030 * * [simplify]: Extracting #2: cost 5 inf + 0 7.030 * * [simplify]: Extracting #3: cost 10 inf + 0 7.030 * * [simplify]: Extracting #4: cost 10 inf + 2 7.031 * * [simplify]: Extracting #5: cost 1 inf + 858 7.031 * * [simplify]: Extracting #6: cost 0 inf + 1060 7.032 * [simplify]: Simplified to (* (cbrt (* 4 (* i i))) (cbrt (* 4 (* i i)))) 7.032 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (* (cbrt (* 4 (* i i))) (cbrt (* 4 (* i i)))) (cbrt (* 4 (* i i)))) 1.0) 4))) 7.032 * [simplify]: Simplifying (cbrt (* 4 (* i i))) 7.032 * * [simplify]: iters left: 5 (5 enodes) 7.035 * * [simplify]: iters left: 4 (18 enodes) 7.041 * * [simplify]: iters left: 3 (22 enodes) 7.045 * * [simplify]: Extracting #0: cost 1 inf + 0 7.045 * * [simplify]: Extracting #1: cost 3 inf + 0 7.045 * * [simplify]: Extracting #2: cost 8 inf + 0 7.045 * * [simplify]: Extracting #3: cost 7 inf + 43 7.045 * * [simplify]: Extracting #4: cost 0 inf + 656 7.045 * [simplify]: Simplified to (cbrt (* 4 (* i i))) 7.046 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* (* (cbrt (* 4 (* i i))) (cbrt (* 4 (* i i)))) (cbrt (* 4 (* i i)))) 1.0) 4))) 7.046 * * * * [progress]: [ 35 / 50 ] simplifiying candidate # 7.046 * [simplify]: Simplifying (* (* (* 4 (* i i)) (* 4 (* i i))) (* 4 (* i i))) 7.046 * * [simplify]: iters left: 6 (6 enodes) 7.048 * * [simplify]: iters left: 5 (32 enodes) 7.055 * * [simplify]: iters left: 4 (89 enodes) 7.085 * * [simplify]: iters left: 3 (240 enodes) 7.271 * * [simplify]: iters left: 2 (445 enodes) 7.487 * * [simplify]: Extracting #0: cost 1 inf + 0 7.488 * * [simplify]: Extracting #1: cost 44 inf + 0 7.488 * * [simplify]: Extracting #2: cost 107 inf + 47 7.490 * * [simplify]: Extracting #3: cost 67 inf + 6566 7.496 * * [simplify]: Extracting #4: cost 10 inf + 19898 7.500 * * [simplify]: Extracting #5: cost 0 inf + 23025 7.504 * [simplify]: Simplified to (* (* 4 (* i i)) (* (* 4 (* i i)) (* 4 (* i i)))) 7.504 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (cbrt (* (* 4 (* i i)) (* (* 4 (* i i)) (* 4 (* i i))))) 1.0) 4))) 7.504 * * * * [progress]: [ 36 / 50 ] simplifiying candidate # 7.504 * [simplify]: Simplifying (sqrt (* 4 (* i i))) 7.504 * * [simplify]: iters left: 5 (5 enodes) 7.506 * * [simplify]: iters left: 4 (18 enodes) 7.508 * * [simplify]: iters left: 3 (22 enodes) 7.512 * * [simplify]: Extracting #0: cost 1 inf + 0 7.512 * * [simplify]: Extracting #1: cost 3 inf + 0 7.512 * * [simplify]: Extracting #2: cost 8 inf + 0 7.512 * * [simplify]: Extracting #3: cost 7 inf + 43 7.512 * * [simplify]: Extracting #4: cost 0 inf + 576 7.512 * [simplify]: Simplified to (sqrt (* 4 (* i i))) 7.512 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (sqrt (* 4 (* i i))) (sqrt (* 4 (* i i)))) 1.0) 4))) 7.513 * [simplify]: Simplifying (sqrt (* 4 (* i i))) 7.513 * * [simplify]: iters left: 5 (5 enodes) 7.514 * * [simplify]: iters left: 4 (18 enodes) 7.517 * * [simplify]: iters left: 3 (22 enodes) 7.521 * * [simplify]: Extracting #0: cost 1 inf + 0 7.521 * * [simplify]: Extracting #1: cost 3 inf + 0 7.521 * * [simplify]: Extracting #2: cost 8 inf + 0 7.521 * * [simplify]: Extracting #3: cost 7 inf + 43 7.521 * * [simplify]: Extracting #4: cost 0 inf + 576 7.521 * [simplify]: Simplified to (sqrt (* 4 (* i i))) 7.521 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* (sqrt (* 4 (* i i))) (sqrt (* 4 (* i i)))) 1.0) 4))) 7.521 * * * * [progress]: [ 37 / 50 ] simplifiying candidate # 7.521 * * * * [progress]: [ 38 / 50 ] simplifiying candidate # 7.521 * [simplify]: Simplifying (* (sqrt 4) i) 7.521 * * [simplify]: iters left: 3 (4 enodes) 7.524 * * [simplify]: iters left: 2 (14 enodes) 7.528 * * [simplify]: Extracting #0: cost 1 inf + 0 7.528 * * [simplify]: Extracting #1: cost 4 inf + 0 7.528 * * [simplify]: Extracting #2: cost 2 inf + 2 7.528 * * [simplify]: Extracting #3: cost 0 inf + 86 7.528 * [simplify]: Simplified to (* i 2) 7.528 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (* i 2) (* (sqrt 4) i)) 1.0) 4))) 7.529 * [simplify]: Simplifying (* (sqrt 4) i) 7.529 * * [simplify]: iters left: 3 (4 enodes) 7.532 * * [simplify]: iters left: 2 (14 enodes) 7.542 * * [simplify]: Extracting #0: cost 1 inf + 0 7.542 * * [simplify]: Extracting #1: cost 4 inf + 0 7.542 * * [simplify]: Extracting #2: cost 2 inf + 2 7.542 * * [simplify]: Extracting #3: cost 0 inf + 86 7.542 * [simplify]: Simplified to (* i 2) 7.542 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* (* (sqrt 4) i) (* i 2)) 1.0) 4))) 7.542 * * * * [progress]: [ 39 / 50 ] simplifiying candidate # 7.543 * [simplify]: Simplifying (* 4 i) 7.543 * * [simplify]: iters left: 2 (3 enodes) 7.545 * * [simplify]: iters left: 1 (10 enodes) 7.548 * * [simplify]: Extracting #0: cost 1 inf + 0 7.548 * * [simplify]: Extracting #1: cost 4 inf + 0 7.548 * * [simplify]: Extracting #2: cost 2 inf + 2 7.548 * * [simplify]: Extracting #3: cost 0 inf + 86 7.548 * [simplify]: Simplified to (* 4 i) 7.548 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (* 4 i) i) 1.0) 4))) 7.549 * * * * [progress]: [ 40 / 50 ] simplifiying candidate # 7.549 * [simplify]: Simplifying (* (cbrt 4) (* i i)) 7.549 * * [simplify]: iters left: 4 (5 enodes) 7.552 * * [simplify]: iters left: 3 (18 enodes) 7.558 * * [simplify]: iters left: 2 (22 enodes) 7.565 * * [simplify]: Extracting #0: cost 1 inf + 0 7.565 * * [simplify]: Extracting #1: cost 6 inf + 0 7.566 * * [simplify]: Extracting #2: cost 8 inf + 42 7.566 * * [simplify]: Extracting #3: cost 6 inf + 84 7.566 * * [simplify]: Extracting #4: cost 0 inf + 814 7.566 * [simplify]: Simplified to (* (* i i) (cbrt 4)) 7.566 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* (* (cbrt 4) (cbrt 4)) (* (* i i) (cbrt 4))) 1.0) 4))) 7.566 * * * * [progress]: [ 41 / 50 ] simplifiying candidate # 7.567 * [simplify]: Simplifying (* (sqrt 4) (* i i)) 7.567 * * [simplify]: iters left: 4 (5 enodes) 7.570 * * [simplify]: iters left: 3 (19 enodes) 7.576 * * [simplify]: iters left: 2 (27 enodes) 7.584 * * [simplify]: iters left: 1 (32 enodes) 7.591 * * [simplify]: Extracting #0: cost 1 inf + 0 7.591 * * [simplify]: Extracting #1: cost 6 inf + 0 7.591 * * [simplify]: Extracting #2: cost 5 inf + 43 7.592 * * [simplify]: Extracting #3: cost 0 inf + 332 7.592 * [simplify]: Simplified to (* (* i 2) i) 7.592 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* (sqrt 4) (* (* i 2) i)) 1.0) 4))) 7.592 * * * * [progress]: [ 42 / 50 ] simplifiying candidate # 7.592 * [simplify]: Simplifying (* 4 (* i i)) 7.592 * * [simplify]: iters left: 4 (4 enodes) 7.595 * * [simplify]: iters left: 3 (15 enodes) 7.600 * * [simplify]: iters left: 2 (19 enodes) 7.605 * * [simplify]: Extracting #0: cost 1 inf + 0 7.606 * * [simplify]: Extracting #1: cost 6 inf + 0 7.606 * * [simplify]: Extracting #2: cost 5 inf + 43 7.606 * * [simplify]: Extracting #3: cost 0 inf + 332 7.606 * [simplify]: Simplified to (* 4 (* i i)) 7.606 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* 1 (* 4 (* i i))) 1.0) 4))) 7.606 * * * * [progress]: [ 43 / 50 ] simplifiying candidate #real (real->posit16 (* 4 (* i i)))) 1.0) 4)))> 7.606 * [simplify]: Simplifying (real->posit16 (* 4 (* i i))) 7.607 * * [simplify]: iters left: 5 (5 enodes) 7.609 * * [simplify]: iters left: 4 (15 enodes) 7.614 * * [simplify]: iters left: 3 (19 enodes) 7.620 * * [simplify]: Extracting #0: cost 1 inf + 0 7.620 * * [simplify]: Extracting #1: cost 2 inf + 0 7.620 * * [simplify]: Extracting #2: cost 6 inf + 0 7.620 * * [simplify]: Extracting #3: cost 5 inf + 43 7.620 * * [simplify]: Extracting #4: cost 0 inf + 332 7.620 * [simplify]: Simplified to (real->posit16 (* 4 (* i i))) 7.621 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (posit16->real (real->posit16 (* 4 (* i i)))) 1.0) 4))) 7.621 * * * * [progress]: [ 44 / 50 ] simplifiying candidate # 7.621 * * * * [progress]: [ 45 / 50 ] simplifiying candidate # 7.621 * [simplify]: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 7.621 * * [simplify]: iters left: 6 (16 enodes) 7.632 * * [simplify]: iters left: 5 (70 enodes) 7.657 * * [simplify]: iters left: 4 (124 enodes) 7.691 * * [simplify]: iters left: 3 (251 enodes) 7.764 * * [simplify]: Extracting #0: cost 1 inf + 0 7.764 * * [simplify]: Extracting #1: cost 17 inf + 0 7.764 * * [simplify]: Extracting #2: cost 101 inf + 0 7.765 * * [simplify]: Extracting #3: cost 129 inf + 738 7.768 * * [simplify]: Extracting #4: cost 39 inf + 13534 7.776 * * [simplify]: Extracting #5: cost 4 inf + 21144 7.780 * * [simplify]: Extracting #6: cost 0 inf + 21781 7.785 * [simplify]: Simplified to (- (* (* (* i i) (* i i)) (- 1.0)) (* (* i i) (+ (* 4.0 (* (* i i) (* i i))) 0.25))) 7.785 * [simplify]: Simplified (2) to (λ (i) (- (* (* (* i i) (* i i)) (- 1.0)) (* (* i i) (+ (* 4.0 (* (* i i) (* i i))) 0.25)))) 7.785 * * * * [progress]: [ 46 / 50 ] simplifiying candidate # 7.785 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 7.785 * * [simplify]: iters left: 6 (15 enodes) 7.792 * * [simplify]: iters left: 5 (64 enodes) 7.804 * * [simplify]: iters left: 4 (87 enodes) 7.823 * * [simplify]: iters left: 3 (116 enodes) 7.850 * * [simplify]: iters left: 2 (163 enodes) 7.881 * * [simplify]: iters left: 1 (239 enodes) 7.940 * * [simplify]: Extracting #0: cost 1 inf + 0 7.940 * * [simplify]: Extracting #1: cost 8 inf + 0 7.940 * * [simplify]: Extracting #2: cost 50 inf + 1 7.941 * * [simplify]: Extracting #3: cost 67 inf + 127 7.942 * * [simplify]: Extracting #4: cost 17 inf + 5640 7.944 * * [simplify]: Extracting #5: cost 0 inf + 7809 7.946 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) 7.946 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 7.946 * * * * [progress]: [ 47 / 50 ] simplifiying candidate # 7.946 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 7.946 * * [simplify]: iters left: 6 (15 enodes) 7.952 * * [simplify]: iters left: 5 (64 enodes) 7.964 * * [simplify]: iters left: 4 (87 enodes) 7.980 * * [simplify]: iters left: 3 (116 enodes) 8.012 * * [simplify]: iters left: 2 (163 enodes) 8.067 * * [simplify]: iters left: 1 (239 enodes) 8.133 * * [simplify]: Extracting #0: cost 1 inf + 0 8.133 * * [simplify]: Extracting #1: cost 8 inf + 0 8.133 * * [simplify]: Extracting #2: cost 50 inf + 1 8.133 * * [simplify]: Extracting #3: cost 67 inf + 127 8.136 * * [simplify]: Extracting #4: cost 17 inf + 5640 8.140 * * [simplify]: Extracting #5: cost 0 inf + 7809 8.145 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) 8.145 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 8.145 * * * * [progress]: [ 48 / 50 ] simplifiying candidate # 8.145 * [simplify]: Simplifying (* 4 (pow i 2)) 8.145 * * [simplify]: iters left: 3 (5 enodes) 8.149 * * [simplify]: iters left: 2 (21 enodes) 8.155 * * [simplify]: iters left: 1 (29 enodes) 8.161 * * [simplify]: Extracting #0: cost 1 inf + 0 8.161 * * [simplify]: Extracting #1: cost 6 inf + 0 8.161 * * [simplify]: Extracting #2: cost 6 inf + 43 8.161 * * [simplify]: Extracting #3: cost 0 inf + 333 8.161 * [simplify]: Simplified to (* (* i i) 4) 8.161 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) 8.161 * * * * [progress]: [ 49 / 50 ] simplifiying candidate # 8.161 * [simplify]: Simplifying (* 4 (pow i 2)) 8.161 * * [simplify]: iters left: 3 (5 enodes) 8.163 * * [simplify]: iters left: 2 (21 enodes) 8.167 * * [simplify]: iters left: 1 (29 enodes) 8.172 * * [simplify]: Extracting #0: cost 1 inf + 0 8.172 * * [simplify]: Extracting #1: cost 6 inf + 0 8.172 * * [simplify]: Extracting #2: cost 6 inf + 43 8.172 * * [simplify]: Extracting #3: cost 0 inf + 333 8.172 * [simplify]: Simplified to (* (* i i) 4) 8.173 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) 8.173 * * * * [progress]: [ 50 / 50 ] simplifiying candidate # 8.173 * [simplify]: Simplifying (* 4 (pow i 2)) 8.173 * * [simplify]: iters left: 3 (5 enodes) 8.175 * * [simplify]: iters left: 2 (21 enodes) 8.179 * * [simplify]: iters left: 1 (29 enodes) 8.184 * * [simplify]: Extracting #0: cost 1 inf + 0 8.184 * * [simplify]: Extracting #1: cost 6 inf + 0 8.184 * * [simplify]: Extracting #2: cost 6 inf + 43 8.184 * * [simplify]: Extracting #3: cost 0 inf + 333 8.185 * [simplify]: Simplified to (* (* i i) 4) 8.185 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) 8.185 * * * [progress]: adding candidates to table 8.500 * * [progress]: iteration 2 / 4 8.500 * * * [progress]: picking best candidate 8.502 * * * * [pick]: Picked # 8.502 * * * [progress]: localizing error 8.531 * * * [progress]: generating rewritten candidates 8.531 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2) 8.537 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 8.560 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1) 8.573 * * * [progress]: generating series expansions 8.573 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2) 8.574 * [backup-simplify]: Simplify (/ 1.0 (* i i)) into (/ 1.0 (pow i 2)) 8.574 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0 8.574 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i 8.574 * [taylor]: Taking taylor expansion of 1.0 in i 8.574 * [backup-simplify]: Simplify 1.0 into 1.0 8.574 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.574 * [taylor]: Taking taylor expansion of i in i 8.574 * [backup-simplify]: Simplify 0 into 0 8.574 * [backup-simplify]: Simplify 1 into 1 8.575 * [backup-simplify]: Simplify (* 1 1) into 1 8.575 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 8.575 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i 8.575 * [taylor]: Taking taylor expansion of 1.0 in i 8.575 * [backup-simplify]: Simplify 1.0 into 1.0 8.575 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.575 * [taylor]: Taking taylor expansion of i in i 8.575 * [backup-simplify]: Simplify 0 into 0 8.575 * [backup-simplify]: Simplify 1 into 1 8.576 * [backup-simplify]: Simplify (* 1 1) into 1 8.576 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0 8.576 * [backup-simplify]: Simplify 1.0 into 1.0 8.577 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.578 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0 8.578 * [backup-simplify]: Simplify 0 into 0 8.579 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.580 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.580 * [backup-simplify]: Simplify 0 into 0 8.581 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.582 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.582 * [backup-simplify]: Simplify 0 into 0 8.583 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.585 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.585 * [backup-simplify]: Simplify 0 into 0 8.592 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.593 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.593 * [backup-simplify]: Simplify 0 into 0 8.595 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.596 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.596 * [backup-simplify]: Simplify 0 into 0 8.596 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2)) 8.596 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 i) (/ 1 i))) into (* 1.0 (pow i 2)) 8.596 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0 8.596 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.596 * [taylor]: Taking taylor expansion of 1.0 in i 8.596 * [backup-simplify]: Simplify 1.0 into 1.0 8.597 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.597 * [taylor]: Taking taylor expansion of i in i 8.597 * [backup-simplify]: Simplify 0 into 0 8.597 * [backup-simplify]: Simplify 1 into 1 8.597 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.597 * [taylor]: Taking taylor expansion of 1.0 in i 8.597 * [backup-simplify]: Simplify 1.0 into 1.0 8.597 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.597 * [taylor]: Taking taylor expansion of i in i 8.597 * [backup-simplify]: Simplify 0 into 0 8.597 * [backup-simplify]: Simplify 1 into 1 8.597 * [backup-simplify]: Simplify (* 1 1) into 1 8.598 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.598 * [backup-simplify]: Simplify 1.0 into 1.0 8.598 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.599 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.599 * [backup-simplify]: Simplify 0 into 0 8.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.600 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.600 * [backup-simplify]: Simplify 0 into 0 8.601 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.602 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.602 * [backup-simplify]: Simplify 0 into 0 8.602 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.603 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.603 * [backup-simplify]: Simplify 0 into 0 8.604 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.605 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.605 * [backup-simplify]: Simplify 0 into 0 8.606 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.607 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.607 * [backup-simplify]: Simplify 0 into 0 8.607 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2)) 8.607 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 1.0 (pow i 2)) 8.607 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0 8.607 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.607 * [taylor]: Taking taylor expansion of 1.0 in i 8.607 * [backup-simplify]: Simplify 1.0 into 1.0 8.607 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.607 * [taylor]: Taking taylor expansion of i in i 8.607 * [backup-simplify]: Simplify 0 into 0 8.607 * [backup-simplify]: Simplify 1 into 1 8.607 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.607 * [taylor]: Taking taylor expansion of 1.0 in i 8.607 * [backup-simplify]: Simplify 1.0 into 1.0 8.607 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.607 * [taylor]: Taking taylor expansion of i in i 8.607 * [backup-simplify]: Simplify 0 into 0 8.607 * [backup-simplify]: Simplify 1 into 1 8.608 * [backup-simplify]: Simplify (* 1 1) into 1 8.608 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.608 * [backup-simplify]: Simplify 1.0 into 1.0 8.609 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.609 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.609 * [backup-simplify]: Simplify 0 into 0 8.610 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.610 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.610 * [backup-simplify]: Simplify 0 into 0 8.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.612 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.612 * [backup-simplify]: Simplify 0 into 0 8.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.613 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.613 * [backup-simplify]: Simplify 0 into 0 8.614 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.615 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.615 * [backup-simplify]: Simplify 0 into 0 8.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.616 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.616 * [backup-simplify]: Simplify 0 into 0 8.617 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (- i)) 2)) into (/ 1.0 (pow i 2)) 8.617 * * * * [progress]: [ 2 / 3 ] generating series at (2) 8.617 * [backup-simplify]: Simplify (/ 1 (* (- 4 (/ 1.0 (* i i))) 4)) into (/ 1/4 (- 4 (* 1.0 (/ 1 (pow i 2))))) 8.617 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (/ 1 (pow i 2))))) in (i) around 0 8.617 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (/ 1 (pow i 2))))) in i 8.617 * [taylor]: Taking taylor expansion of 1/4 in i 8.617 * [backup-simplify]: Simplify 1/4 into 1/4 8.617 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (/ 1 (pow i 2)))) in i 8.617 * [taylor]: Taking taylor expansion of 4 in i 8.617 * [backup-simplify]: Simplify 4 into 4 8.617 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i 8.617 * [taylor]: Taking taylor expansion of 1.0 in i 8.617 * [backup-simplify]: Simplify 1.0 into 1.0 8.617 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 8.617 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.617 * [taylor]: Taking taylor expansion of i in i 8.617 * [backup-simplify]: Simplify 0 into 0 8.617 * [backup-simplify]: Simplify 1 into 1 8.617 * [backup-simplify]: Simplify (* 1 1) into 1 8.617 * [backup-simplify]: Simplify (/ 1 1) into 1 8.618 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.618 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.619 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 8.619 * [backup-simplify]: Simplify (/ 1/4 (- 1.0)) into -0.25 8.619 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (/ 1 (pow i 2))))) in i 8.619 * [taylor]: Taking taylor expansion of 1/4 in i 8.619 * [backup-simplify]: Simplify 1/4 into 1/4 8.619 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (/ 1 (pow i 2)))) in i 8.619 * [taylor]: Taking taylor expansion of 4 in i 8.619 * [backup-simplify]: Simplify 4 into 4 8.619 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i 8.619 * [taylor]: Taking taylor expansion of 1.0 in i 8.619 * [backup-simplify]: Simplify 1.0 into 1.0 8.619 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 8.619 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.619 * [taylor]: Taking taylor expansion of i in i 8.619 * [backup-simplify]: Simplify 0 into 0 8.619 * [backup-simplify]: Simplify 1 into 1 8.620 * [backup-simplify]: Simplify (* 1 1) into 1 8.620 * [backup-simplify]: Simplify (/ 1 1) into 1 8.620 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.620 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.621 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 8.621 * [backup-simplify]: Simplify (/ 1/4 (- 1.0)) into -0.25 8.621 * [backup-simplify]: Simplify -0.25 into -0.25 8.622 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.623 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.623 * [backup-simplify]: Simplify (- 0) into 0 8.623 * [backup-simplify]: Simplify (+ 0 0) into 0 8.624 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))))) into 0 8.624 * [backup-simplify]: Simplify 0 into 0 8.624 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.625 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.626 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.626 * [backup-simplify]: Simplify (- 0) into 0 8.626 * [backup-simplify]: Simplify (+ 4 0) into 4 8.629 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 1.0) 8.629 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.631 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.633 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.633 * [backup-simplify]: Simplify (- 0) into 0 8.633 * [backup-simplify]: Simplify (+ 0 0) into 0 8.635 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 1.0) (/ 0 (- 1.0))))) into 0 8.635 * [backup-simplify]: Simplify 0 into 0 8.636 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.637 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.639 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.639 * [backup-simplify]: Simplify (- 0) into 0 8.640 * [backup-simplify]: Simplify (+ 0 0) into 0 8.647 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 1.0) (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 8.647 * [backup-simplify]: Simplify (- 4.0) into (- 4.0) 8.649 * [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))))) 8.649 * [backup-simplify]: Simplify (/ 1 (* (- 4 (/ 1.0 (* (/ 1 i) (/ 1 i)))) 4)) into (/ 1/4 (- 4 (* 1.0 (pow i 2)))) 8.649 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (pow i 2)))) in (i) around 0 8.649 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (pow i 2)))) in i 8.649 * [taylor]: Taking taylor expansion of 1/4 in i 8.649 * [backup-simplify]: Simplify 1/4 into 1/4 8.649 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.649 * [taylor]: Taking taylor expansion of 4 in i 8.649 * [backup-simplify]: Simplify 4 into 4 8.649 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.649 * [taylor]: Taking taylor expansion of 1.0 in i 8.649 * [backup-simplify]: Simplify 1.0 into 1.0 8.649 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.649 * [taylor]: Taking taylor expansion of i in i 8.649 * [backup-simplify]: Simplify 0 into 0 8.649 * [backup-simplify]: Simplify 1 into 1 8.650 * [backup-simplify]: Simplify (+ 4 0) into 4 8.650 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 8.650 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (pow i 2)))) in i 8.650 * [taylor]: Taking taylor expansion of 1/4 in i 8.650 * [backup-simplify]: Simplify 1/4 into 1/4 8.650 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.650 * [taylor]: Taking taylor expansion of 4 in i 8.650 * [backup-simplify]: Simplify 4 into 4 8.650 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.650 * [taylor]: Taking taylor expansion of 1.0 in i 8.650 * [backup-simplify]: Simplify 1.0 into 1.0 8.650 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.651 * [taylor]: Taking taylor expansion of i in i 8.651 * [backup-simplify]: Simplify 0 into 0 8.651 * [backup-simplify]: Simplify 1 into 1 8.651 * [backup-simplify]: Simplify (+ 4 0) into 4 8.651 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 8.652 * [backup-simplify]: Simplify 1/16 into 1/16 8.652 * [backup-simplify]: Simplify (+ 0 0) into 0 8.653 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 8.653 * [backup-simplify]: Simplify 0 into 0 8.653 * [backup-simplify]: Simplify (* 1 1) into 1 8.654 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.654 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.655 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 8.658 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 8.658 * [backup-simplify]: Simplify 0.015625 into 0.015625 8.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.659 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.659 * [backup-simplify]: Simplify (- 0) into 0 8.659 * [backup-simplify]: Simplify (+ 0 0) into 0 8.660 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 8.660 * [backup-simplify]: Simplify 0 into 0 8.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.661 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.661 * [backup-simplify]: Simplify (- 0) into 0 8.662 * [backup-simplify]: Simplify (+ 0 0) into 0 8.665 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 8.666 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 8.666 * [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))))) 8.666 * [backup-simplify]: Simplify (/ 1 (* (- 4 (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i))))) 4)) into (/ 1/4 (- 4 (* 1.0 (pow i 2)))) 8.666 * [approximate]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (pow i 2)))) in (i) around 0 8.666 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (pow i 2)))) in i 8.666 * [taylor]: Taking taylor expansion of 1/4 in i 8.666 * [backup-simplify]: Simplify 1/4 into 1/4 8.666 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.666 * [taylor]: Taking taylor expansion of 4 in i 8.666 * [backup-simplify]: Simplify 4 into 4 8.666 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.666 * [taylor]: Taking taylor expansion of 1.0 in i 8.666 * [backup-simplify]: Simplify 1.0 into 1.0 8.666 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.666 * [taylor]: Taking taylor expansion of i in i 8.666 * [backup-simplify]: Simplify 0 into 0 8.666 * [backup-simplify]: Simplify 1 into 1 8.666 * [backup-simplify]: Simplify (+ 4 0) into 4 8.667 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 8.667 * [taylor]: Taking taylor expansion of (/ 1/4 (- 4 (* 1.0 (pow i 2)))) in i 8.667 * [taylor]: Taking taylor expansion of 1/4 in i 8.667 * [backup-simplify]: Simplify 1/4 into 1/4 8.667 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.667 * [taylor]: Taking taylor expansion of 4 in i 8.667 * [backup-simplify]: Simplify 4 into 4 8.667 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.667 * [taylor]: Taking taylor expansion of 1.0 in i 8.667 * [backup-simplify]: Simplify 1.0 into 1.0 8.667 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.667 * [taylor]: Taking taylor expansion of i in i 8.667 * [backup-simplify]: Simplify 0 into 0 8.667 * [backup-simplify]: Simplify 1 into 1 8.667 * [backup-simplify]: Simplify (+ 4 0) into 4 8.667 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16 8.668 * [backup-simplify]: Simplify 1/16 into 1/16 8.668 * [backup-simplify]: Simplify (+ 0 0) into 0 8.668 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 8.668 * [backup-simplify]: Simplify 0 into 0 8.669 * [backup-simplify]: Simplify (* 1 1) into 1 8.669 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.669 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.670 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 8.673 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 8.673 * [backup-simplify]: Simplify 0.015625 into 0.015625 8.673 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.673 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.674 * [backup-simplify]: Simplify (- 0) into 0 8.674 * [backup-simplify]: Simplify (+ 0 0) into 0 8.675 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 8.675 * [backup-simplify]: Simplify 0 into 0 8.675 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.676 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.676 * [backup-simplify]: Simplify (- 0) into 0 8.677 * [backup-simplify]: Simplify (+ 0 0) into 0 8.681 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 8.681 * [backup-simplify]: Simplify 0.00390625 into 0.00390625 8.681 * [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))))) 8.681 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1) 8.681 * [backup-simplify]: Simplify (- 4 (/ 1.0 (* i i))) into (- 4 (* 1.0 (/ 1 (pow i 2)))) 8.681 * [approximate]: Taking taylor expansion of (- 4 (* 1.0 (/ 1 (pow i 2)))) in (i) around 0 8.681 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (/ 1 (pow i 2)))) in i 8.681 * [taylor]: Taking taylor expansion of 4 in i 8.681 * [backup-simplify]: Simplify 4 into 4 8.681 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i 8.681 * [taylor]: Taking taylor expansion of 1.0 in i 8.681 * [backup-simplify]: Simplify 1.0 into 1.0 8.681 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 8.681 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.681 * [taylor]: Taking taylor expansion of i in i 8.681 * [backup-simplify]: Simplify 0 into 0 8.681 * [backup-simplify]: Simplify 1 into 1 8.682 * [backup-simplify]: Simplify (* 1 1) into 1 8.682 * [backup-simplify]: Simplify (/ 1 1) into 1 8.682 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (/ 1 (pow i 2)))) in i 8.682 * [taylor]: Taking taylor expansion of 4 in i 8.682 * [backup-simplify]: Simplify 4 into 4 8.682 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i 8.682 * [taylor]: Taking taylor expansion of 1.0 in i 8.682 * [backup-simplify]: Simplify 1.0 into 1.0 8.682 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i 8.682 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.682 * [taylor]: Taking taylor expansion of i in i 8.682 * [backup-simplify]: Simplify 0 into 0 8.682 * [backup-simplify]: Simplify 1 into 1 8.682 * [backup-simplify]: Simplify (* 1 1) into 1 8.683 * [backup-simplify]: Simplify (/ 1 1) into 1 8.683 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.684 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.685 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 8.685 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.686 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 8.687 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.687 * [backup-simplify]: Simplify (- 0) into 0 8.688 * [backup-simplify]: Simplify (+ 0 0) into 0 8.688 * [backup-simplify]: Simplify 0 into 0 8.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.691 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.691 * [backup-simplify]: Simplify (- 0) into 0 8.691 * [backup-simplify]: Simplify (+ 4 0) into 4 8.691 * [backup-simplify]: Simplify 4 into 4 8.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.699 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.699 * [backup-simplify]: Simplify (- 0) into 0 8.699 * [backup-simplify]: Simplify (+ 0 0) into 0 8.699 * [backup-simplify]: Simplify 0 into 0 8.700 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.701 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.701 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.702 * [backup-simplify]: Simplify (- 0) into 0 8.702 * [backup-simplify]: Simplify (+ 0 0) into 0 8.702 * [backup-simplify]: Simplify 0 into 0 8.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.703 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.704 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.704 * [backup-simplify]: Simplify (- 0) into 0 8.705 * [backup-simplify]: Simplify (+ 0 0) into 0 8.705 * [backup-simplify]: Simplify 0 into 0 8.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 8.707 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.707 * [backup-simplify]: Simplify (- 0) into 0 8.707 * [backup-simplify]: Simplify (+ 0 0) into 0 8.707 * [backup-simplify]: Simplify 0 into 0 8.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 8.709 * [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 8.710 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 8.710 * [backup-simplify]: Simplify (- 0) into 0 8.710 * [backup-simplify]: Simplify (+ 0 0) into 0 8.710 * [backup-simplify]: Simplify 0 into 0 8.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 8.712 * [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 8.713 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 8.713 * [backup-simplify]: Simplify (- 0) into 0 8.714 * [backup-simplify]: Simplify (+ 0 0) into 0 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify (+ 4 (* (- 1.0) (pow (/ 1 i) 2))) into (- 4 (* 1.0 (/ 1 (pow i 2)))) 8.714 * [backup-simplify]: Simplify (- 4 (/ 1.0 (* (/ 1 i) (/ 1 i)))) into (- 4 (* 1.0 (pow i 2))) 8.714 * [approximate]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in (i) around 0 8.714 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.714 * [taylor]: Taking taylor expansion of 4 in i 8.714 * [backup-simplify]: Simplify 4 into 4 8.714 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.714 * [taylor]: Taking taylor expansion of 1.0 in i 8.714 * [backup-simplify]: Simplify 1.0 into 1.0 8.714 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.714 * [taylor]: Taking taylor expansion of i in i 8.714 * [backup-simplify]: Simplify 0 into 0 8.714 * [backup-simplify]: Simplify 1 into 1 8.714 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.714 * [taylor]: Taking taylor expansion of 4 in i 8.714 * [backup-simplify]: Simplify 4 into 4 8.714 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.714 * [taylor]: Taking taylor expansion of 1.0 in i 8.714 * [backup-simplify]: Simplify 1.0 into 1.0 8.715 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.715 * [taylor]: Taking taylor expansion of i in i 8.715 * [backup-simplify]: Simplify 0 into 0 8.715 * [backup-simplify]: Simplify 1 into 1 8.715 * [backup-simplify]: Simplify (+ 4 0) into 4 8.715 * [backup-simplify]: Simplify 4 into 4 8.716 * [backup-simplify]: Simplify (+ 0 0) into 0 8.716 * [backup-simplify]: Simplify 0 into 0 8.716 * [backup-simplify]: Simplify (* 1 1) into 1 8.716 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.717 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.718 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 8.718 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.719 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.720 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.720 * [backup-simplify]: Simplify (- 0) into 0 8.720 * [backup-simplify]: Simplify (+ 0 0) into 0 8.720 * [backup-simplify]: Simplify 0 into 0 8.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.722 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.723 * [backup-simplify]: Simplify (- 0) into 0 8.723 * [backup-simplify]: Simplify (+ 0 0) into 0 8.723 * [backup-simplify]: Simplify 0 into 0 8.724 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.725 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.726 * [backup-simplify]: Simplify (- 0) into 0 8.726 * [backup-simplify]: Simplify (+ 0 0) into 0 8.726 * [backup-simplify]: Simplify 0 into 0 8.727 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.729 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.729 * [backup-simplify]: Simplify (- 0) into 0 8.730 * [backup-simplify]: Simplify (+ 0 0) into 0 8.730 * [backup-simplify]: Simplify 0 into 0 8.731 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.733 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.733 * [backup-simplify]: Simplify (- 0) into 0 8.733 * [backup-simplify]: Simplify (+ 0 0) into 0 8.733 * [backup-simplify]: Simplify 0 into 0 8.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.737 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.737 * [backup-simplify]: Simplify (- 0) into 0 8.737 * [backup-simplify]: Simplify (+ 0 0) into 0 8.737 * [backup-simplify]: Simplify 0 into 0 8.738 * [backup-simplify]: Simplify (+ (* (- 1.0) (pow (/ 1 i) 2)) 4) into (- 4 (* 1.0 (/ 1 (pow i 2)))) 8.738 * [backup-simplify]: Simplify (- 4 (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i))))) into (- 4 (* 1.0 (pow i 2))) 8.738 * [approximate]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in (i) around 0 8.738 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.738 * [taylor]: Taking taylor expansion of 4 in i 8.738 * [backup-simplify]: Simplify 4 into 4 8.738 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.738 * [taylor]: Taking taylor expansion of 1.0 in i 8.738 * [backup-simplify]: Simplify 1.0 into 1.0 8.738 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.738 * [taylor]: Taking taylor expansion of i in i 8.738 * [backup-simplify]: Simplify 0 into 0 8.739 * [backup-simplify]: Simplify 1 into 1 8.739 * [taylor]: Taking taylor expansion of (- 4 (* 1.0 (pow i 2))) in i 8.739 * [taylor]: Taking taylor expansion of 4 in i 8.739 * [backup-simplify]: Simplify 4 into 4 8.739 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i 8.739 * [taylor]: Taking taylor expansion of 1.0 in i 8.739 * [backup-simplify]: Simplify 1.0 into 1.0 8.739 * [taylor]: Taking taylor expansion of (pow i 2) in i 8.739 * [taylor]: Taking taylor expansion of i in i 8.739 * [backup-simplify]: Simplify 0 into 0 8.739 * [backup-simplify]: Simplify 1 into 1 8.739 * [backup-simplify]: Simplify (+ 4 0) into 4 8.739 * [backup-simplify]: Simplify 4 into 4 8.740 * [backup-simplify]: Simplify (+ 0 0) into 0 8.740 * [backup-simplify]: Simplify 0 into 0 8.740 * [backup-simplify]: Simplify (* 1 1) into 1 8.741 * [backup-simplify]: Simplify (* 1.0 1) into 1.0 8.741 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.742 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0) 8.743 * [backup-simplify]: Simplify (- 1.0) into (- 1.0) 8.743 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0 8.744 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0 8.744 * [backup-simplify]: Simplify (- 0) into 0 8.745 * [backup-simplify]: Simplify (+ 0 0) into 0 8.745 * [backup-simplify]: Simplify 0 into 0 8.746 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 8.747 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0 8.747 * [backup-simplify]: Simplify (- 0) into 0 8.748 * [backup-simplify]: Simplify (+ 0 0) into 0 8.748 * [backup-simplify]: Simplify 0 into 0 8.749 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.750 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 8.750 * [backup-simplify]: Simplify (- 0) into 0 8.750 * [backup-simplify]: Simplify (+ 0 0) into 0 8.751 * [backup-simplify]: Simplify 0 into 0 8.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.753 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 8.753 * [backup-simplify]: Simplify (- 0) into 0 8.754 * [backup-simplify]: Simplify (+ 0 0) into 0 8.754 * [backup-simplify]: Simplify 0 into 0 8.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.757 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 8.757 * [backup-simplify]: Simplify (- 0) into 0 8.757 * [backup-simplify]: Simplify (+ 0 0) into 0 8.757 * [backup-simplify]: Simplify 0 into 0 8.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.761 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 8.761 * [backup-simplify]: Simplify (- 0) into 0 8.761 * [backup-simplify]: Simplify (+ 0 0) into 0 8.761 * [backup-simplify]: Simplify 0 into 0 8.762 * [backup-simplify]: Simplify (+ (* (- 1.0) (pow (/ 1 (- i)) 2)) 4) into (- 4 (* 1.0 (/ 1 (pow i 2)))) 8.762 * * * [progress]: simplifying candidates 8.762 * * * * [progress]: [ 1 / 78 ] simplifiying candidate # 8.762 * * * * [progress]: [ 2 / 78 ] simplifiying candidate # 8.762 * [simplify]: Simplifying (- (log 1.0) (+ (log i) (log i))) 8.763 * * [simplify]: iters left: 5 (6 enodes) 8.766 * * [simplify]: iters left: 4 (22 enodes) 8.774 * * [simplify]: iters left: 3 (31 enodes) 8.783 * * [simplify]: iters left: 2 (39 enodes) 8.795 * * [simplify]: iters left: 1 (45 enodes) 8.807 * * [simplify]: Extracting #0: cost 1 inf + 0 8.807 * * [simplify]: Extracting #1: cost 10 inf + 0 8.807 * * [simplify]: Extracting #2: cost 20 inf + 0 8.808 * * [simplify]: Extracting #3: cost 16 inf + 184 8.808 * * [simplify]: Extracting #4: cost 5 inf + 1698 8.809 * * [simplify]: Extracting #5: cost 0 inf + 2537 8.809 * [simplify]: Simplified to (- (log 1.0) (+ (log i) (log i))) 8.810 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (exp (- (log 1.0) (+ (log i) (log i))))) 4))) 8.810 * * * * [progress]: [ 3 / 78 ] simplifiying candidate # 8.810 * [simplify]: Simplifying (- (log 1.0) (log (* i i))) 8.810 * * [simplify]: iters left: 5 (6 enodes) 8.813 * * [simplify]: iters left: 4 (22 enodes) 8.820 * * [simplify]: iters left: 3 (31 enodes) 8.825 * * [simplify]: iters left: 2 (41 enodes) 8.836 * * [simplify]: iters left: 1 (48 enodes) 8.843 * * [simplify]: Extracting #0: cost 1 inf + 0 8.843 * * [simplify]: Extracting #1: cost 12 inf + 0 8.843 * * [simplify]: Extracting #2: cost 25 inf + 0 8.843 * * [simplify]: Extracting #3: cost 10 inf + 1748 8.844 * * [simplify]: Extracting #4: cost 0 inf + 3263 8.844 * [simplify]: Simplified to (- (log 1.0) (+ (log i) (log i))) 8.844 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (exp (- (log 1.0) (+ (log i) (log i))))) 4))) 8.844 * * * * [progress]: [ 4 / 78 ] simplifiying candidate # 8.845 * [simplify]: Simplifying (log (/ 1.0 (* i i))) 8.845 * * [simplify]: iters left: 5 (5 enodes) 8.847 * * [simplify]: iters left: 4 (20 enodes) 8.854 * * [simplify]: iters left: 3 (32 enodes) 8.863 * * [simplify]: iters left: 2 (42 enodes) 8.869 * * [simplify]: iters left: 1 (49 enodes) 8.876 * * [simplify]: Extracting #0: cost 1 inf + 0 8.876 * * [simplify]: Extracting #1: cost 11 inf + 0 8.877 * * [simplify]: Extracting #2: cost 22 inf + 0 8.877 * * [simplify]: Extracting #3: cost 21 inf + 73 8.877 * * [simplify]: Extracting #4: cost 6 inf + 1513 8.877 * * [simplify]: Extracting #5: cost 1 inf + 2111 8.878 * * [simplify]: Extracting #6: cost 0 inf + 2223 8.878 * [simplify]: Simplified to (log (/ 1.0 (* i i))) 8.878 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (exp (log (/ 1.0 (* i i))))) 4))) 8.878 * * * * [progress]: [ 5 / 78 ] simplifiying candidate # 8.878 * [simplify]: Simplifying (exp (/ 1.0 (* i i))) 8.878 * * [simplify]: iters left: 5 (5 enodes) 8.880 * * [simplify]: iters left: 4 (17 enodes) 8.882 * * [simplify]: iters left: 3 (19 enodes) 8.885 * * [simplify]: Extracting #0: cost 1 inf + 0 8.885 * * [simplify]: Extracting #1: cost 3 inf + 0 8.885 * * [simplify]: Extracting #2: cost 8 inf + 0 8.885 * * [simplify]: Extracting #3: cost 7 inf + 43 8.885 * * [simplify]: Extracting #4: cost 0 inf + 636 8.885 * [simplify]: Simplified to (exp (/ 1.0 (* i i))) 8.885 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (log (exp (/ 1.0 (* i i))))) 4))) 8.886 * * * * [progress]: [ 6 / 78 ] simplifiying candidate # 8.886 * [simplify]: Simplifying (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i))) 8.886 * * [simplify]: iters left: 6 (8 enodes) 8.888 * * [simplify]: iters left: 5 (39 enodes) 8.899 * * [simplify]: iters left: 4 (119 enodes) 8.946 * * [simplify]: iters left: 3 (376 enodes) 9.194 * * [simplify]: Extracting #0: cost 1 inf + 0 9.195 * * [simplify]: Extracting #1: cost 65 inf + 0 9.195 * * [simplify]: Extracting #2: cost 128 inf + 1219 9.199 * * [simplify]: Extracting #3: cost 56 inf + 12803 9.205 * * [simplify]: Extracting #4: cost 1 inf + 24179 9.211 * * [simplify]: Extracting #5: cost 0 inf + 24271 9.220 * [simplify]: Simplified to (* (/ (/ 1.0 i) i) (* (/ (/ 1.0 i) i) (/ (/ 1.0 i) i))) 9.220 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (cbrt (* (/ (/ 1.0 i) i) (* (/ (/ 1.0 i) i) (/ (/ 1.0 i) i))))) 4))) 9.220 * * * * [progress]: [ 7 / 78 ] simplifiying candidate # 9.221 * [simplify]: Simplifying (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i))) 9.221 * * [simplify]: iters left: 6 (8 enodes) 9.225 * * [simplify]: iters left: 5 (40 enodes) 9.234 * * [simplify]: iters left: 4 (121 enodes) 9.284 * * [simplify]: iters left: 3 (380 enodes) 9.583 * * [simplify]: Extracting #0: cost 1 inf + 0 9.584 * * [simplify]: Extracting #1: cost 75 inf + 0 9.584 * * [simplify]: Extracting #2: cost 145 inf + 1057 9.588 * * [simplify]: Extracting #3: cost 72 inf + 12100 9.596 * * [simplify]: Extracting #4: cost 5 inf + 26855 9.602 * * [simplify]: Extracting #5: cost 0 inf + 28038 9.609 * [simplify]: Simplified to (* (/ 1.0 (* i i)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) 9.609 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (cbrt (* (/ 1.0 (* i i)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))))) 4))) 9.609 * * * * [progress]: [ 8 / 78 ] simplifiying candidate # 9.610 * [simplify]: Simplifying (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))) 9.610 * * [simplify]: iters left: 6 (6 enodes) 9.611 * * [simplify]: iters left: 5 (20 enodes) 9.615 * * [simplify]: iters left: 4 (22 enodes) 9.618 * * [simplify]: Extracting #0: cost 1 inf + 0 9.618 * * [simplify]: Extracting #1: cost 3 inf + 0 9.618 * * [simplify]: Extracting #2: cost 5 inf + 0 9.618 * * [simplify]: Extracting #3: cost 10 inf + 0 9.618 * * [simplify]: Extracting #4: cost 10 inf + 2 9.618 * * [simplify]: Extracting #5: cost 1 inf + 858 9.619 * * [simplify]: Extracting #6: cost 0 inf + 1060 9.619 * [simplify]: Simplified to (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))) 9.619 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (* (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))) (cbrt (/ 1.0 (* i i))))) 4))) 9.619 * [simplify]: Simplifying (cbrt (/ 1.0 (* i i))) 9.619 * * [simplify]: iters left: 5 (5 enodes) 9.621 * * [simplify]: iters left: 4 (17 enodes) 9.623 * * [simplify]: iters left: 3 (19 enodes) 9.626 * * [simplify]: Extracting #0: cost 1 inf + 0 9.626 * * [simplify]: Extracting #1: cost 3 inf + 0 9.626 * * [simplify]: Extracting #2: cost 8 inf + 0 9.626 * * [simplify]: Extracting #3: cost 7 inf + 43 9.626 * * [simplify]: Extracting #4: cost 0 inf + 656 9.627 * [simplify]: Simplified to (cbrt (/ 1.0 (* i i))) 9.627 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (* (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))) (cbrt (/ 1.0 (* i i))))) 4))) 9.627 * * * * [progress]: [ 9 / 78 ] simplifiying candidate # 9.627 * [simplify]: Simplifying (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i))) 9.627 * * [simplify]: iters left: 6 (6 enodes) 9.631 * * [simplify]: iters left: 5 (27 enodes) 9.646 * * [simplify]: iters left: 4 (72 enodes) 9.671 * * [simplify]: iters left: 3 (232 enodes) 9.763 * * [simplify]: Extracting #0: cost 1 inf + 0 9.763 * * [simplify]: Extracting #1: cost 53 inf + 0 9.764 * * [simplify]: Extracting #2: cost 105 inf + 44 9.767 * * [simplify]: Extracting #3: cost 54 inf + 9847 9.771 * * [simplify]: Extracting #4: cost 4 inf + 15304 9.775 * * [simplify]: Extracting #5: cost 0 inf + 14595 9.779 * * [simplify]: Extracting #6: cost 0 inf + 14555 9.784 * [simplify]: Simplified to (* (/ 1.0 (* i i)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) 9.784 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (cbrt (* (/ 1.0 (* i i)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))))) 4))) 9.784 * * * * [progress]: [ 10 / 78 ] simplifiying candidate # 9.784 * [simplify]: Simplifying (sqrt (/ 1.0 (* i i))) 9.784 * * [simplify]: iters left: 5 (5 enodes) 9.786 * * [simplify]: iters left: 4 (17 enodes) 9.788 * * [simplify]: iters left: 3 (19 enodes) 9.792 * * [simplify]: Extracting #0: cost 1 inf + 0 9.792 * * [simplify]: Extracting #1: cost 3 inf + 0 9.792 * * [simplify]: Extracting #2: cost 8 inf + 0 9.792 * * [simplify]: Extracting #3: cost 7 inf + 43 9.792 * * [simplify]: Extracting #4: cost 0 inf + 576 9.792 * [simplify]: Simplified to (sqrt (/ 1.0 (* i i))) 9.792 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (* (sqrt (/ 1.0 (* i i))) (sqrt (/ 1.0 (* i i))))) 4))) 9.792 * [simplify]: Simplifying (sqrt (/ 1.0 (* i i))) 9.792 * * [simplify]: iters left: 5 (5 enodes) 9.794 * * [simplify]: iters left: 4 (17 enodes) 9.797 * * [simplify]: iters left: 3 (19 enodes) 9.800 * * [simplify]: Extracting #0: cost 1 inf + 0 9.800 * * [simplify]: Extracting #1: cost 3 inf + 0 9.800 * * [simplify]: Extracting #2: cost 8 inf + 0 9.800 * * [simplify]: Extracting #3: cost 7 inf + 43 9.801 * * [simplify]: Extracting #4: cost 0 inf + 576 9.801 * [simplify]: Simplified to (sqrt (/ 1.0 (* i i))) 9.801 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (* (sqrt (/ 1.0 (* i i))) (sqrt (/ 1.0 (* i i))))) 4))) 9.801 * * * * [progress]: [ 11 / 78 ] simplifiying candidate # 9.801 * [simplify]: Simplifying (- 1.0) 9.801 * * [simplify]: iters left: 2 (2 enodes) 9.803 * * [simplify]: iters left: 1 (6 enodes) 9.805 * * [simplify]: Extracting #0: cost 1 inf + 0 9.805 * * [simplify]: Extracting #1: cost 3 inf + 0 9.805 * * [simplify]: Extracting #2: cost 2 inf + 1 9.805 * * [simplify]: Extracting #3: cost 0 inf + 83 9.806 * [simplify]: Simplified to (- 1.0) 9.806 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (/ (- 1.0) (- (* i i)))) 4))) 9.806 * [simplify]: Simplifying (- (* i i)) 9.806 * * [simplify]: iters left: 4 (3 enodes) 9.811 * * [simplify]: iters left: 3 (12 enodes) 9.813 * * [simplify]: iters left: 2 (14 enodes) 9.816 * * [simplify]: Extracting #0: cost 1 inf + 0 9.817 * * [simplify]: Extracting #1: cost 5 inf + 0 9.817 * * [simplify]: Extracting #2: cost 6 inf + 1 9.817 * * [simplify]: Extracting #3: cost 0 inf + 327 9.817 * [simplify]: Simplified to (- (* i i)) 9.817 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (/ (- 1.0) (- (* i i)))) 4))) 9.817 * * * * [progress]: [ 12 / 78 ] simplifiying candidate # 9.817 * [simplify]: Simplifying (/ (* (cbrt 1.0) (cbrt 1.0)) i) 9.818 * * [simplify]: iters left: 5 (5 enodes) 9.821 * * [simplify]: iters left: 4 (17 enodes) 9.827 * * [simplify]: iters left: 3 (21 enodes) 9.834 * * [simplify]: iters left: 2 (24 enodes) 9.841 * * [simplify]: Extracting #0: cost 1 inf + 0 9.841 * * [simplify]: Extracting #1: cost 7 inf + 0 9.841 * * [simplify]: Extracting #2: cost 11 inf + 1 9.841 * * [simplify]: Extracting #3: cost 10 inf + 2 9.842 * * [simplify]: Extracting #4: cost 0 inf + 1218 9.842 * [simplify]: Simplified to (/ (* (cbrt 1.0) (cbrt 1.0)) i) 9.842 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (* (/ (* (cbrt 1.0) (cbrt 1.0)) i) (/ (cbrt 1.0) i))) 4))) 9.843 * [simplify]: Simplifying (/ (cbrt 1.0) i) 9.843 * * [simplify]: iters left: 3 (4 enodes) 9.845 * * [simplify]: iters left: 2 (12 enodes) 9.849 * * [simplify]: Extracting #0: cost 1 inf + 0 9.849 * * [simplify]: Extracting #1: cost 4 inf + 0 9.849 * * [simplify]: Extracting #2: cost 5 inf + 1 9.849 * * [simplify]: Extracting #3: cost 4 inf + 2 9.849 * * [simplify]: Extracting #4: cost 0 inf + 408 9.849 * [simplify]: Simplified to (/ (cbrt 1.0) i) 9.850 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (* (/ (* (cbrt 1.0) (cbrt 1.0)) i) (/ (cbrt 1.0) i))) 4))) 9.850 * * * * [progress]: [ 13 / 78 ] simplifiying candidate # 9.850 * [simplify]: Simplifying (/ (sqrt 1.0) i) 9.850 * * [simplify]: iters left: 3 (4 enodes) 9.852 * * [simplify]: iters left: 2 (12 enodes) 9.856 * * [simplify]: Extracting #0: cost 1 inf + 0 9.856 * * [simplify]: Extracting #1: cost 4 inf + 0 9.857 * * [simplify]: Extracting #2: cost 5 inf + 1 9.857 * * [simplify]: Extracting #3: cost 4 inf + 2 9.857 * * [simplify]: Extracting #4: cost 0 inf + 248 9.857 * [simplify]: Simplified to (/ (sqrt 1.0) i) 9.857 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (* (/ (sqrt 1.0) i) (/ (sqrt 1.0) i))) 4))) 9.857 * [simplify]: Simplifying (/ (sqrt 1.0) i) 9.857 * * [simplify]: iters left: 3 (4 enodes) 9.860 * * [simplify]: iters left: 2 (12 enodes) 9.863 * * [simplify]: Extracting #0: cost 1 inf + 0 9.863 * * [simplify]: Extracting #1: cost 4 inf + 0 9.863 * * [simplify]: Extracting #2: cost 5 inf + 1 9.863 * * [simplify]: Extracting #3: cost 4 inf + 2 9.863 * * [simplify]: Extracting #4: cost 0 inf + 248 9.863 * [simplify]: Simplified to (/ (sqrt 1.0) i) 9.863 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (* (/ (sqrt 1.0) i) (/ (sqrt 1.0) i))) 4))) 9.864 * * * * [progress]: [ 14 / 78 ] simplifiying candidate # 9.864 * [simplify]: Simplifying (/ 1 i) 9.864 * * [simplify]: iters left: 2 (3 enodes) 9.865 * * [simplify]: iters left: 1 (11 enodes) 9.867 * * [simplify]: Extracting #0: cost 1 inf + 0 9.867 * * [simplify]: Extracting #1: cost 4 inf + 0 9.867 * * [simplify]: Extracting #2: cost 2 inf + 2 9.867 * * [simplify]: Extracting #3: cost 0 inf + 86 9.867 * [simplify]: Simplified to (/ 1 i) 9.867 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (* (/ 1 i) (/ 1.0 i))) 4))) 9.867 * [simplify]: Simplifying (/ 1.0 i) 9.867 * * [simplify]: iters left: 2 (3 enodes) 9.868 * * [simplify]: iters left: 1 (9 enodes) 9.870 * * [simplify]: Extracting #0: cost 1 inf + 0 9.870 * * [simplify]: Extracting #1: cost 4 inf + 0 9.870 * * [simplify]: Extracting #2: cost 2 inf + 2 9.870 * * [simplify]: Extracting #3: cost 0 inf + 86 9.870 * [simplify]: Simplified to (/ 1.0 i) 9.870 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (* (/ 1 i) (/ 1.0 i))) 4))) 9.870 * * * * [progress]: [ 15 / 78 ] simplifiying candidate # 9.870 * * * * [progress]: [ 16 / 78 ] simplifiying candidate # 9.870 * [simplify]: Simplifying (/ 1 (* i i)) 9.870 * * [simplify]: iters left: 4 (4 enodes) 9.871 * * [simplify]: iters left: 3 (16 enodes) 9.874 * * [simplify]: iters left: 2 (20 enodes) 9.877 * * [simplify]: Extracting #0: cost 1 inf + 0 9.877 * * [simplify]: Extracting #1: cost 6 inf + 0 9.877 * * [simplify]: Extracting #2: cost 5 inf + 43 9.877 * * [simplify]: Extracting #3: cost 1 inf + 290 9.877 * * [simplify]: Extracting #4: cost 0 inf + 332 9.877 * [simplify]: Simplified to (/ 1 (* i i)) 9.877 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (* 1.0 (/ 1 (* i i)))) 4))) 9.877 * * * * [progress]: [ 17 / 78 ] simplifiying candidate # 9.878 * [simplify]: Simplifying (/ (* i i) 1.0) 9.878 * * [simplify]: iters left: 4 (4 enodes) 9.879 * * [simplify]: iters left: 3 (14 enodes) 9.881 * * [simplify]: iters left: 2 (18 enodes) 9.884 * * [simplify]: iters left: 1 (21 enodes) 9.887 * * [simplify]: Extracting #0: cost 1 inf + 0 9.888 * * [simplify]: Extracting #1: cost 7 inf + 0 9.888 * * [simplify]: Extracting #2: cost 8 inf + 2 9.888 * * [simplify]: Extracting #3: cost 1 inf + 374 9.888 * * [simplify]: Extracting #4: cost 0 inf + 416 9.888 * [simplify]: Simplified to (/ (* i i) 1.0) 9.888 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (/ 1 (/ (* i i) 1.0))) 4))) 9.888 * * * * [progress]: [ 18 / 78 ] simplifiying candidate # 9.888 * [simplify]: Simplifying (/ 1.0 i) 9.888 * * [simplify]: iters left: 2 (3 enodes) 9.889 * * [simplify]: iters left: 1 (9 enodes) 9.891 * * [simplify]: Extracting #0: cost 1 inf + 0 9.891 * * [simplify]: Extracting #1: cost 4 inf + 0 9.891 * * [simplify]: Extracting #2: cost 2 inf + 2 9.891 * * [simplify]: Extracting #3: cost 0 inf + 86 9.891 * [simplify]: Simplified to (/ 1.0 i) 9.891 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (/ (/ 1.0 i) i)) 4))) 9.891 * * * * [progress]: [ 19 / 78 ] simplifiying candidate # 9.891 * [simplify]: Simplifying (/ (* i i) (cbrt 1.0)) 9.891 * * [simplify]: iters left: 4 (5 enodes) 9.893 * * [simplify]: iters left: 3 (17 enodes) 9.896 * * [simplify]: iters left: 2 (21 enodes) 9.899 * * [simplify]: iters left: 1 (24 enodes) 9.903 * * [simplify]: Extracting #0: cost 1 inf + 0 9.903 * * [simplify]: Extracting #1: cost 7 inf + 0 9.903 * * [simplify]: Extracting #2: cost 11 inf + 1 9.903 * * [simplify]: Extracting #3: cost 8 inf + 84 9.903 * * [simplify]: Extracting #4: cost 2 inf + 814 9.904 * * [simplify]: Extracting #5: cost 0 inf + 1058 9.904 * [simplify]: Simplified to (/ (* i i) (cbrt 1.0)) 9.904 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (/ (* (cbrt 1.0) (cbrt 1.0)) (/ (* i i) (cbrt 1.0)))) 4))) 9.904 * * * * [progress]: [ 20 / 78 ] simplifiying candidate # 9.904 * [simplify]: Simplifying (/ (* i i) (sqrt 1.0)) 9.904 * * [simplify]: iters left: 4 (5 enodes) 9.906 * * [simplify]: iters left: 3 (17 enodes) 9.909 * * [simplify]: iters left: 2 (21 enodes) 9.912 * * [simplify]: iters left: 1 (24 enodes) 9.916 * * [simplify]: Extracting #0: cost 1 inf + 0 9.916 * * [simplify]: Extracting #1: cost 7 inf + 0 9.916 * * [simplify]: Extracting #2: cost 11 inf + 1 9.916 * * [simplify]: Extracting #3: cost 8 inf + 84 9.916 * * [simplify]: Extracting #4: cost 2 inf + 574 9.917 * * [simplify]: Extracting #5: cost 0 inf + 738 9.917 * [simplify]: Simplified to (/ (* i i) (sqrt 1.0)) 9.917 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (/ (sqrt 1.0) (/ (* i i) (sqrt 1.0)))) 4))) 9.917 * * * * [progress]: [ 21 / 78 ] simplifiying candidate # 9.917 * [simplify]: Simplifying (/ (* i i) 1.0) 9.917 * * [simplify]: iters left: 4 (4 enodes) 9.918 * * [simplify]: iters left: 3 (14 enodes) 9.923 * * [simplify]: iters left: 2 (18 enodes) 9.926 * * [simplify]: iters left: 1 (21 enodes) 9.929 * * [simplify]: Extracting #0: cost 1 inf + 0 9.930 * * [simplify]: Extracting #1: cost 7 inf + 0 9.930 * * [simplify]: Extracting #2: cost 8 inf + 2 9.930 * * [simplify]: Extracting #3: cost 1 inf + 374 9.930 * * [simplify]: Extracting #4: cost 0 inf + 416 9.930 * [simplify]: Simplified to (/ (* i i) 1.0) 9.930 * [simplify]: Simplified (2 2 1 2 2) to (λ (i) (/ 1 (* (- 4 (/ 1 (/ (* i i) 1.0))) 4))) 9.930 * * * * [progress]: [ 22 / 78 ] simplifiying candidate #real (real->posit16 (/ 1.0 (* i i))))) 4)))> 9.930 * [simplify]: Simplifying (real->posit16 (/ 1.0 (* i i))) 9.930 * * [simplify]: iters left: 5 (5 enodes) 9.932 * * [simplify]: iters left: 4 (14 enodes) 9.934 * * [simplify]: iters left: 3 (16 enodes) 9.937 * * [simplify]: Extracting #0: cost 1 inf + 0 9.937 * * [simplify]: Extracting #1: cost 2 inf + 0 9.937 * * [simplify]: Extracting #2: cost 6 inf + 0 9.937 * * [simplify]: Extracting #3: cost 5 inf + 43 9.937 * * [simplify]: Extracting #4: cost 0 inf + 332 9.937 * [simplify]: Simplified to (real->posit16 (/ 1.0 (* i i))) 9.937 * [simplify]: Simplified (2 2 1 2 1) to (λ (i) (/ 1 (* (- 4 (posit16->real (real->posit16 (/ 1.0 (* i i))))) 4))) 9.937 * * * * [progress]: [ 23 / 78 ] simplifiying candidate # 9.937 * * * * [progress]: [ 24 / 78 ] simplifiying candidate # 9.937 * [simplify]: Simplifying (- 1) 9.937 * * [simplify]: iters left: 2 (2 enodes) 9.938 * * [simplify]: iters left: 1 (9 enodes) 9.940 * * [simplify]: Extracting #0: cost 1 inf + 0 9.940 * * [simplify]: Extracting #1: cost 0 inf + 1 9.940 * [simplify]: Simplified to -1 9.940 * [simplify]: Simplified (2 2) to (λ (i) (pow (* (- 4 (/ 1.0 (* i i))) 4) -1)) 9.940 * * * * [progress]: [ 25 / 78 ] simplifiying candidate # 9.940 * [simplify]: Simplifying (- 1) 9.940 * * [simplify]: iters left: 2 (2 enodes) 9.942 * * [simplify]: iters left: 1 (9 enodes) 9.943 * * [simplify]: Extracting #0: cost 1 inf + 0 9.943 * * [simplify]: Extracting #1: cost 0 inf + 1 9.943 * [simplify]: Simplified to -1 9.943 * [simplify]: Simplified (2 2) to (λ (i) (pow (* (- 4 (/ 1.0 (* i i))) 4) -1)) 9.943 * * * * [progress]: [ 26 / 78 ] simplifiying candidate # 9.944 * * * * [progress]: [ 27 / 78 ] simplifiying candidate # 9.944 * [simplify]: Simplifying (- (+ (log (- 4 (/ 1.0 (* i i)))) (log 4))) 9.944 * * [simplify]: iters left: 6 (10 enodes) 9.947 * * [simplify]: iters left: 5 (38 enodes) 9.953 * * [simplify]: iters left: 4 (53 enodes) 9.961 * * [simplify]: iters left: 3 (58 enodes) 9.976 * * [simplify]: Extracting #0: cost 1 inf + 0 9.976 * * [simplify]: Extracting #1: cost 6 inf + 0 9.976 * * [simplify]: Extracting #2: cost 12 inf + 0 9.976 * * [simplify]: Extracting #3: cost 13 inf + 1 9.976 * * [simplify]: Extracting #4: cost 14 inf + 183 9.977 * * [simplify]: Extracting #5: cost 20 inf + 365 9.977 * * [simplify]: Extracting #6: cost 19 inf + 491 9.977 * * [simplify]: Extracting #7: cost 11 inf + 1106 9.978 * * [simplify]: Extracting #8: cost 2 inf + 2931 9.979 * * [simplify]: Extracting #9: cost 0 inf + 3577 9.980 * [simplify]: Simplified to (- (+ (log 4) (log (- 4 (/ (/ 1.0 i) i))))) 9.980 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (+ (log 4) (log (- 4 (/ (/ 1.0 i) i))))))) 9.981 * * * * [progress]: [ 28 / 78 ] simplifiying candidate # 9.981 * [simplify]: Simplifying (- (log (* (- 4 (/ 1.0 (* i i))) 4))) 9.981 * * [simplify]: iters left: 6 (9 enodes) 9.986 * * [simplify]: iters left: 5 (35 enodes) 9.998 * * [simplify]: iters left: 4 (58 enodes) 10.016 * * [simplify]: iters left: 3 (88 enodes) 10.047 * * [simplify]: iters left: 2 (132 enodes) 10.083 * * [simplify]: iters left: 1 (181 enodes) 10.111 * * [simplify]: Extracting #0: cost 1 inf + 0 10.111 * * [simplify]: Extracting #1: cost 7 inf + 0 10.111 * * [simplify]: Extracting #2: cost 15 inf + 0 10.111 * * [simplify]: Extracting #3: cost 18 inf + 254 10.111 * * [simplify]: Extracting #4: cost 44 inf + 366 10.111 * * [simplify]: Extracting #5: cost 49 inf + 824 10.112 * * [simplify]: Extracting #6: cost 14 inf + 4113 10.114 * * [simplify]: Extracting #7: cost 1 inf + 5908 10.115 * * [simplify]: Extracting #8: cost 0 inf + 6141 10.116 * [simplify]: Simplified to (- (log (* (- 4 (/ 1.0 (* i i))) 4))) 10.117 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log (* (- 4 (/ 1.0 (* i i))) 4))))) 10.117 * * * * [progress]: [ 29 / 78 ] simplifiying candidate # 10.117 * [simplify]: Simplifying (- 0 (+ (log (- 4 (/ 1.0 (* i i)))) (log 4))) 10.117 * * [simplify]: iters left: 6 (11 enodes) 10.121 * * [simplify]: iters left: 5 (42 enodes) 10.129 * * [simplify]: iters left: 4 (65 enodes) 10.143 * * [simplify]: iters left: 3 (81 enodes) 10.168 * * [simplify]: iters left: 2 (93 enodes) 10.196 * * [simplify]: iters left: 1 (103 enodes) 10.226 * * [simplify]: Extracting #0: cost 1 inf + 0 10.226 * * [simplify]: Extracting #1: cost 8 inf + 0 10.226 * * [simplify]: Extracting #2: cost 16 inf + 1 10.226 * * [simplify]: Extracting #3: cost 18 inf + 2 10.226 * * [simplify]: Extracting #4: cost 24 inf + 144 10.226 * * [simplify]: Extracting #5: cost 20 inf + 654 10.227 * * [simplify]: Extracting #6: cost 7 inf + 2273 10.229 * * [simplify]: Extracting #7: cost 0 inf + 4004 10.230 * [simplify]: Simplified to (- (+ (log (- 4 (/ 1.0 (* i i)))) (log 4))) 10.231 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (+ (log (- 4 (/ 1.0 (* i i)))) (log 4))))) 10.231 * * * * [progress]: [ 30 / 78 ] simplifiying candidate # 10.231 * [simplify]: Simplifying (- 0 (log (* (- 4 (/ 1.0 (* i i))) 4))) 10.231 * * [simplify]: iters left: 6 (10 enodes) 10.237 * * [simplify]: iters left: 5 (40 enodes) 10.246 * * [simplify]: iters left: 4 (69 enodes) 10.257 * * [simplify]: iters left: 3 (106 enodes) 10.286 * * [simplify]: iters left: 2 (164 enodes) 10.317 * * [simplify]: iters left: 1 (220 enodes) 10.359 * * [simplify]: Extracting #0: cost 1 inf + 0 10.359 * * [simplify]: Extracting #1: cost 8 inf + 0 10.359 * * [simplify]: Extracting #2: cost 17 inf + 1 10.359 * * [simplify]: Extracting #3: cost 21 inf + 144 10.359 * * [simplify]: Extracting #4: cost 47 inf + 256 10.360 * * [simplify]: Extracting #5: cost 41 inf + 2179 10.361 * * [simplify]: Extracting #6: cost 1 inf + 6526 10.363 * * [simplify]: Extracting #7: cost 0 inf + 6568 10.365 * [simplify]: Simplified to (- (log (* (- 4 (/ 1.0 (* i i))) 4))) 10.365 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log (* (- 4 (/ 1.0 (* i i))) 4))))) 10.365 * * * * [progress]: [ 31 / 78 ] simplifiying candidate # 10.365 * [simplify]: Simplifying (- (log 1) (+ (log (- 4 (/ 1.0 (* i i)))) (log 4))) 10.365 * * [simplify]: iters left: 6 (12 enodes) 10.369 * * [simplify]: iters left: 5 (47 enodes) 10.377 * * [simplify]: iters left: 4 (64 enodes) 10.393 * * [simplify]: iters left: 3 (84 enodes) 10.406 * * [simplify]: Extracting #0: cost 1 inf + 0 10.406 * * [simplify]: Extracting #1: cost 8 inf + 0 10.406 * * [simplify]: Extracting #2: cost 14 inf + 1 10.406 * * [simplify]: Extracting #3: cost 15 inf + 73 10.406 * * [simplify]: Extracting #4: cost 21 inf + 255 10.407 * * [simplify]: Extracting #5: cost 19 inf + 492 10.407 * * [simplify]: Extracting #6: cost 7 inf + 1627 10.407 * * [simplify]: Extracting #7: cost 2 inf + 3042 10.408 * * [simplify]: Extracting #8: cost 0 inf + 3578 10.409 * [simplify]: Simplified to (- (- (log 4)) (log (- 4 (/ 1.0 (* i i))))) 10.409 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (- (log 4)) (log (- 4 (/ 1.0 (* i i))))))) 10.409 * * * * [progress]: [ 32 / 78 ] simplifiying candidate # 10.409 * [simplify]: Simplifying (- (log 1) (log (* (- 4 (/ 1.0 (* i i))) 4))) 10.409 * * [simplify]: iters left: 6 (11 enodes) 10.413 * * [simplify]: iters left: 5 (45 enodes) 10.421 * * [simplify]: iters left: 4 (68 enodes) 10.437 * * [simplify]: iters left: 3 (108 enodes) 10.465 * * [simplify]: iters left: 2 (153 enodes) 10.496 * * [simplify]: iters left: 1 (217 enodes) 10.544 * * [simplify]: Extracting #0: cost 1 inf + 0 10.544 * * [simplify]: Extracting #1: cost 8 inf + 0 10.545 * * [simplify]: Extracting #2: cost 17 inf + 1 10.545 * * [simplify]: Extracting #3: cost 20 inf + 255 10.545 * * [simplify]: Extracting #4: cost 45 inf + 518 10.545 * * [simplify]: Extracting #5: cost 48 inf + 1343 10.546 * * [simplify]: Extracting #6: cost 6 inf + 5350 10.549 * * [simplify]: Extracting #7: cost 1 inf + 6293 10.553 * * [simplify]: Extracting #8: cost 0 inf + 6566 10.556 * [simplify]: Simplified to (- (log (* (- 4 (/ 1.0 (* i i))) 4))) 10.557 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log (* (- 4 (/ 1.0 (* i i))) 4))))) 10.557 * * * * [progress]: [ 33 / 78 ] simplifiying candidate # 10.557 * [simplify]: Simplifying (log (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 10.557 * * [simplify]: iters left: 6 (10 enodes) 10.563 * * [simplify]: iters left: 5 (43 enodes) 10.579 * * [simplify]: iters left: 4 (73 enodes) 10.599 * * [simplify]: iters left: 3 (113 enodes) 10.619 * * [simplify]: iters left: 2 (168 enodes) 10.660 * * [simplify]: iters left: 1 (241 enodes) 10.709 * * [simplify]: Extracting #0: cost 1 inf + 0 10.709 * * [simplify]: Extracting #1: cost 10 inf + 0 10.709 * * [simplify]: Extracting #2: cost 24 inf + 1 10.709 * * [simplify]: Extracting #3: cost 28 inf + 75 10.710 * * [simplify]: Extracting #4: cost 51 inf + 400 10.711 * * [simplify]: Extracting #5: cost 35 inf + 3422 10.715 * * [simplify]: Extracting #6: cost 1 inf + 7166 10.717 * * [simplify]: Extracting #7: cost 0 inf + 7288 10.718 * [simplify]: Simplified to (log (/ 1/4 (- 4 (/ 1.0 (* i i))))) 10.719 * [simplify]: Simplified (2 1) to (λ (i) (exp (log (/ 1/4 (- 4 (/ 1.0 (* i i))))))) 10.719 * * * * [progress]: [ 34 / 78 ] simplifiying candidate # 10.719 * [simplify]: Simplifying (exp (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 10.719 * * [simplify]: iters left: 6 (10 enodes) 10.722 * * [simplify]: iters left: 5 (39 enodes) 10.730 * * [simplify]: iters left: 4 (61 enodes) 10.743 * * [simplify]: iters left: 3 (87 enodes) 10.767 * * [simplify]: iters left: 2 (130 enodes) 10.807 * * [simplify]: iters left: 1 (179 enodes) 10.863 * * [simplify]: Extracting #0: cost 1 inf + 0 10.863 * * [simplify]: Extracting #1: cost 3 inf + 0 10.863 * * [simplify]: Extracting #2: cost 10 inf + 0 10.863 * * [simplify]: Extracting #3: cost 15 inf + 3 10.863 * * [simplify]: Extracting #4: cost 42 inf + 4 10.864 * * [simplify]: Extracting #5: cost 38 inf + 1444 10.866 * * [simplify]: Extracting #6: cost 6 inf + 4394 10.869 * * [simplify]: Extracting #7: cost 0 inf + 5039 10.872 * [simplify]: Simplified to (exp (/ 1/4 (- 4 (/ (/ 1.0 i) i)))) 10.872 * [simplify]: Simplified (2 1) to (λ (i) (log (exp (/ 1/4 (- 4 (/ (/ 1.0 i) i)))))) 10.872 * * * * [progress]: [ 35 / 78 ] simplifiying candidate # 10.872 * [simplify]: Simplifying (/ (* (* 1 1) 1) (* (* (* (- 4 (/ 1.0 (* i i))) (- 4 (/ 1.0 (* i i)))) (- 4 (/ 1.0 (* i i)))) (* (* 4 4) 4))) 10.873 * * [simplify]: iters left: 6 (15 enodes) 10.887 * * [simplify]: iters left: 5 (61 enodes) 10.910 * * [simplify]: iters left: 4 (139 enodes) 10.940 * * [simplify]: iters left: 3 (359 enodes) 11.157 * * [simplify]: Extracting #0: cost 1 inf + 0 11.157 * * [simplify]: Extracting #1: cost 34 inf + 0 11.158 * * [simplify]: Extracting #2: cost 138 inf + 5 11.160 * * [simplify]: Extracting #3: cost 355 inf + 10 11.163 * * [simplify]: Extracting #4: cost 359 inf + 14 11.176 * * [simplify]: Extracting #5: cost 235 inf + 25506 11.192 * * [simplify]: Extracting #6: cost 19 inf + 80371 11.213 * * [simplify]: Extracting #7: cost 0 inf + 85041 11.234 * * [simplify]: Extracting #8: cost 0 inf + 85001 11.265 * [simplify]: Simplified to (/ (/ 1/64 (- 4 (/ 1.0 (* i i)))) (* (- 4 (/ 1.0 (* i i))) (- 4 (/ 1.0 (* i i))))) 11.265 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (/ 1/64 (- 4 (/ 1.0 (* i i)))) (* (- 4 (/ 1.0 (* i i))) (- 4 (/ 1.0 (* i i))))))) 11.265 * * * * [progress]: [ 36 / 78 ] simplifiying candidate # 11.265 * [simplify]: Simplifying (/ (* (* 1 1) 1) (* (* (* (- 4 (/ 1.0 (* i i))) 4) (* (- 4 (/ 1.0 (* i i))) 4)) (* (- 4 (/ 1.0 (* i i))) 4))) 11.265 * * [simplify]: iters left: 6 (13 enodes) 11.272 * * [simplify]: iters left: 5 (58 enodes) 11.283 * * [simplify]: iters left: 4 (152 enodes) 11.369 * * [simplify]: Extracting #0: cost 1 inf + 0 11.369 * * [simplify]: Extracting #1: cost 43 inf + 0 11.370 * * [simplify]: Extracting #2: cost 107 inf + 5 11.370 * * [simplify]: Extracting #3: cost 149 inf + 7 11.373 * * [simplify]: Extracting #4: cost 146 inf + 419 11.376 * * [simplify]: Extracting #5: cost 65 inf + 17676 11.382 * * [simplify]: Extracting #6: cost 9 inf + 29949 11.393 * * [simplify]: Extracting #7: cost 0 inf + 32342 11.405 * [simplify]: Simplified to (/ (/ 1 (* (* (- 4 (/ 1.0 (* i i))) 4) (* (- 4 (/ 1.0 (* i i))) 4))) (* (- 4 (/ 1.0 (* i i))) 4)) 11.405 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (/ 1 (* (* (- 4 (/ 1.0 (* i i))) 4) (* (- 4 (/ 1.0 (* i i))) 4))) (* (- 4 (/ 1.0 (* i i))) 4)))) 11.406 * * * * [progress]: [ 37 / 78 ] simplifiying candidate # 11.406 * [simplify]: Simplifying (* (cbrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) (cbrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4)))) 11.406 * * [simplify]: iters left: 6 (11 enodes) 11.409 * * [simplify]: iters left: 5 (42 enodes) 11.417 * * [simplify]: iters left: 4 (64 enodes) 11.428 * * [simplify]: iters left: 3 (90 enodes) 11.451 * * [simplify]: iters left: 2 (133 enodes) 11.474 * * [simplify]: iters left: 1 (182 enodes) 11.509 * * [simplify]: Extracting #0: cost 1 inf + 0 11.509 * * [simplify]: Extracting #1: cost 3 inf + 0 11.509 * * [simplify]: Extracting #2: cost 5 inf + 0 11.509 * * [simplify]: Extracting #3: cost 12 inf + 0 11.509 * * [simplify]: Extracting #4: cost 17 inf + 3 11.509 * * [simplify]: Extracting #5: cost 44 inf + 4 11.510 * * [simplify]: Extracting #6: cost 34 inf + 2020 11.511 * * [simplify]: Extracting #7: cost 1 inf + 5505 11.512 * * [simplify]: Extracting #8: cost 0 inf + 5627 11.514 * [simplify]: Simplified to (* (cbrt (/ 1/4 (- 4 (/ 1.0 (* i i))))) (cbrt (/ 1/4 (- 4 (/ 1.0 (* i i)))))) 11.514 * [simplify]: Simplified (2 1) to (λ (i) (* (* (cbrt (/ 1/4 (- 4 (/ 1.0 (* i i))))) (cbrt (/ 1/4 (- 4 (/ 1.0 (* i i)))))) (cbrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))))) 11.514 * [simplify]: Simplifying (cbrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 11.514 * * [simplify]: iters left: 6 (10 enodes) 11.517 * * [simplify]: iters left: 5 (39 enodes) 11.525 * * [simplify]: iters left: 4 (61 enodes) 11.535 * * [simplify]: iters left: 3 (87 enodes) 11.551 * * [simplify]: iters left: 2 (130 enodes) 11.595 * * [simplify]: iters left: 1 (179 enodes) 11.631 * * [simplify]: Extracting #0: cost 1 inf + 0 11.631 * * [simplify]: Extracting #1: cost 3 inf + 0 11.631 * * [simplify]: Extracting #2: cost 10 inf + 0 11.631 * * [simplify]: Extracting #3: cost 15 inf + 3 11.631 * * [simplify]: Extracting #4: cost 42 inf + 4 11.631 * * [simplify]: Extracting #5: cost 38 inf + 1444 11.632 * * [simplify]: Extracting #6: cost 6 inf + 4404 11.633 * * [simplify]: Extracting #7: cost 0 inf + 5059 11.635 * [simplify]: Simplified to (cbrt (/ 1/4 (- 4 (/ (/ 1.0 i) i)))) 11.635 * [simplify]: Simplified (2 2) to (λ (i) (* (* (cbrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) (cbrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4)))) (cbrt (/ 1/4 (- 4 (/ (/ 1.0 i) i)))))) 11.635 * * * * [progress]: [ 38 / 78 ] simplifiying candidate # 11.635 * [simplify]: Simplifying (* (* (/ 1 (* (- 4 (/ 1.0 (* i i))) 4)) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 11.635 * * [simplify]: iters left: 6 (11 enodes) 11.639 * * [simplify]: iters left: 5 (49 enodes) 11.650 * * [simplify]: iters left: 4 (104 enodes) 11.690 * * [simplify]: iters left: 3 (308 enodes) 11.914 * * [simplify]: Extracting #0: cost 1 inf + 0 11.914 * * [simplify]: Extracting #1: cost 59 inf + 0 11.915 * * [simplify]: Extracting #2: cost 165 inf + 8 11.916 * * [simplify]: Extracting #3: cost 197 inf + 9 11.917 * * [simplify]: Extracting #4: cost 186 inf + 1212 11.920 * * [simplify]: Extracting #5: cost 102 inf + 16039 11.929 * * [simplify]: Extracting #6: cost 9 inf + 37713 11.939 * * [simplify]: Extracting #7: cost 0 inf + 39776 11.950 * * [simplify]: Extracting #8: cost 0 inf + 39736 11.960 * [simplify]: Simplified to (* (/ 1/4 (- 4 (/ 1.0 (* i i)))) (* (/ 1/4 (- 4 (/ 1.0 (* i i)))) (/ 1/4 (- 4 (/ 1.0 (* i i)))))) 11.960 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (* (/ 1/4 (- 4 (/ 1.0 (* i i)))) (* (/ 1/4 (- 4 (/ 1.0 (* i i)))) (/ 1/4 (- 4 (/ 1.0 (* i i)))))))) 11.960 * * * * [progress]: [ 39 / 78 ] simplifiying candidate # 11.961 * [simplify]: Simplifying (sqrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 11.961 * * [simplify]: iters left: 6 (10 enodes) 11.965 * * [simplify]: iters left: 5 (39 enodes) 11.978 * * [simplify]: iters left: 4 (61 enodes) 11.998 * * [simplify]: iters left: 3 (87 enodes) 12.028 * * [simplify]: iters left: 2 (130 enodes) 12.067 * * [simplify]: iters left: 1 (179 enodes) 12.111 * * [simplify]: Extracting #0: cost 1 inf + 0 12.111 * * [simplify]: Extracting #1: cost 3 inf + 0 12.111 * * [simplify]: Extracting #2: cost 10 inf + 0 12.111 * * [simplify]: Extracting #3: cost 15 inf + 3 12.111 * * [simplify]: Extracting #4: cost 42 inf + 4 12.111 * * [simplify]: Extracting #5: cost 38 inf + 1444 12.112 * * [simplify]: Extracting #6: cost 6 inf + 4364 12.114 * * [simplify]: Extracting #7: cost 0 inf + 4979 12.115 * [simplify]: Simplified to (sqrt (/ 1/4 (- 4 (/ (/ 1.0 i) i)))) 12.115 * [simplify]: Simplified (2 1) to (λ (i) (* (sqrt (/ 1/4 (- 4 (/ (/ 1.0 i) i)))) (sqrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))))) 12.115 * [simplify]: Simplifying (sqrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 12.115 * * [simplify]: iters left: 6 (10 enodes) 12.118 * * [simplify]: iters left: 5 (39 enodes) 12.128 * * [simplify]: iters left: 4 (61 enodes) 12.140 * * [simplify]: iters left: 3 (87 enodes) 12.155 * * [simplify]: iters left: 2 (130 enodes) 12.181 * * [simplify]: iters left: 1 (179 enodes) 12.215 * * [simplify]: Extracting #0: cost 1 inf + 0 12.215 * * [simplify]: Extracting #1: cost 3 inf + 0 12.215 * * [simplify]: Extracting #2: cost 10 inf + 0 12.215 * * [simplify]: Extracting #3: cost 15 inf + 3 12.215 * * [simplify]: Extracting #4: cost 42 inf + 4 12.216 * * [simplify]: Extracting #5: cost 38 inf + 1444 12.217 * * [simplify]: Extracting #6: cost 6 inf + 4364 12.218 * * [simplify]: Extracting #7: cost 0 inf + 4979 12.219 * [simplify]: Simplified to (sqrt (/ 1/4 (- 4 (/ (/ 1.0 i) i)))) 12.219 * [simplify]: Simplified (2 2) to (λ (i) (* (sqrt (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) (sqrt (/ 1/4 (- 4 (/ (/ 1.0 i) i)))))) 12.219 * * * * [progress]: [ 40 / 78 ] simplifiying candidate # 12.220 * [simplify]: Simplifying (- 1) 12.220 * * [simplify]: iters left: 2 (2 enodes) 12.221 * * [simplify]: iters left: 1 (9 enodes) 12.223 * * [simplify]: Extracting #0: cost 1 inf + 0 12.223 * * [simplify]: Extracting #1: cost 0 inf + 1 12.223 * [simplify]: Simplified to -1 12.223 * [simplify]: Simplified (2 1) to (λ (i) (/ -1 (- (* (- 4 (/ 1.0 (* i i))) 4)))) 12.223 * [simplify]: Simplifying (- (* (- 4 (/ 1.0 (* i i))) 4)) 12.223 * * [simplify]: iters left: 6 (8 enodes) 12.227 * * [simplify]: iters left: 5 (34 enodes) 12.237 * * [simplify]: iters left: 4 (57 enodes) 12.257 * * [simplify]: iters left: 3 (102 enodes) 12.291 * * [simplify]: iters left: 2 (157 enodes) 12.340 * * [simplify]: iters left: 1 (216 enodes) 12.390 * * [simplify]: Extracting #0: cost 1 inf + 0 12.390 * * [simplify]: Extracting #1: cost 10 inf + 0 12.390 * * [simplify]: Extracting #2: cost 43 inf + 3 12.391 * * [simplify]: Extracting #3: cost 49 inf + 873 12.393 * * [simplify]: Extracting #4: cost 7 inf + 4650 12.395 * * [simplify]: Extracting #5: cost 0 inf + 5186 12.397 * [simplify]: Simplified to (+ (/ (/ 1.0 (/ i 4)) i) -16) 12.397 * [simplify]: Simplified (2 2) to (λ (i) (/ -1 (+ (/ (/ 1.0 (/ i 4)) i) -16))) 12.397 * * * * [progress]: [ 41 / 78 ] simplifiying candidate # 12.397 * [simplify]: Simplifying (/ (* (cbrt 1) (cbrt 1)) (- 4 (/ 1.0 (* i i)))) 12.397 * * [simplify]: iters left: 6 (10 enodes) 12.401 * * [simplify]: iters left: 5 (38 enodes) 12.408 * * [simplify]: iters left: 4 (52 enodes) 12.419 * * [simplify]: iters left: 3 (66 enodes) 12.436 * * [simplify]: iters left: 2 (70 enodes) 12.450 * * [simplify]: iters left: 1 (72 enodes) 12.459 * * [simplify]: Extracting #0: cost 1 inf + 0 12.459 * * [simplify]: Extracting #1: cost 4 inf + 0 12.459 * * [simplify]: Extracting #2: cost 7 inf + 1 12.459 * * [simplify]: Extracting #3: cost 14 inf + 2 12.459 * * [simplify]: Extracting #4: cost 14 inf + 127 12.459 * * [simplify]: Extracting #5: cost 5 inf + 702 12.459 * * [simplify]: Extracting #6: cost 2 inf + 1111 12.460 * * [simplify]: Extracting #7: cost 0 inf + 1398 12.460 * [simplify]: Simplified to (/ 1 (- 4 (/ 1.0 (* i i)))) 12.460 * [simplify]: Simplified (2 1) to (λ (i) (* (/ 1 (- 4 (/ 1.0 (* i i)))) (/ (cbrt 1) 4))) 12.460 * [simplify]: Simplifying (/ (cbrt 1) 4) 12.460 * * [simplify]: iters left: 3 (4 enodes) 12.462 * * [simplify]: iters left: 2 (15 enodes) 12.465 * * [simplify]: iters left: 1 (17 enodes) 12.468 * * [simplify]: Extracting #0: cost 1 inf + 0 12.468 * * [simplify]: Extracting #1: cost 0 inf + 1 12.468 * [simplify]: Simplified to 1/4 12.468 * [simplify]: Simplified (2 2) to (λ (i) (* (/ 1 (- 4 (/ 1.0 (* i i)))) 1/4)) 12.468 * * * * [progress]: [ 42 / 78 ] simplifiying candidate # 12.468 * [simplify]: Simplifying (/ (sqrt 1) (- 4 (/ 1.0 (* i i)))) 12.468 * * [simplify]: iters left: 6 (9 enodes) 12.471 * * [simplify]: iters left: 5 (33 enodes) 12.477 * * [simplify]: iters left: 4 (44 enodes) 12.488 * * [simplify]: iters left: 3 (49 enodes) 12.496 * * [simplify]: Extracting #0: cost 1 inf + 0 12.496 * * [simplify]: Extracting #1: cost 4 inf + 0 12.496 * * [simplify]: Extracting #2: cost 7 inf + 1 12.496 * * [simplify]: Extracting #3: cost 14 inf + 2 12.496 * * [simplify]: Extracting #4: cost 14 inf + 87 12.496 * * [simplify]: Extracting #5: cost 5 inf + 784 12.496 * * [simplify]: Extracting #6: cost 0 inf + 1398 12.497 * [simplify]: Simplified to (/ 1 (- 4 (/ 1.0 (* i i)))) 12.497 * [simplify]: Simplified (2 1) to (λ (i) (* (/ 1 (- 4 (/ 1.0 (* i i)))) (/ (sqrt 1) 4))) 12.497 * [simplify]: Simplifying (/ (sqrt 1) 4) 12.497 * * [simplify]: iters left: 3 (4 enodes) 12.499 * * [simplify]: iters left: 2 (15 enodes) 12.502 * * [simplify]: iters left: 1 (17 enodes) 12.505 * * [simplify]: Extracting #0: cost 1 inf + 0 12.505 * * [simplify]: Extracting #1: cost 0 inf + 1 12.505 * [simplify]: Simplified to 1/4 12.505 * [simplify]: Simplified (2 2) to (λ (i) (* (/ (sqrt 1) (- 4 (/ 1.0 (* i i)))) 1/4)) 12.505 * * * * [progress]: [ 43 / 78 ] simplifiying candidate # 12.505 * [simplify]: Simplifying (/ 1 (- 4 (/ 1.0 (* i i)))) 12.505 * * [simplify]: iters left: 6 (8 enodes) 12.508 * * [simplify]: iters left: 5 (30 enodes) 12.513 * * [simplify]: iters left: 4 (41 enodes) 12.525 * * [simplify]: iters left: 3 (46 enodes) 12.539 * * [simplify]: Extracting #0: cost 1 inf + 0 12.539 * * [simplify]: Extracting #1: cost 4 inf + 0 12.539 * * [simplify]: Extracting #2: cost 7 inf + 1 12.539 * * [simplify]: Extracting #3: cost 14 inf + 2 12.540 * * [simplify]: Extracting #4: cost 16 inf + 4 12.540 * * [simplify]: Extracting #5: cost 6 inf + 700 12.540 * * [simplify]: Extracting #6: cost 0 inf + 1398 12.541 * [simplify]: Simplified to (/ 1 (- 4 (/ (/ 1.0 i) i))) 12.541 * [simplify]: Simplified (2 1) to (λ (i) (* (/ 1 (- 4 (/ (/ 1.0 i) i))) (/ 1 4))) 12.541 * [simplify]: Simplifying (/ 1 4) 12.541 * * [simplify]: iters left: 2 (3 enodes) 12.548 * * [simplify]: iters left: 1 (12 enodes) 12.552 * * [simplify]: Extracting #0: cost 1 inf + 0 12.552 * * [simplify]: Extracting #1: cost 0 inf + 1 12.552 * [simplify]: Simplified to 1/4 12.552 * [simplify]: Simplified (2 2) to (λ (i) (* (/ 1 (- 4 (/ 1.0 (* i i)))) 1/4)) 12.552 * * * * [progress]: [ 44 / 78 ] simplifiying candidate # 12.552 * * * * [progress]: [ 45 / 78 ] simplifiying candidate # 12.553 * [simplify]: Simplifying (/ 1 (* (- 4 (/ 1.0 (* i i))) 4)) 12.553 * * [simplify]: iters left: 6 (9 enodes) 12.558 * * [simplify]: iters left: 5 (36 enodes) 12.571 * * [simplify]: iters left: 4 (58 enodes) 12.589 * * [simplify]: iters left: 3 (84 enodes) 12.617 * * [simplify]: iters left: 2 (127 enodes) 12.655 * * [simplify]: iters left: 1 (176 enodes) 12.710 * * [simplify]: Extracting #0: cost 1 inf + 0 12.710 * * [simplify]: Extracting #1: cost 8 inf + 0 12.710 * * [simplify]: Extracting #2: cost 13 inf + 3 12.710 * * [simplify]: Extracting #3: cost 40 inf + 4 12.711 * * [simplify]: Extracting #4: cost 37 inf + 1281 12.713 * * [simplify]: Extracting #5: cost 9 inf + 3504 12.715 * * [simplify]: Extracting #6: cost 0 inf + 4571 12.718 * [simplify]: Simplified to (/ 1/4 (- 4 (/ (/ 1.0 i) i))) 12.718 * [simplify]: Simplified (2 2) to (λ (i) (* 1 (/ 1/4 (- 4 (/ (/ 1.0 i) i))))) 12.718 * * * * [progress]: [ 46 / 78 ] simplifiying candidate # 12.718 * [simplify]: Simplifying (/ (* (- 4 (/ 1.0 (* i i))) 4) 1) 12.718 * * [simplify]: iters left: 6 (9 enodes) 12.721 * * [simplify]: iters left: 5 (35 enodes) 12.728 * * [simplify]: iters left: 4 (59 enodes) 12.740 * * [simplify]: iters left: 3 (103 enodes) 12.767 * * [simplify]: iters left: 2 (166 enodes) 12.819 * * [simplify]: iters left: 1 (246 enodes) 12.873 * * [simplify]: Extracting #0: cost 1 inf + 0 12.873 * * [simplify]: Extracting #1: cost 10 inf + 0 12.874 * * [simplify]: Extracting #2: cost 51 inf + 4 12.874 * * [simplify]: Extracting #3: cost 63 inf + 628 12.876 * * [simplify]: Extracting #4: cost 12 inf + 5030 12.879 * * [simplify]: Extracting #5: cost 0 inf + 6179 12.883 * * [simplify]: Extracting #6: cost 0 inf + 6139 12.886 * [simplify]: Simplified to (* (- 4 (/ 1.0 (* i i))) 4) 12.886 * [simplify]: Simplified (2 2) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 12.887 * * * * [progress]: [ 47 / 78 ] simplifiying candidate # 12.887 * [simplify]: Simplifying (/ 1 (- 4 (/ 1.0 (* i i)))) 12.887 * * [simplify]: iters left: 6 (8 enodes) 12.892 * * [simplify]: iters left: 5 (30 enodes) 12.902 * * [simplify]: iters left: 4 (41 enodes) 12.914 * * [simplify]: iters left: 3 (46 enodes) 12.931 * * [simplify]: Extracting #0: cost 1 inf + 0 12.931 * * [simplify]: Extracting #1: cost 4 inf + 0 12.931 * * [simplify]: Extracting #2: cost 7 inf + 1 12.931 * * [simplify]: Extracting #3: cost 14 inf + 2 12.931 * * [simplify]: Extracting #4: cost 16 inf + 4 12.932 * * [simplify]: Extracting #5: cost 6 inf + 700 12.932 * * [simplify]: Extracting #6: cost 0 inf + 1398 12.933 * [simplify]: Simplified to (/ 1 (- 4 (/ (/ 1.0 i) i))) 12.933 * [simplify]: Simplified (2 1) to (λ (i) (/ (/ 1 (- 4 (/ (/ 1.0 i) i))) 4)) 12.933 * * * * [progress]: [ 48 / 78 ] simplifiying candidate # 12.933 * [simplify]: Simplifying (/ (* (- 4 (/ 1.0 (* i i))) 4) (cbrt 1)) 12.933 * * [simplify]: iters left: 6 (10 enodes) 12.940 * * [simplify]: iters left: 5 (39 enodes) 12.953 * * [simplify]: iters left: 4 (64 enodes) 12.978 * * [simplify]: iters left: 3 (112 enodes) 13.014 * * [simplify]: iters left: 2 (203 enodes) 13.054 * * [simplify]: iters left: 1 (295 enodes) 13.105 * * [simplify]: Extracting #0: cost 1 inf + 0 13.105 * * [simplify]: Extracting #1: cost 12 inf + 0 13.105 * * [simplify]: Extracting #2: cost 53 inf + 4 13.106 * * [simplify]: Extracting #3: cost 63 inf + 832 13.107 * * [simplify]: Extracting #4: cost 21 inf + 4250 13.108 * * [simplify]: Extracting #5: cost 2 inf + 6138 13.110 * * [simplify]: Extracting #6: cost 0 inf + 6424 13.112 * [simplify]: Simplified to (* 4 (- 4 (/ 1.0 (* i i)))) 13.112 * [simplify]: Simplified (2 2) to (λ (i) (/ (* (cbrt 1) (cbrt 1)) (* 4 (- 4 (/ 1.0 (* i i)))))) 13.112 * * * * [progress]: [ 49 / 78 ] simplifiying candidate # 13.113 * [simplify]: Simplifying (/ (* (- 4 (/ 1.0 (* i i))) 4) (sqrt 1)) 13.113 * * [simplify]: iters left: 6 (10 enodes) 13.116 * * [simplify]: iters left: 5 (39 enodes) 13.124 * * [simplify]: iters left: 4 (64 enodes) 13.149 * * [simplify]: iters left: 3 (112 enodes) 13.172 * * [simplify]: iters left: 2 (203 enodes) 13.215 * * [simplify]: iters left: 1 (295 enodes) 13.300 * * [simplify]: Extracting #0: cost 1 inf + 0 13.301 * * [simplify]: Extracting #1: cost 12 inf + 0 13.301 * * [simplify]: Extracting #2: cost 53 inf + 4 13.302 * * [simplify]: Extracting #3: cost 63 inf + 832 13.304 * * [simplify]: Extracting #4: cost 21 inf + 4250 13.307 * * [simplify]: Extracting #5: cost 2 inf + 6138 13.311 * * [simplify]: Extracting #6: cost 0 inf + 6424 13.316 * [simplify]: Simplified to (* 4 (- 4 (/ 1.0 (* i i)))) 13.316 * [simplify]: Simplified (2 2) to (λ (i) (/ (sqrt 1) (* 4 (- 4 (/ 1.0 (* i i)))))) 13.316 * * * * [progress]: [ 50 / 78 ] simplifiying candidate # 13.316 * [simplify]: Simplifying (/ (* (- 4 (/ 1.0 (* i i))) 4) 1) 13.316 * * [simplify]: iters left: 6 (9 enodes) 13.322 * * [simplify]: iters left: 5 (35 enodes) 13.335 * * [simplify]: iters left: 4 (59 enodes) 13.356 * * [simplify]: iters left: 3 (103 enodes) 13.377 * * [simplify]: iters left: 2 (166 enodes) 13.413 * * [simplify]: iters left: 1 (246 enodes) 13.467 * * [simplify]: Extracting #0: cost 1 inf + 0 13.467 * * [simplify]: Extracting #1: cost 10 inf + 0 13.467 * * [simplify]: Extracting #2: cost 51 inf + 4 13.468 * * [simplify]: Extracting #3: cost 63 inf + 628 13.470 * * [simplify]: Extracting #4: cost 12 inf + 5030 13.473 * * [simplify]: Extracting #5: cost 0 inf + 6179 13.477 * * [simplify]: Extracting #6: cost 0 inf + 6139 13.481 * [simplify]: Simplified to (* (- 4 (/ 1.0 (* i i))) 4) 13.481 * [simplify]: Simplified (2 2) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 13.481 * * * * [progress]: [ 51 / 78 ] simplifiying candidate # 13.481 * [simplify]: Simplifying (/ 1 (* (- (pow 4 3) (pow (/ 1.0 (* i i)) 3)) 4)) 13.481 * * [simplify]: iters left: 6 (12 enodes) 13.491 * * [simplify]: iters left: 5 (63 enodes) 13.518 * * [simplify]: iters left: 4 (153 enodes) 13.581 * * [simplify]: iters left: 3 (466 enodes) 13.883 * * [simplify]: Extracting #0: cost 1 inf + 0 13.883 * * [simplify]: Extracting #1: cost 8 inf + 0 13.883 * * [simplify]: Extracting #2: cost 14 inf + 3 13.884 * * [simplify]: Extracting #3: cost 266 inf + 5 13.887 * * [simplify]: Extracting #4: cost 402 inf + 9336 13.896 * * [simplify]: Extracting #5: cost 183 inf + 52280 13.913 * * [simplify]: Extracting #6: cost 32 inf + 101086 13.945 * * [simplify]: Extracting #7: cost 1 inf + 116027 13.982 * * [simplify]: Extracting #8: cost 0 inf + 116492 14.022 * [simplify]: Simplified to (/ 1/4 (- 64 (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i))))) 14.022 * [simplify]: Simplified (2 1) to (λ (i) (* (/ 1/4 (- 64 (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i))))) (+ (* 4 4) (+ (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (* 4 (/ 1.0 (* i i))))))) 14.022 * * * * [progress]: [ 52 / 78 ] simplifiying candidate # 14.023 * [simplify]: Simplifying (/ 1 (* (- (* 4 4) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) 4)) 14.023 * * [simplify]: iters left: 6 (11 enodes) 14.030 * * [simplify]: iters left: 5 (50 enodes) 14.049 * * [simplify]: iters left: 4 (111 enodes) 14.079 * * [simplify]: iters left: 3 (250 enodes) 14.177 * * [simplify]: Extracting #0: cost 1 inf + 0 14.178 * * [simplify]: Extracting #1: cost 8 inf + 0 14.178 * * [simplify]: Extracting #2: cost 37 inf + 3 14.178 * * [simplify]: Extracting #3: cost 137 inf + 5 14.180 * * [simplify]: Extracting #4: cost 148 inf + 2047 14.188 * * [simplify]: Extracting #5: cost 38 inf + 17685 14.200 * * [simplify]: Extracting #6: cost 0 inf + 24233 14.212 * * [simplify]: Extracting #7: cost 0 inf + 24153 14.224 * [simplify]: Simplified to (/ 1/4 (- 16 (* (/ 1.0 (* i i)) (/ 1.0 (* i i))))) 14.224 * [simplify]: Simplified (2 1) to (λ (i) (* (/ 1/4 (- 16 (* (/ 1.0 (* i i)) (/ 1.0 (* i i))))) (+ 4 (/ 1.0 (* i i))))) 14.225 * * * * [progress]: [ 53 / 78 ] simplifiying candidate #real (real->posit16 (/ 1 (* (- 4 (/ 1.0 (* i i))) 4)))))> 14.225 * [simplify]: Simplifying (real->posit16 (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 14.225 * * [simplify]: iters left: 6 (10 enodes) 14.231 * * [simplify]: iters left: 5 (36 enodes) 14.249 * * [simplify]: iters left: 4 (58 enodes) 14.267 * * [simplify]: iters left: 3 (84 enodes) 14.294 * * [simplify]: iters left: 2 (127 enodes) 14.322 * * [simplify]: iters left: 1 (176 enodes) 14.354 * * [simplify]: Extracting #0: cost 1 inf + 0 14.354 * * [simplify]: Extracting #1: cost 2 inf + 0 14.354 * * [simplify]: Extracting #2: cost 8 inf + 0 14.354 * * [simplify]: Extracting #3: cost 13 inf + 3 14.354 * * [simplify]: Extracting #4: cost 40 inf + 4 14.355 * * [simplify]: Extracting #5: cost 40 inf + 914 14.357 * * [simplify]: Extracting #6: cost 7 inf + 3833 14.359 * * [simplify]: Extracting #7: cost 0 inf + 4571 14.362 * [simplify]: Simplified to (real->posit16 (/ 1/4 (- 4 (/ (/ 1.0 i) i)))) 14.362 * [simplify]: Simplified (2 1) to (λ (i) (posit16->real (real->posit16 (/ 1/4 (- 4 (/ (/ 1.0 i) i)))))) 14.362 * * * * [progress]: [ 54 / 78 ] simplifiying candidate # 14.363 * [simplify]: Simplifying (/ (exp 4) (exp (/ 1.0 (* i i)))) 14.363 * * [simplify]: iters left: 6 (8 enodes) 14.368 * * [simplify]: iters left: 5 (28 enodes) 14.377 * * [simplify]: iters left: 4 (34 enodes) 14.388 * * [simplify]: iters left: 3 (43 enodes) 14.401 * * [simplify]: iters left: 2 (53 enodes) 14.409 * * [simplify]: iters left: 1 (61 enodes) 14.419 * * [simplify]: Extracting #0: cost 1 inf + 0 14.419 * * [simplify]: Extracting #1: cost 9 inf + 0 14.419 * * [simplify]: Extracting #2: cost 15 inf + 1 14.419 * * [simplify]: Extracting #3: cost 22 inf + 2 14.419 * * [simplify]: Extracting #4: cost 19 inf + 361 14.420 * * [simplify]: Extracting #5: cost 1 inf + 2690 14.420 * * [simplify]: Extracting #6: cost 0 inf + 2742 14.421 * [simplify]: Simplified to (exp (- 4 (/ 1.0 (* i i)))) 14.421 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (log (exp (- 4 (/ 1.0 (* i i))))) 4))) 14.421 * * * * [progress]: [ 55 / 78 ] simplifiying candidate # 14.421 * * * * [progress]: [ 56 / 78 ] simplifiying candidate # 14.421 * [simplify]: Simplifying (log (- 4 (/ 1.0 (* i i)))) 14.421 * * [simplify]: iters left: 6 (7 enodes) 14.423 * * [simplify]: iters left: 5 (25 enodes) 14.428 * * [simplify]: iters left: 4 (34 enodes) 14.438 * * [simplify]: iters left: 3 (39 enodes) 14.448 * * [simplify]: Extracting #0: cost 1 inf + 0 14.448 * * [simplify]: Extracting #1: cost 3 inf + 0 14.448 * * [simplify]: Extracting #2: cost 7 inf + 0 14.448 * * [simplify]: Extracting #3: cost 14 inf + 1 14.449 * * [simplify]: Extracting #4: cost 14 inf + 86 14.449 * * [simplify]: Extracting #5: cost 5 inf + 742 14.449 * * [simplify]: Extracting #6: cost 1 inf + 1262 14.450 * * [simplify]: Extracting #7: cost 0 inf + 1455 14.450 * [simplify]: Simplified to (log (- 4 (/ (/ 1.0 i) i))) 14.450 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (exp (log (- 4 (/ (/ 1.0 i) i)))) 4))) 14.450 * * * * [progress]: [ 57 / 78 ] simplifiying candidate # 14.451 * [simplify]: Simplifying (exp (- 4 (/ 1.0 (* i i)))) 14.451 * * [simplify]: iters left: 6 (7 enodes) 14.455 * * [simplify]: iters left: 5 (28 enodes) 14.463 * * [simplify]: iters left: 4 (43 enodes) 14.478 * * [simplify]: iters left: 3 (53 enodes) 14.493 * * [simplify]: iters left: 2 (61 enodes) 14.504 * * [simplify]: iters left: 1 (67 enodes) 14.514 * * [simplify]: Extracting #0: cost 1 inf + 0 14.514 * * [simplify]: Extracting #1: cost 10 inf + 0 14.514 * * [simplify]: Extracting #2: cost 18 inf + 1 14.515 * * [simplify]: Extracting #3: cost 25 inf + 2 14.515 * * [simplify]: Extracting #4: cost 23 inf + 239 14.515 * * [simplify]: Extracting #5: cost 10 inf + 1574 14.515 * * [simplify]: Extracting #6: cost 0 inf + 3331 14.516 * * [simplify]: Extracting #7: cost 0 inf + 3261 14.517 * [simplify]: Simplified to (exp (- 4 (/ (/ 1.0 i) i))) 14.517 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (log (exp (- 4 (/ (/ 1.0 i) i)))) 4))) 14.517 * * * * [progress]: [ 58 / 78 ] simplifiying candidate # 14.517 * [simplify]: Simplifying (* (cbrt (- 4 (/ 1.0 (* i i)))) (cbrt (- 4 (/ 1.0 (* i i))))) 14.517 * * [simplify]: iters left: 6 (8 enodes) 14.519 * * [simplify]: iters left: 5 (28 enodes) 14.524 * * [simplify]: iters left: 4 (37 enodes) 14.530 * * [simplify]: iters left: 3 (42 enodes) 14.537 * * [simplify]: Extracting #0: cost 1 inf + 0 14.537 * * [simplify]: Extracting #1: cost 3 inf + 0 14.537 * * [simplify]: Extracting #2: cost 5 inf + 0 14.537 * * [simplify]: Extracting #3: cost 9 inf + 0 14.538 * * [simplify]: Extracting #4: cost 16 inf + 1 14.538 * * [simplify]: Extracting #5: cost 15 inf + 167 14.538 * * [simplify]: Extracting #6: cost 7 inf + 782 14.538 * * [simplify]: Extracting #7: cost 0 inf + 1961 14.538 * [simplify]: Simplified to (* (cbrt (- 4 (/ 1.0 (* i i)))) (cbrt (- 4 (/ 1.0 (* i i))))) 14.538 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (* (* (cbrt (- 4 (/ 1.0 (* i i)))) (cbrt (- 4 (/ 1.0 (* i i))))) (cbrt (- 4 (/ 1.0 (* i i))))) 4))) 14.539 * [simplify]: Simplifying (cbrt (- 4 (/ 1.0 (* i i)))) 14.539 * * [simplify]: iters left: 6 (7 enodes) 14.541 * * [simplify]: iters left: 5 (25 enodes) 14.545 * * [simplify]: iters left: 4 (34 enodes) 14.554 * * [simplify]: iters left: 3 (39 enodes) 14.564 * * [simplify]: Extracting #0: cost 1 inf + 0 14.564 * * [simplify]: Extracting #1: cost 3 inf + 0 14.564 * * [simplify]: Extracting #2: cost 7 inf + 0 14.564 * * [simplify]: Extracting #3: cost 14 inf + 1 14.564 * * [simplify]: Extracting #4: cost 14 inf + 86 14.565 * * [simplify]: Extracting #5: cost 5 inf + 742 14.565 * * [simplify]: Extracting #6: cost 1 inf + 1272 14.566 * * [simplify]: Extracting #7: cost 0 inf + 1475 14.566 * [simplify]: Simplified to (cbrt (- 4 (/ (/ 1.0 i) i))) 14.566 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (* (* (cbrt (- 4 (/ 1.0 (* i i)))) (cbrt (- 4 (/ 1.0 (* i i))))) (cbrt (- 4 (/ (/ 1.0 i) i)))) 4))) 14.566 * * * * [progress]: [ 59 / 78 ] simplifiying candidate # 14.567 * [simplify]: Simplifying (* (* (- 4 (/ 1.0 (* i i))) (- 4 (/ 1.0 (* i i)))) (- 4 (/ 1.0 (* i i)))) 14.567 * * [simplify]: iters left: 6 (8 enodes) 14.571 * * [simplify]: iters left: 5 (29 enodes) 14.578 * * [simplify]: iters left: 4 (52 enodes) 14.593 * * [simplify]: iters left: 3 (153 enodes) 14.648 * * [simplify]: Extracting #0: cost 1 inf + 0 14.649 * * [simplify]: Extracting #1: cost 18 inf + 0 14.649 * * [simplify]: Extracting #2: cost 95 inf + 1 14.649 * * [simplify]: Extracting #3: cost 127 inf + 46 14.650 * * [simplify]: Extracting #4: cost 115 inf + 2016 14.653 * * [simplify]: Extracting #5: cost 35 inf + 17940 14.659 * * [simplify]: Extracting #6: cost 0 inf + 26640 14.673 * [simplify]: Simplified to (* (- 4 (/ 1.0 (* i i))) (* (- 4 (/ 1.0 (* i i))) (- 4 (/ 1.0 (* i i))))) 14.673 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (cbrt (* (- 4 (/ 1.0 (* i i))) (* (- 4 (/ 1.0 (* i i))) (- 4 (/ 1.0 (* i i)))))) 4))) 14.674 * * * * [progress]: [ 60 / 78 ] simplifiying candidate # 14.674 * [simplify]: Simplifying (sqrt (- 4 (/ 1.0 (* i i)))) 14.674 * * [simplify]: iters left: 6 (7 enodes) 14.679 * * [simplify]: iters left: 5 (25 enodes) 14.687 * * [simplify]: iters left: 4 (34 enodes) 14.698 * * [simplify]: iters left: 3 (39 enodes) 14.706 * * [simplify]: Extracting #0: cost 1 inf + 0 14.706 * * [simplify]: Extracting #1: cost 3 inf + 0 14.706 * * [simplify]: Extracting #2: cost 7 inf + 0 14.706 * * [simplify]: Extracting #3: cost 14 inf + 1 14.706 * * [simplify]: Extracting #4: cost 14 inf + 86 14.706 * * [simplify]: Extracting #5: cost 5 inf + 742 14.707 * * [simplify]: Extracting #6: cost 1 inf + 1232 14.707 * * [simplify]: Extracting #7: cost 0 inf + 1395 14.707 * [simplify]: Simplified to (sqrt (- 4 (/ (/ 1.0 i) i))) 14.707 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (* (sqrt (- 4 (/ (/ 1.0 i) i))) (sqrt (- 4 (/ 1.0 (* i i))))) 4))) 14.707 * [simplify]: Simplifying (sqrt (- 4 (/ 1.0 (* i i)))) 14.707 * * [simplify]: iters left: 6 (7 enodes) 14.710 * * [simplify]: iters left: 5 (25 enodes) 14.714 * * [simplify]: iters left: 4 (34 enodes) 14.720 * * [simplify]: iters left: 3 (39 enodes) 14.726 * * [simplify]: Extracting #0: cost 1 inf + 0 14.726 * * [simplify]: Extracting #1: cost 3 inf + 0 14.726 * * [simplify]: Extracting #2: cost 7 inf + 0 14.726 * * [simplify]: Extracting #3: cost 14 inf + 1 14.726 * * [simplify]: Extracting #4: cost 14 inf + 86 14.726 * * [simplify]: Extracting #5: cost 5 inf + 742 14.726 * * [simplify]: Extracting #6: cost 1 inf + 1232 14.726 * * [simplify]: Extracting #7: cost 0 inf + 1395 14.727 * [simplify]: Simplified to (sqrt (- 4 (/ (/ 1.0 i) i))) 14.727 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (* (sqrt (- 4 (/ 1.0 (* i i)))) (sqrt (- 4 (/ (/ 1.0 i) i)))) 4))) 14.727 * * * * [progress]: [ 61 / 78 ] simplifiying candidate # 14.727 * [simplify]: Simplifying (- (pow 4 3) (pow (/ 1.0 (* i i)) 3)) 14.727 * * [simplify]: iters left: 6 (9 enodes) 14.732 * * [simplify]: iters left: 5 (49 enodes) 14.752 * * [simplify]: iters left: 4 (125 enodes) 14.817 * * [simplify]: iters left: 3 (409 enodes) 15.032 * * [simplify]: Extracting #0: cost 1 inf + 0 15.032 * * [simplify]: Extracting #1: cost 5 inf + 0 15.032 * * [simplify]: Extracting #2: cost 158 inf + 1 15.035 * * [simplify]: Extracting #3: cost 312 inf + 1293 15.041 * * [simplify]: Extracting #4: cost 219 inf + 17066 15.061 * * [simplify]: Extracting #5: cost 34 inf + 67950 15.090 * * [simplify]: Extracting #6: cost 1 inf + 81768 15.104 * * [simplify]: Extracting #7: cost 0 inf + 82403 15.117 * [simplify]: Simplified to (- 64 (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))) 15.117 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (/ (- 64 (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))) (+ (* 4 4) (+ (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (* 4 (/ 1.0 (* i i)))))) 4))) 15.117 * [simplify]: Simplifying (+ (* 4 4) (+ (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (* 4 (/ 1.0 (* i i))))) 15.117 * * [simplify]: iters left: 6 (10 enodes) 15.121 * * [simplify]: iters left: 5 (46 enodes) 15.133 * * [simplify]: iters left: 4 (103 enodes) 15.152 * * [simplify]: iters left: 3 (191 enodes) 15.204 * * [simplify]: iters left: 2 (266 enodes) 15.252 * * [simplify]: iters left: 1 (307 enodes) 15.318 * * [simplify]: Extracting #0: cost 1 inf + 0 15.318 * * [simplify]: Extracting #1: cost 8 inf + 0 15.318 * * [simplify]: Extracting #2: cost 50 inf + 1 15.319 * * [simplify]: Extracting #3: cost 69 inf + 1112 15.323 * * [simplify]: Extracting #4: cost 22 inf + 6785 15.328 * * [simplify]: Extracting #5: cost 8 inf + 8873 15.334 * * [simplify]: Extracting #6: cost 0 inf + 10974 15.339 * [simplify]: Simplified to (+ 16 (* (/ 1.0 (* i i)) (+ (/ 1.0 (* i i)) 4))) 15.339 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (/ (- 64 (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))) (+ 16 (* (/ 1.0 (* i i)) (+ (/ 1.0 (* i i)) 4)))) 4))) 15.339 * * * * [progress]: [ 62 / 78 ] simplifiying candidate # 15.340 * [simplify]: Simplifying (- (/ 1.0 (* i i))) 15.340 * * [simplify]: iters left: 6 (5 enodes) 15.343 * * [simplify]: iters left: 5 (19 enodes) 15.349 * * [simplify]: iters left: 4 (27 enodes) 15.358 * * [simplify]: iters left: 3 (29 enodes) 15.366 * * [simplify]: Extracting #0: cost 1 inf + 0 15.366 * * [simplify]: Extracting #1: cost 7 inf + 0 15.366 * * [simplify]: Extracting #2: cost 11 inf + 42 15.366 * * [simplify]: Extracting #3: cost 10 inf + 84 15.366 * * [simplify]: Extracting #4: cost 6 inf + 331 15.366 * * [simplify]: Extracting #5: cost 0 inf + 822 15.367 * [simplify]: Simplified to (/ (- 1.0) (* i i)) 15.367 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (+ 4 (/ (- 1.0) (* i i))) 4))) 15.367 * * * * [progress]: [ 63 / 78 ] simplifiying candidate # 15.367 * * * * [progress]: [ 64 / 78 ] simplifiying candidate # 15.367 * [simplify]: Simplifying (- (* 4 4) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) 15.367 * * [simplify]: iters left: 6 (8 enodes) 15.375 * * [simplify]: iters left: 5 (36 enodes) 15.383 * * [simplify]: iters left: 4 (77 enodes) 15.397 * * [simplify]: iters left: 3 (176 enodes) 15.448 * * [simplify]: iters left: 2 (337 enodes) 15.538 * * [simplify]: Extracting #0: cost 1 inf + 0 15.539 * * [simplify]: Extracting #1: cost 29 inf + 0 15.539 * * [simplify]: Extracting #2: cost 92 inf + 1 15.540 * * [simplify]: Extracting #3: cost 115 inf + 1604 15.546 * * [simplify]: Extracting #4: cost 24 inf + 15428 15.558 * * [simplify]: Extracting #5: cost 0 inf + 19005 15.568 * * [simplify]: Extracting #6: cost 0 inf + 18925 15.578 * [simplify]: Simplified to (- 16 (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) 15.578 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (/ (- 16 (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) (+ 4 (/ 1.0 (* i i)))) 4))) 15.578 * [simplify]: Simplifying (+ 4 (/ 1.0 (* i i))) 15.578 * * [simplify]: iters left: 6 (6 enodes) 15.581 * * [simplify]: iters left: 5 (21 enodes) 15.584 * * [simplify]: iters left: 4 (23 enodes) 15.588 * * [simplify]: Extracting #0: cost 1 inf + 0 15.588 * * [simplify]: Extracting #1: cost 4 inf + 0 15.588 * * [simplify]: Extracting #2: cost 8 inf + 1 15.588 * * [simplify]: Extracting #3: cost 8 inf + 3 15.588 * * [simplify]: Extracting #4: cost 0 inf + 579 15.588 * [simplify]: Simplified to (+ 4 (/ 1.0 (* i i))) 15.588 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (/ (- 16 (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) (+ 4 (/ 1.0 (* i i)))) 4))) 15.588 * * * * [progress]: [ 65 / 78 ] simplifiying candidate # 15.589 * [simplify]: Simplifying (+ (sqrt 4) (sqrt (/ 1.0 (* i i)))) 15.589 * * [simplify]: iters left: 6 (8 enodes) 15.592 * * [simplify]: iters left: 5 (28 enodes) 15.596 * * [simplify]: iters left: 4 (30 enodes) 15.601 * * [simplify]: Extracting #0: cost 1 inf + 0 15.601 * * [simplify]: Extracting #1: cost 4 inf + 0 15.601 * * [simplify]: Extracting #2: cost 5 inf + 1 15.601 * * [simplify]: Extracting #3: cost 10 inf + 1 15.601 * * [simplify]: Extracting #4: cost 9 inf + 44 15.601 * * [simplify]: Extracting #5: cost 5 inf + 251 15.602 * * [simplify]: Extracting #6: cost 1 inf + 740 15.602 * * [simplify]: Extracting #7: cost 0 inf + 903 15.602 * [simplify]: Simplified to (+ 2 (sqrt (/ (/ 1.0 i) i))) 15.602 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (* (+ 2 (sqrt (/ (/ 1.0 i) i))) (- (sqrt 4) (sqrt (/ 1.0 (* i i))))) 4))) 15.602 * [simplify]: Simplifying (- (sqrt 4) (sqrt (/ 1.0 (* i i)))) 15.602 * * [simplify]: iters left: 6 (8 enodes) 15.605 * * [simplify]: iters left: 5 (29 enodes) 15.610 * * [simplify]: iters left: 4 (35 enodes) 15.619 * * [simplify]: iters left: 3 (36 enodes) 15.629 * * [simplify]: Extracting #0: cost 1 inf + 0 15.629 * * [simplify]: Extracting #1: cost 5 inf + 0 15.629 * * [simplify]: Extracting #2: cost 7 inf + 1 15.629 * * [simplify]: Extracting #3: cost 12 inf + 1 15.629 * * [simplify]: Extracting #4: cost 12 inf + 3 15.629 * * [simplify]: Extracting #5: cost 7 inf + 251 15.629 * * [simplify]: Extracting #6: cost 0 inf + 1227 15.630 * [simplify]: Simplified to (- 2 (sqrt (/ (/ 1.0 i) i))) 15.630 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (* (+ (sqrt 4) (sqrt (/ 1.0 (* i i)))) (- 2 (sqrt (/ (/ 1.0 i) i)))) 4))) 15.630 * * * * [progress]: [ 66 / 78 ] simplifiying candidate # 15.630 * [simplify]: Simplifying (+ (sqrt 4) (/ (sqrt 1.0) i)) 15.631 * * [simplify]: iters left: 5 (7 enodes) 15.635 * * [simplify]: iters left: 4 (23 enodes) 15.643 * * [simplify]: Extracting #0: cost 1 inf + 0 15.643 * * [simplify]: Extracting #1: cost 4 inf + 0 15.643 * * [simplify]: Extracting #2: cost 6 inf + 1 15.643 * * [simplify]: Extracting #3: cost 7 inf + 2 15.643 * * [simplify]: Extracting #4: cost 1 inf + 372 15.643 * * [simplify]: Extracting #5: cost 0 inf + 495 15.644 * [simplify]: Simplified to (+ (/ (sqrt 1.0) i) 2) 15.644 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (* (+ (/ (sqrt 1.0) i) 2) (- (sqrt 4) (/ (sqrt 1.0) i))) 4))) 15.644 * [simplify]: Simplifying (- (sqrt 4) (/ (sqrt 1.0) i)) 15.644 * * [simplify]: iters left: 5 (7 enodes) 15.649 * * [simplify]: iters left: 4 (24 enodes) 15.657 * * [simplify]: iters left: 3 (30 enodes) 15.666 * * [simplify]: iters left: 2 (33 enodes) 15.675 * * [simplify]: Extracting #0: cost 1 inf + 0 15.675 * * [simplify]: Extracting #1: cost 5 inf + 0 15.676 * * [simplify]: Extracting #2: cost 9 inf + 1 15.676 * * [simplify]: Extracting #3: cost 11 inf + 2 15.676 * * [simplify]: Extracting #4: cost 3 inf + 573 15.676 * * [simplify]: Extracting #5: cost 1 inf + 778 15.676 * * [simplify]: Extracting #6: cost 0 inf + 901 15.677 * [simplify]: Simplified to (- 2 (/ (sqrt 1.0) i)) 15.677 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (* (+ (sqrt 4) (/ (sqrt 1.0) i)) (- 2 (/ (sqrt 1.0) i))) 4))) 15.677 * * * * [progress]: [ 67 / 78 ] simplifiying candidate # 15.678 * [simplify]: Simplifying (- 4 (/ 1.0 (* i i))) 15.678 * * [simplify]: iters left: 6 (6 enodes) 15.684 * * [simplify]: iters left: 5 (22 enodes) 15.692 * * [simplify]: iters left: 4 (31 enodes) 15.700 * * [simplify]: iters left: 3 (36 enodes) 15.706 * * [simplify]: Extracting #0: cost 1 inf + 0 15.706 * * [simplify]: Extracting #1: cost 5 inf + 0 15.706 * * [simplify]: Extracting #2: cost 12 inf + 1 15.706 * * [simplify]: Extracting #3: cost 11 inf + 167 15.706 * * [simplify]: Extracting #4: cost 1 inf + 946 15.707 * * [simplify]: Extracting #5: cost 0 inf + 1069 15.707 * [simplify]: Simplified to (- 4 (/ 1.0 (* i i))) 15.707 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (* 1 (- 4 (/ 1.0 (* i i)))) 4))) 15.707 * * * * [progress]: [ 68 / 78 ] simplifiying candidate # 15.707 * [simplify]: Simplifying (- (/ 1.0 (* i i))) 15.707 * * [simplify]: iters left: 6 (5 enodes) 15.709 * * [simplify]: iters left: 5 (19 enodes) 15.712 * * [simplify]: iters left: 4 (27 enodes) 15.716 * * [simplify]: iters left: 3 (29 enodes) 15.721 * * [simplify]: Extracting #0: cost 1 inf + 0 15.721 * * [simplify]: Extracting #1: cost 7 inf + 0 15.721 * * [simplify]: Extracting #2: cost 11 inf + 42 15.721 * * [simplify]: Extracting #3: cost 10 inf + 84 15.721 * * [simplify]: Extracting #4: cost 6 inf + 331 15.721 * * [simplify]: Extracting #5: cost 0 inf + 822 15.721 * [simplify]: Simplified to (/ (- 1.0) (* i i)) 15.721 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (+ 4 (/ (- 1.0) (* i i))) 4))) 15.721 * * * * [progress]: [ 69 / 78 ] simplifiying candidate #real (real->posit16 (- 4 (/ 1.0 (* i i))))) 4)))> 15.722 * [simplify]: Simplifying (real->posit16 (- 4 (/ 1.0 (* i i)))) 15.722 * * [simplify]: iters left: 6 (7 enodes) 15.724 * * [simplify]: iters left: 5 (22 enodes) 15.728 * * [simplify]: iters left: 4 (31 enodes) 15.733 * * [simplify]: iters left: 3 (36 enodes) 15.739 * * [simplify]: Extracting #0: cost 1 inf + 0 15.739 * * [simplify]: Extracting #1: cost 2 inf + 0 15.739 * * [simplify]: Extracting #2: cost 5 inf + 0 15.739 * * [simplify]: Extracting #3: cost 12 inf + 1 15.739 * * [simplify]: Extracting #4: cost 9 inf + 371 15.740 * * [simplify]: Extracting #5: cost 3 inf + 782 15.740 * * [simplify]: Extracting #6: cost 0 inf + 1069 15.741 * [simplify]: Simplified to (real->posit16 (- 4 (/ (/ 1.0 i) i))) 15.741 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ 1 (* (posit16->real (real->posit16 (- 4 (/ (/ 1.0 i) i)))) 4))) 15.741 * * * * [progress]: [ 70 / 78 ] simplifiying candidate # 15.741 * [simplify]: Simplifying (/ 1.0 (pow i 2)) 15.741 * * [simplify]: iters left: 3 (5 enodes) 15.745 * * [simplify]: iters left: 2 (20 enodes) 15.752 * * [simplify]: iters left: 1 (26 enodes) 15.759 * * [simplify]: Extracting #0: cost 1 inf + 0 15.760 * * [simplify]: Extracting #1: cost 6 inf + 0 15.760 * * [simplify]: Extracting #2: cost 6 inf + 43 15.760 * * [simplify]: Extracting #3: cost 0 inf + 333 15.760 * [simplify]: Simplified to (/ 1.0 (* i i)) 15.760 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 15.760 * * * * [progress]: [ 71 / 78 ] simplifiying candidate # 15.760 * [simplify]: Simplifying (/ 1.0 (pow i 2)) 15.760 * * [simplify]: iters left: 3 (5 enodes) 15.764 * * [simplify]: iters left: 2 (20 enodes) 15.771 * * [simplify]: iters left: 1 (26 enodes) 15.778 * * [simplify]: Extracting #0: cost 1 inf + 0 15.778 * * [simplify]: Extracting #1: cost 6 inf + 0 15.778 * * [simplify]: Extracting #2: cost 6 inf + 43 15.778 * * [simplify]: Extracting #3: cost 0 inf + 333 15.779 * [simplify]: Simplified to (/ 1.0 (* i i)) 15.779 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 15.779 * * * * [progress]: [ 72 / 78 ] simplifiying candidate # 15.779 * [simplify]: Simplifying (/ 1.0 (pow i 2)) 15.779 * * [simplify]: iters left: 3 (5 enodes) 15.783 * * [simplify]: iters left: 2 (20 enodes) 15.790 * * [simplify]: iters left: 1 (26 enodes) 15.798 * * [simplify]: Extracting #0: cost 1 inf + 0 15.798 * * [simplify]: Extracting #1: cost 6 inf + 0 15.798 * * [simplify]: Extracting #2: cost 6 inf + 43 15.798 * * [simplify]: Extracting #3: cost 0 inf + 333 15.798 * [simplify]: Simplified to (/ 1.0 (* i i)) 15.798 * [simplify]: Simplified (2 2 1 2) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 15.798 * * * * [progress]: [ 73 / 78 ] simplifiying candidate # 15.799 * [simplify]: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 15.799 * * [simplify]: iters left: 6 (16 enodes) 15.812 * * [simplify]: iters left: 5 (70 enodes) 15.833 * * [simplify]: iters left: 4 (124 enodes) 15.859 * * [simplify]: iters left: 3 (251 enodes) 15.953 * * [simplify]: Extracting #0: cost 1 inf + 0 15.953 * * [simplify]: Extracting #1: cost 17 inf + 0 15.953 * * [simplify]: Extracting #2: cost 101 inf + 0 15.954 * * [simplify]: Extracting #3: cost 129 inf + 738 15.960 * * [simplify]: Extracting #4: cost 39 inf + 13534 15.969 * * [simplify]: Extracting #5: cost 4 inf + 21144 15.979 * * [simplify]: Extracting #6: cost 0 inf + 21781 15.988 * [simplify]: Simplified to (- (* (* (* i i) (* i i)) (- 1.0)) (* (* i i) (+ (* 4.0 (* (* i i) (* i i))) 0.25))) 15.988 * [simplify]: Simplified (2) to (λ (i) (- (* (* (* i i) (* i i)) (- 1.0)) (* (* i i) (+ (* 4.0 (* (* i i) (* i i))) 0.25)))) 15.988 * * * * [progress]: [ 74 / 78 ] simplifiying candidate # 15.989 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 15.989 * * [simplify]: iters left: 6 (15 enodes) 15.999 * * [simplify]: iters left: 5 (64 enodes) 16.021 * * [simplify]: iters left: 4 (87 enodes) 16.050 * * [simplify]: iters left: 3 (116 enodes) 16.083 * * [simplify]: iters left: 2 (163 enodes) 16.131 * * [simplify]: iters left: 1 (239 enodes) 16.203 * * [simplify]: Extracting #0: cost 1 inf + 0 16.203 * * [simplify]: Extracting #1: cost 8 inf + 0 16.204 * * [simplify]: Extracting #2: cost 50 inf + 1 16.204 * * [simplify]: Extracting #3: cost 67 inf + 127 16.206 * * [simplify]: Extracting #4: cost 17 inf + 5640 16.208 * * [simplify]: Extracting #5: cost 0 inf + 7809 16.211 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) 16.211 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 16.211 * * * * [progress]: [ 75 / 78 ] simplifiying candidate # 16.211 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 16.211 * * [simplify]: iters left: 6 (15 enodes) 16.217 * * [simplify]: iters left: 5 (64 enodes) 16.229 * * [simplify]: iters left: 4 (87 enodes) 16.245 * * [simplify]: iters left: 3 (116 enodes) 16.263 * * [simplify]: iters left: 2 (163 enodes) 16.290 * * [simplify]: iters left: 1 (239 enodes) 16.377 * * [simplify]: Extracting #0: cost 1 inf + 0 16.377 * * [simplify]: Extracting #1: cost 8 inf + 0 16.378 * * [simplify]: Extracting #2: cost 50 inf + 1 16.378 * * [simplify]: Extracting #3: cost 67 inf + 127 16.380 * * [simplify]: Extracting #4: cost 17 inf + 5640 16.382 * * [simplify]: Extracting #5: cost 0 inf + 7809 16.384 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) 16.384 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) 16.384 * * * * [progress]: [ 76 / 78 ] simplifiying candidate # 16.384 * [simplify]: Simplifying (- 4 (* 1.0 (/ 1 (pow i 2)))) 16.385 * * [simplify]: iters left: 6 (9 enodes) 16.388 * * [simplify]: iters left: 5 (38 enodes) 16.396 * * [simplify]: iters left: 4 (57 enodes) 16.409 * * [simplify]: iters left: 3 (93 enodes) 16.425 * * [simplify]: iters left: 2 (126 enodes) 16.448 * * [simplify]: iters left: 1 (180 enodes) 16.492 * * [simplify]: Extracting #0: cost 1 inf + 0 16.492 * * [simplify]: Extracting #1: cost 5 inf + 0 16.492 * * [simplify]: Extracting #2: cost 29 inf + 1 16.492 * * [simplify]: Extracting #3: cost 31 inf + 213 16.494 * * [simplify]: Extracting #4: cost 6 inf + 2144 16.495 * * [simplify]: Extracting #5: cost 0 inf + 2677 16.497 * [simplify]: Simplified to (- 4 (/ 1.0 (* i i))) 16.497 * [simplify]: Simplified (2 2 1) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 16.498 * * * * [progress]: [ 77 / 78 ] simplifiying candidate # 16.498 * [simplify]: Simplifying (- 4 (* 1.0 (/ 1 (pow i 2)))) 16.498 * * [simplify]: iters left: 6 (9 enodes) 16.505 * * [simplify]: iters left: 5 (38 enodes) 16.518 * * [simplify]: iters left: 4 (57 enodes) 16.538 * * [simplify]: iters left: 3 (93 enodes) 16.557 * * [simplify]: iters left: 2 (126 enodes) 16.584 * * [simplify]: iters left: 1 (180 enodes) 16.656 * * [simplify]: Extracting #0: cost 1 inf + 0 16.656 * * [simplify]: Extracting #1: cost 5 inf + 0 16.656 * * [simplify]: Extracting #2: cost 29 inf + 1 16.657 * * [simplify]: Extracting #3: cost 31 inf + 213 16.658 * * [simplify]: Extracting #4: cost 6 inf + 2144 16.660 * * [simplify]: Extracting #5: cost 0 inf + 2677 16.662 * [simplify]: Simplified to (- 4 (/ 1.0 (* i i))) 16.662 * [simplify]: Simplified (2 2 1) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 16.662 * * * * [progress]: [ 78 / 78 ] simplifiying candidate # 16.662 * [simplify]: Simplifying (- 4 (* 1.0 (/ 1 (pow i 2)))) 16.662 * * [simplify]: iters left: 6 (9 enodes) 16.669 * * [simplify]: iters left: 5 (38 enodes) 16.682 * * [simplify]: iters left: 4 (57 enodes) 16.704 * * [simplify]: iters left: 3 (93 enodes) 16.734 * * [simplify]: iters left: 2 (126 enodes) 16.778 * * [simplify]: iters left: 1 (180 enodes) 16.852 * * [simplify]: Extracting #0: cost 1 inf + 0 16.852 * * [simplify]: Extracting #1: cost 5 inf + 0 16.852 * * [simplify]: Extracting #2: cost 29 inf + 1 16.852 * * [simplify]: Extracting #3: cost 31 inf + 213 16.853 * * [simplify]: Extracting #4: cost 6 inf + 2144 16.854 * * [simplify]: Extracting #5: cost 0 inf + 2677 16.855 * [simplify]: Simplified to (- 4 (/ 1.0 (* i i))) 16.855 * [simplify]: Simplified (2 2 1) to (λ (i) (/ 1 (* (- 4 (/ 1.0 (* i i))) 4))) 16.855 * * * [progress]: adding candidates to table 17.393 * [progress]: [Phase 3 of 3] Extracting. 17.393 * * [regime]: Finding splitpoints for: (# #) 17.394 * * * [regime-changes]: Trying 1 branch expressions: (i) 17.394 * * * * [regimes]: Trying to branch on i from (# #) 17.425 * * * [regime]: Found split indices: #