1554302389.724 * [misc]progress: [Phase 1 of 3] Setting up. 1554302389.724 * * * [misc]progress: [1/2] Preparing points 1554302390.865 * * * [misc]progress: [2/2] Setting up program. 1554302390.879 * [misc]progress: [Phase 2 of 3] Improving. 1554302390.879 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1554302390.879 * [enter]simplify: Simplifying (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))) 1554302390.880 * * [misc]simplify: iters left: 6 (60 enodes) 1554302390.917 * * [misc]simplify: iters left: 5 (272 enodes) 1554302391.044 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.044 * * [misc]simplify: Extracting #1: cost 29 inf + 0 1554302391.045 * * [misc]simplify: Extracting #2: cost 93 inf + 1 1554302391.046 * * [misc]simplify: Extracting #3: cost 185 inf + 1 1554302391.047 * * [misc]simplify: Extracting #4: cost 261 inf + 293 1554302391.049 * * [misc]simplify: Extracting #5: cost 279 inf + 1288 1554302391.053 * * [misc]simplify: Extracting #6: cost 198 inf + 8604 1554302391.059 * * [misc]simplify: Extracting #7: cost 133 inf + 23229 1554302391.071 * * [misc]simplify: Extracting #8: cost 51 inf + 72215 1554302391.115 * * [misc]simplify: Extracting #9: cost 5 inf + 131257 1554302391.177 * * [misc]simplify: Extracting #10: cost 0 inf + 138788 1554302391.231 * [exit]simplify: Simplified to (* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (/ (* (pow (+ (- 8 (+ z 1)) 0.5) (- 1 (+ z (- 1 0.5)))) 1) (exp (+ (- 8 (+ z 1)) 0.5)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (/ -176.6150291621406 (+ (- 1 z) 3))) (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- 8 (+ z 1)))))) 1554302391.232 * [misc]simplify: Simplified (2) to (λ (z) (* (* (* (/ PI (sin (* PI z))) (sqrt (* 2 PI))) (/ (* (pow (+ (- 8 (+ z 1)) 0.5) (- 1 (+ z (- 1 0.5)))) 1) (exp (+ (- 8 (+ z 1)) 0.5)))) (+ (+ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1 z)) (/ -1259.1392167224028 (+ (- 1 z) 1)))) (+ (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (/ -176.6150291621406 (+ (- 1 z) 3))) (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- 8 (+ z 1))))))) 1554302391.245 * * [misc]progress: iteration 1 / 4 1554302391.245 * * * [misc]progress: picking best candidate 1554302391.267 * * * * [misc]pick: Picked # 1554302391.268 * * * [misc]progress: localizing error 1554302391.484 * * * [misc]progress: generating rewritten candidates 1554302391.484 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1554302391.491 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1554302391.495 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1554302391.499 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1554302391.504 * * * [misc]progress: generating series expansions 1554302391.504 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1554302391.504 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1554302391.504 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302391.504 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.504 * [misc]taylor: Taking taylor expansion of z in z 1554302391.504 * [misc]backup-simplify: Simplify 0 into 0 1554302391.504 * [misc]backup-simplify: Simplify 1 into 1 1554302391.504 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.504 * [misc]taylor: Taking taylor expansion of z in z 1554302391.504 * [misc]backup-simplify: Simplify 0 into 0 1554302391.504 * [misc]backup-simplify: Simplify 1 into 1 1554302391.504 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.504 * [misc]backup-simplify: Simplify 0 into 0 1554302391.505 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.505 * [misc]backup-simplify: Simplify -1 into -1 1554302391.505 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.505 * [misc]backup-simplify: Simplify 0 into 0 1554302391.505 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.505 * [misc]backup-simplify: Simplify 0 into 0 1554302391.505 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.505 * [misc]backup-simplify: Simplify 0 into 0 1554302391.505 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.505 * [misc]backup-simplify: Simplify 0 into 0 1554302391.505 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.505 * [misc]backup-simplify: Simplify 0 into 0 1554302391.505 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.505 * [misc]backup-simplify: Simplify 0 into 0 1554302391.505 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302391.506 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1554302391.506 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302391.506 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.506 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.506 * [misc]taylor: Taking taylor expansion of z in z 1554302391.506 * [misc]backup-simplify: Simplify 0 into 0 1554302391.506 * [misc]backup-simplify: Simplify 1 into 1 1554302391.506 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.506 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.506 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.506 * [misc]taylor: Taking taylor expansion of z in z 1554302391.506 * [misc]backup-simplify: Simplify 0 into 0 1554302391.506 * [misc]backup-simplify: Simplify 1 into 1 1554302391.506 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.506 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.506 * [misc]backup-simplify: Simplify -1 into -1 1554302391.506 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.506 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.506 * [misc]backup-simplify: Simplify 0 into 0 1554302391.507 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.507 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.507 * [misc]backup-simplify: Simplify 0 into 0 1554302391.507 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.507 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.507 * [misc]backup-simplify: Simplify 0 into 0 1554302391.507 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.507 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.507 * [misc]backup-simplify: Simplify 0 into 0 1554302391.508 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.508 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.508 * [misc]backup-simplify: Simplify 0 into 0 1554302391.508 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.508 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.508 * [misc]backup-simplify: Simplify 0 into 0 1554302391.508 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302391.508 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1554302391.508 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302391.508 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.508 * [misc]taylor: Taking taylor expansion of z in z 1554302391.508 * [misc]backup-simplify: Simplify 0 into 0 1554302391.509 * [misc]backup-simplify: Simplify 1 into 1 1554302391.509 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.509 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.509 * [misc]taylor: Taking taylor expansion of z in z 1554302391.509 * [misc]backup-simplify: Simplify 0 into 0 1554302391.509 * [misc]backup-simplify: Simplify 1 into 1 1554302391.509 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.509 * [misc]backup-simplify: Simplify 1 into 1 1554302391.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.509 * [misc]backup-simplify: Simplify 0 into 0 1554302391.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.509 * [misc]backup-simplify: Simplify 0 into 0 1554302391.509 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.509 * [misc]backup-simplify: Simplify 0 into 0 1554302391.510 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.510 * [misc]backup-simplify: Simplify 0 into 0 1554302391.510 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.510 * [misc]backup-simplify: Simplify 0 into 0 1554302391.510 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.510 * [misc]backup-simplify: Simplify 0 into 0 1554302391.511 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302391.511 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1554302391.511 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1554302391.511 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302391.511 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.511 * [misc]taylor: Taking taylor expansion of z in z 1554302391.511 * [misc]backup-simplify: Simplify 0 into 0 1554302391.511 * [misc]backup-simplify: Simplify 1 into 1 1554302391.511 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.511 * [misc]taylor: Taking taylor expansion of z in z 1554302391.511 * [misc]backup-simplify: Simplify 0 into 0 1554302391.511 * [misc]backup-simplify: Simplify 1 into 1 1554302391.511 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.511 * [misc]backup-simplify: Simplify 0 into 0 1554302391.511 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.511 * [misc]backup-simplify: Simplify -1 into -1 1554302391.511 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.511 * [misc]backup-simplify: Simplify 0 into 0 1554302391.511 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.511 * [misc]backup-simplify: Simplify 0 into 0 1554302391.511 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.511 * [misc]backup-simplify: Simplify 0 into 0 1554302391.512 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.512 * [misc]backup-simplify: Simplify 0 into 0 1554302391.512 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.512 * [misc]backup-simplify: Simplify 0 into 0 1554302391.512 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.512 * [misc]backup-simplify: Simplify 0 into 0 1554302391.512 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302391.512 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1554302391.512 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302391.512 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.512 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.512 * [misc]taylor: Taking taylor expansion of z in z 1554302391.512 * [misc]backup-simplify: Simplify 0 into 0 1554302391.512 * [misc]backup-simplify: Simplify 1 into 1 1554302391.512 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.512 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.512 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.512 * [misc]taylor: Taking taylor expansion of z in z 1554302391.512 * [misc]backup-simplify: Simplify 0 into 0 1554302391.512 * [misc]backup-simplify: Simplify 1 into 1 1554302391.512 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.512 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.512 * [misc]backup-simplify: Simplify -1 into -1 1554302391.513 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.513 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.513 * [misc]backup-simplify: Simplify 0 into 0 1554302391.513 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.513 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.513 * [misc]backup-simplify: Simplify 0 into 0 1554302391.513 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.513 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.513 * [misc]backup-simplify: Simplify 0 into 0 1554302391.514 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.514 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.514 * [misc]backup-simplify: Simplify 0 into 0 1554302391.514 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.514 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.514 * [misc]backup-simplify: Simplify 0 into 0 1554302391.515 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.515 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.515 * [misc]backup-simplify: Simplify 0 into 0 1554302391.515 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302391.515 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1554302391.515 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302391.515 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.515 * [misc]taylor: Taking taylor expansion of z in z 1554302391.515 * [misc]backup-simplify: Simplify 0 into 0 1554302391.515 * [misc]backup-simplify: Simplify 1 into 1 1554302391.515 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.515 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.515 * [misc]taylor: Taking taylor expansion of z in z 1554302391.515 * [misc]backup-simplify: Simplify 0 into 0 1554302391.515 * [misc]backup-simplify: Simplify 1 into 1 1554302391.515 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.515 * [misc]backup-simplify: Simplify 1 into 1 1554302391.515 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.515 * [misc]backup-simplify: Simplify 0 into 0 1554302391.516 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.516 * [misc]backup-simplify: Simplify 0 into 0 1554302391.516 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.516 * [misc]backup-simplify: Simplify 0 into 0 1554302391.516 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.516 * [misc]backup-simplify: Simplify 0 into 0 1554302391.517 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.517 * [misc]backup-simplify: Simplify 0 into 0 1554302391.517 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.517 * [misc]backup-simplify: Simplify 0 into 0 1554302391.517 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302391.517 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1554302391.517 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1554302391.517 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302391.517 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.517 * [misc]taylor: Taking taylor expansion of z in z 1554302391.517 * [misc]backup-simplify: Simplify 0 into 0 1554302391.517 * [misc]backup-simplify: Simplify 1 into 1 1554302391.517 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.517 * [misc]taylor: Taking taylor expansion of z in z 1554302391.517 * [misc]backup-simplify: Simplify 0 into 0 1554302391.517 * [misc]backup-simplify: Simplify 1 into 1 1554302391.518 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.518 * [misc]backup-simplify: Simplify 0 into 0 1554302391.518 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.518 * [misc]backup-simplify: Simplify -1 into -1 1554302391.518 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.518 * [misc]backup-simplify: Simplify 0 into 0 1554302391.518 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.518 * [misc]backup-simplify: Simplify 0 into 0 1554302391.518 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.518 * [misc]backup-simplify: Simplify 0 into 0 1554302391.518 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.518 * [misc]backup-simplify: Simplify 0 into 0 1554302391.518 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.518 * [misc]backup-simplify: Simplify 0 into 0 1554302391.518 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.518 * [misc]backup-simplify: Simplify 0 into 0 1554302391.518 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302391.519 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1554302391.519 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302391.519 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.519 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.519 * [misc]taylor: Taking taylor expansion of z in z 1554302391.519 * [misc]backup-simplify: Simplify 0 into 0 1554302391.519 * [misc]backup-simplify: Simplify 1 into 1 1554302391.519 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.519 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.519 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.519 * [misc]taylor: Taking taylor expansion of z in z 1554302391.519 * [misc]backup-simplify: Simplify 0 into 0 1554302391.519 * [misc]backup-simplify: Simplify 1 into 1 1554302391.519 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.519 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.519 * [misc]backup-simplify: Simplify -1 into -1 1554302391.519 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.519 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.519 * [misc]backup-simplify: Simplify 0 into 0 1554302391.520 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.520 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.520 * [misc]backup-simplify: Simplify 0 into 0 1554302391.520 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.520 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.520 * [misc]backup-simplify: Simplify 0 into 0 1554302391.520 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.520 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.520 * [misc]backup-simplify: Simplify 0 into 0 1554302391.521 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.521 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.521 * [misc]backup-simplify: Simplify 0 into 0 1554302391.522 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.522 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.522 * [misc]backup-simplify: Simplify 0 into 0 1554302391.522 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302391.522 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1554302391.522 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302391.522 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.522 * [misc]taylor: Taking taylor expansion of z in z 1554302391.522 * [misc]backup-simplify: Simplify 0 into 0 1554302391.523 * [misc]backup-simplify: Simplify 1 into 1 1554302391.523 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.523 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.523 * [misc]taylor: Taking taylor expansion of z in z 1554302391.523 * [misc]backup-simplify: Simplify 0 into 0 1554302391.523 * [misc]backup-simplify: Simplify 1 into 1 1554302391.523 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.523 * [misc]backup-simplify: Simplify 1 into 1 1554302391.523 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.523 * [misc]backup-simplify: Simplify 0 into 0 1554302391.524 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.524 * [misc]backup-simplify: Simplify 0 into 0 1554302391.524 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.524 * [misc]backup-simplify: Simplify 0 into 0 1554302391.525 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.525 * [misc]backup-simplify: Simplify 0 into 0 1554302391.525 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.525 * [misc]backup-simplify: Simplify 0 into 0 1554302391.526 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.526 * [misc]backup-simplify: Simplify 0 into 0 1554302391.526 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302391.526 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1554302391.526 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1554302391.526 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302391.526 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.526 * [misc]taylor: Taking taylor expansion of z in z 1554302391.526 * [misc]backup-simplify: Simplify 0 into 0 1554302391.526 * [misc]backup-simplify: Simplify 1 into 1 1554302391.526 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302391.526 * [misc]taylor: Taking taylor expansion of z in z 1554302391.526 * [misc]backup-simplify: Simplify 0 into 0 1554302391.526 * [misc]backup-simplify: Simplify 1 into 1 1554302391.526 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.526 * [misc]backup-simplify: Simplify 0 into 0 1554302391.527 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.527 * [misc]backup-simplify: Simplify -1 into -1 1554302391.527 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.527 * [misc]backup-simplify: Simplify 0 into 0 1554302391.527 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.527 * [misc]backup-simplify: Simplify 0 into 0 1554302391.527 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.527 * [misc]backup-simplify: Simplify 0 into 0 1554302391.527 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.527 * [misc]backup-simplify: Simplify 0 into 0 1554302391.528 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.528 * [misc]backup-simplify: Simplify 0 into 0 1554302391.528 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.528 * [misc]backup-simplify: Simplify 0 into 0 1554302391.528 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302391.528 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1554302391.528 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302391.528 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.528 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.528 * [misc]taylor: Taking taylor expansion of z in z 1554302391.528 * [misc]backup-simplify: Simplify 0 into 0 1554302391.528 * [misc]backup-simplify: Simplify 1 into 1 1554302391.528 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.528 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302391.528 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.528 * [misc]taylor: Taking taylor expansion of z in z 1554302391.528 * [misc]backup-simplify: Simplify 0 into 0 1554302391.529 * [misc]backup-simplify: Simplify 1 into 1 1554302391.529 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.529 * [misc]backup-simplify: Simplify (- 1) into -1 1554302391.529 * [misc]backup-simplify: Simplify -1 into -1 1554302391.529 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.529 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.529 * [misc]backup-simplify: Simplify 0 into 0 1554302391.530 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.530 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.530 * [misc]backup-simplify: Simplify 0 into 0 1554302391.530 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.530 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.530 * [misc]backup-simplify: Simplify 0 into 0 1554302391.531 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.531 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.531 * [misc]backup-simplify: Simplify 0 into 0 1554302391.531 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.532 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.532 * [misc]backup-simplify: Simplify 0 into 0 1554302391.532 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.532 * [misc]backup-simplify: Simplify (- 0) into 0 1554302391.532 * [misc]backup-simplify: Simplify 0 into 0 1554302391.533 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302391.533 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1554302391.533 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302391.533 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.533 * [misc]taylor: Taking taylor expansion of z in z 1554302391.533 * [misc]backup-simplify: Simplify 0 into 0 1554302391.533 * [misc]backup-simplify: Simplify 1 into 1 1554302391.533 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.533 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302391.533 * [misc]taylor: Taking taylor expansion of z in z 1554302391.533 * [misc]backup-simplify: Simplify 0 into 0 1554302391.533 * [misc]backup-simplify: Simplify 1 into 1 1554302391.533 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302391.533 * [misc]backup-simplify: Simplify 1 into 1 1554302391.534 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302391.534 * [misc]backup-simplify: Simplify 0 into 0 1554302391.534 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.534 * [misc]backup-simplify: Simplify 0 into 0 1554302391.534 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.534 * [misc]backup-simplify: Simplify 0 into 0 1554302391.535 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.535 * [misc]backup-simplify: Simplify 0 into 0 1554302391.535 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.535 * [misc]backup-simplify: Simplify 0 into 0 1554302391.536 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302391.536 * [misc]backup-simplify: Simplify 0 into 0 1554302391.536 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302391.536 * * * [misc]progress: simplifying candidates 1554302391.536 * * * * [misc]progress: [ 1 / 100 ] simplifiying candidate # 1554302391.536 * * * * [misc]progress: [ 2 / 100 ] simplifiying candidate # 1554302391.537 * * * * [misc]progress: [ 3 / 100 ] simplifiying candidate # 1554302391.537 * [enter]simplify: Simplifying (log (- 1 z)) 1554302391.537 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.540 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.545 * * [misc]simplify: iters left: 1 (22 enodes) 1554302391.551 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.551 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.552 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554302391.552 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1554302391.552 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1554302391.552 * [exit]simplify: Simplified to (log (- 1 z)) 1554302391.552 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (expm1 (log (- 1 z))) 8)))))) 1554302391.553 * * * * [misc]progress: [ 4 / 100 ] simplifiying candidate # 1554302391.553 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.553 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.556 * * [misc]simplify: iters left: 4 (19 enodes) 1554302391.563 * * [misc]simplify: iters left: 3 (24 enodes) 1554302391.570 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.570 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.570 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554302391.570 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554302391.570 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1554302391.570 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554302391.571 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.571 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 8)))))) 1554302391.571 * * * * [misc]progress: [ 5 / 100 ] simplifiying candidate # 1554302391.572 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1554302391.572 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.574 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.580 * * [misc]simplify: iters left: 1 (21 enodes) 1554302391.586 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.586 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.586 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554302391.586 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1554302391.586 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1554302391.587 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1554302391.587 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 8)))))) 1554302391.587 * * * * [misc]progress: [ 6 / 100 ] simplifiying candidate # 1554302391.587 * * * * [misc]progress: [ 7 / 100 ] simplifiying candidate # 1554302391.588 * * * * [misc]progress: [ 8 / 100 ] simplifiying candidate # 1554302391.588 * * * * [misc]progress: [ 9 / 100 ] simplifiying candidate # 1554302391.588 * * * * [misc]progress: [ 10 / 100 ] simplifiying candidate # 1554302391.588 * * * * [misc]progress: [ 11 / 100 ] simplifiying candidate # 1554302391.588 * * * * [misc]progress: [ 12 / 100 ] simplifiying candidate # 1554302391.588 * * * * [misc]progress: [ 13 / 100 ] simplifiying candidate # 1554302391.589 * * * * [misc]progress: [ 14 / 100 ] simplifiying candidate # 1554302391.589 * * * * [misc]progress: [ 15 / 100 ] simplifiying candidate # 1554302391.589 * * * * [misc]progress: [ 16 / 100 ] simplifiying candidate # 1554302391.589 * * * * [misc]progress: [ 17 / 100 ] simplifiying candidate # 1554302391.589 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1554302391.589 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.592 * * [misc]simplify: iters left: 4 (20 enodes) 1554302391.599 * * [misc]simplify: iters left: 3 (25 enodes) 1554302391.606 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.606 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.606 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554302391.606 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554302391.606 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1554302391.607 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1554302391.607 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1554302391.607 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 1554302391.608 * * * * [misc]progress: [ 18 / 100 ] simplifiying candidate # 1554302391.608 * * * * [misc]progress: [ 19 / 100 ] simplifiying candidate # 1554302391.608 * * * * [misc]progress: [ 20 / 100 ] simplifiying candidate # 1554302391.608 * * * * [misc]progress: [ 21 / 100 ] simplifiying candidate # 1554302391.608 * * * * [misc]progress: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1554302391.609 * * * * [misc]progress: [ 23 / 100 ] simplifiying candidate # 1554302391.609 * * * * [misc]progress: [ 24 / 100 ] simplifiying candidate # 1554302391.609 * * * * [misc]progress: [ 25 / 100 ] simplifiying candidate # 1554302391.609 * [enter]simplify: Simplifying (log (- 1 z)) 1554302391.609 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.612 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.619 * * [misc]simplify: iters left: 1 (22 enodes) 1554302391.626 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.626 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.626 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554302391.626 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1554302391.626 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1554302391.626 * [exit]simplify: Simplified to (log (- 1 z)) 1554302391.626 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (expm1 (log (- 1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.627 * * * * [misc]progress: [ 26 / 100 ] simplifiying candidate # 1554302391.627 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.627 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.631 * * [misc]simplify: iters left: 4 (19 enodes) 1554302391.637 * * [misc]simplify: iters left: 3 (24 enodes) 1554302391.644 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.644 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.644 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554302391.645 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554302391.645 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1554302391.645 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554302391.645 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.645 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.646 * * * * [misc]progress: [ 27 / 100 ] simplifiying candidate # 1554302391.646 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1554302391.646 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.649 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.654 * * [misc]simplify: iters left: 1 (21 enodes) 1554302391.660 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.660 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.660 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554302391.660 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1554302391.660 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1554302391.661 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1554302391.661 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.661 * * * * [misc]progress: [ 28 / 100 ] simplifiying candidate # 1554302391.662 * * * * [misc]progress: [ 29 / 100 ] simplifiying candidate # 1554302391.662 * * * * [misc]progress: [ 30 / 100 ] simplifiying candidate # 1554302391.662 * * * * [misc]progress: [ 31 / 100 ] simplifiying candidate # 1554302391.662 * * * * [misc]progress: [ 32 / 100 ] simplifiying candidate # 1554302391.662 * * * * [misc]progress: [ 33 / 100 ] simplifiying candidate # 1554302391.662 * * * * [misc]progress: [ 34 / 100 ] simplifiying candidate # 1554302391.663 * * * * [misc]progress: [ 35 / 100 ] simplifiying candidate # 1554302391.663 * * * * [misc]progress: [ 36 / 100 ] simplifiying candidate # 1554302391.663 * * * * [misc]progress: [ 37 / 100 ] simplifiying candidate # 1554302391.663 * * * * [misc]progress: [ 38 / 100 ] simplifiying candidate # 1554302391.663 * * * * [misc]progress: [ 39 / 100 ] simplifiying candidate # 1554302391.664 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1554302391.664 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.667 * * [misc]simplify: iters left: 4 (20 enodes) 1554302391.673 * * [misc]simplify: iters left: 3 (25 enodes) 1554302391.681 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.681 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.681 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554302391.681 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554302391.681 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1554302391.681 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1554302391.682 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1554302391.682 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.682 * * * * [misc]progress: [ 40 / 100 ] simplifiying candidate # 1554302391.683 * * * * [misc]progress: [ 41 / 100 ] simplifiying candidate # 1554302391.683 * * * * [misc]progress: [ 42 / 100 ] simplifiying candidate # 1554302391.683 * * * * [misc]progress: [ 43 / 100 ] simplifiying candidate # 1554302391.683 * * * * [misc]progress: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302391.683 * * * * [misc]progress: [ 45 / 100 ] simplifiying candidate # 1554302391.684 * * * * [misc]progress: [ 46 / 100 ] simplifiying candidate # 1554302391.684 * * * * [misc]progress: [ 47 / 100 ] simplifiying candidate # 1554302391.684 * [enter]simplify: Simplifying (log (- 1 z)) 1554302391.684 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.687 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.692 * * [misc]simplify: iters left: 1 (22 enodes) 1554302391.698 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.698 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.698 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554302391.698 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1554302391.698 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1554302391.699 * [exit]simplify: Simplified to (log (- 1 z)) 1554302391.699 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (expm1 (log (- 1 z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.699 * * * * [misc]progress: [ 48 / 100 ] simplifiying candidate # 1554302391.700 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.700 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.702 * * [misc]simplify: iters left: 4 (19 enodes) 1554302391.708 * * [misc]simplify: iters left: 3 (24 enodes) 1554302391.715 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.715 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.715 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554302391.715 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554302391.715 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1554302391.715 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554302391.716 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.716 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.716 * * * * [misc]progress: [ 49 / 100 ] simplifiying candidate # 1554302391.717 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1554302391.717 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.720 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.726 * * [misc]simplify: iters left: 1 (21 enodes) 1554302391.732 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.732 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.732 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554302391.732 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1554302391.732 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1554302391.732 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1554302391.732 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.733 * * * * [misc]progress: [ 50 / 100 ] simplifiying candidate # 1554302391.733 * * * * [misc]progress: [ 51 / 100 ] simplifiying candidate # 1554302391.734 * * * * [misc]progress: [ 52 / 100 ] simplifiying candidate # 1554302391.734 * * * * [misc]progress: [ 53 / 100 ] simplifiying candidate # 1554302391.734 * * * * [misc]progress: [ 54 / 100 ] simplifiying candidate # 1554302391.734 * * * * [misc]progress: [ 55 / 100 ] simplifiying candidate # 1554302391.734 * * * * [misc]progress: [ 56 / 100 ] simplifiying candidate # 1554302391.734 * * * * [misc]progress: [ 57 / 100 ] simplifiying candidate # 1554302391.735 * * * * [misc]progress: [ 58 / 100 ] simplifiying candidate # 1554302391.735 * * * * [misc]progress: [ 59 / 100 ] simplifiying candidate # 1554302391.735 * * * * [misc]progress: [ 60 / 100 ] simplifiying candidate # 1554302391.735 * * * * [misc]progress: [ 61 / 100 ] simplifiying candidate # 1554302391.735 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1554302391.735 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.738 * * [misc]simplify: iters left: 4 (20 enodes) 1554302391.745 * * [misc]simplify: iters left: 3 (25 enodes) 1554302391.752 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.752 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.752 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554302391.752 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554302391.753 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1554302391.753 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1554302391.753 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1554302391.753 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.754 * * * * [misc]progress: [ 62 / 100 ] simplifiying candidate # 1554302391.754 * * * * [misc]progress: [ 63 / 100 ] simplifiying candidate # 1554302391.754 * * * * [misc]progress: [ 64 / 100 ] simplifiying candidate # 1554302391.754 * * * * [misc]progress: [ 65 / 100 ] simplifiying candidate # 1554302391.754 * * * * [misc]progress: [ 66 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302391.755 * * * * [misc]progress: [ 67 / 100 ] simplifiying candidate # 1554302391.755 * * * * [misc]progress: [ 68 / 100 ] simplifiying candidate # 1554302391.755 * * * * [misc]progress: [ 69 / 100 ] simplifiying candidate # 1554302391.755 * [enter]simplify: Simplifying (log (- 1 z)) 1554302391.755 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.758 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.763 * * [misc]simplify: iters left: 1 (22 enodes) 1554302391.769 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.769 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.769 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554302391.769 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1554302391.770 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1554302391.770 * [exit]simplify: Simplified to (log (- 1 z)) 1554302391.770 * [misc]simplify: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (expm1 (log (- 1 z))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.771 * * * * [misc]progress: [ 70 / 100 ] simplifiying candidate # 1554302391.771 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.771 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.774 * * [misc]simplify: iters left: 4 (19 enodes) 1554302391.780 * * [misc]simplify: iters left: 3 (24 enodes) 1554302391.789 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.789 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.789 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554302391.790 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554302391.790 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1554302391.790 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554302391.790 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302391.790 * [misc]simplify: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.791 * * * * [misc]progress: [ 71 / 100 ] simplifiying candidate # 1554302391.791 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1554302391.791 * * [misc]simplify: iters left: 3 (4 enodes) 1554302391.794 * * [misc]simplify: iters left: 2 (16 enodes) 1554302391.799 * * [misc]simplify: iters left: 1 (21 enodes) 1554302391.805 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.805 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302391.805 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554302391.805 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1554302391.806 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1554302391.806 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1554302391.806 * [misc]simplify: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.807 * * * * [misc]progress: [ 72 / 100 ] simplifiying candidate # 1554302391.807 * * * * [misc]progress: [ 73 / 100 ] simplifiying candidate # 1554302391.807 * * * * [misc]progress: [ 74 / 100 ] simplifiying candidate # 1554302391.807 * * * * [misc]progress: [ 75 / 100 ] simplifiying candidate # 1554302391.807 * * * * [misc]progress: [ 76 / 100 ] simplifiying candidate # 1554302391.807 * * * * [misc]progress: [ 77 / 100 ] simplifiying candidate # 1554302391.808 * * * * [misc]progress: [ 78 / 100 ] simplifiying candidate # 1554302391.808 * * * * [misc]progress: [ 79 / 100 ] simplifiying candidate # 1554302391.808 * * * * [misc]progress: [ 80 / 100 ] simplifiying candidate # 1554302391.808 * * * * [misc]progress: [ 81 / 100 ] simplifiying candidate # 1554302391.808 * * * * [misc]progress: [ 82 / 100 ] simplifiying candidate # 1554302391.808 * * * * [misc]progress: [ 83 / 100 ] simplifiying candidate # 1554302391.809 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1554302391.809 * * [misc]simplify: iters left: 5 (5 enodes) 1554302391.812 * * [misc]simplify: iters left: 4 (20 enodes) 1554302391.818 * * [misc]simplify: iters left: 3 (25 enodes) 1554302391.825 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.825 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.825 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554302391.825 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554302391.825 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1554302391.826 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1554302391.826 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1554302391.826 * [misc]simplify: Simplified (2 2 2 1 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.827 * * * * [misc]progress: [ 84 / 100 ] simplifiying candidate # 1554302391.827 * * * * [misc]progress: [ 85 / 100 ] simplifiying candidate # 1554302391.827 * * * * [misc]progress: [ 86 / 100 ] simplifiying candidate # 1554302391.827 * * * * [misc]progress: [ 87 / 100 ] simplifiying candidate # 1554302391.827 * * * * [misc]progress: [ 88 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302391.828 * * * * [misc]progress: [ 89 / 100 ] simplifiying candidate # 1554302391.828 * [enter]simplify: Simplifying (* -1 z) 1554302391.828 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.830 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.833 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.833 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.833 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.833 * [exit]simplify: Simplified to (- z) 1554302391.833 * [misc]simplify: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1554302391.834 * * * * [misc]progress: [ 90 / 100 ] simplifiying candidate # 1554302391.835 * [enter]simplify: Simplifying (* -1 z) 1554302391.835 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.837 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.840 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.840 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.840 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.840 * [exit]simplify: Simplified to (- z) 1554302391.840 * [misc]simplify: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1554302391.841 * * * * [misc]progress: [ 91 / 100 ] simplifiying candidate # 1554302391.841 * [enter]simplify: Simplifying (* -1 z) 1554302391.841 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.843 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.846 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.846 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.846 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.846 * [exit]simplify: Simplified to (- z) 1554302391.846 * [misc]simplify: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1554302391.847 * * * * [misc]progress: [ 92 / 100 ] simplifiying candidate # 1554302391.847 * [enter]simplify: Simplifying (* -1 z) 1554302391.847 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.849 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.852 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.853 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.853 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.853 * [exit]simplify: Simplified to (- z) 1554302391.853 * [misc]simplify: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.853 * * * * [misc]progress: [ 93 / 100 ] simplifiying candidate # 1554302391.854 * [enter]simplify: Simplifying (* -1 z) 1554302391.854 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.856 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.859 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.859 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.859 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.859 * [exit]simplify: Simplified to (- z) 1554302391.859 * [misc]simplify: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.860 * * * * [misc]progress: [ 94 / 100 ] simplifiying candidate # 1554302391.861 * [enter]simplify: Simplifying (* -1 z) 1554302391.861 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.862 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.866 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.866 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.866 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.866 * [exit]simplify: Simplified to (- z) 1554302391.866 * [misc]simplify: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.867 * * * * [misc]progress: [ 95 / 100 ] simplifiying candidate # 1554302391.867 * [enter]simplify: Simplifying (* -1 z) 1554302391.867 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.869 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.871 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.871 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.871 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.871 * [exit]simplify: Simplified to (- z) 1554302391.871 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.871 * * * * [misc]progress: [ 96 / 100 ] simplifiying candidate # 1554302391.871 * [enter]simplify: Simplifying (* -1 z) 1554302391.871 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.872 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.874 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.874 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.874 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.874 * [exit]simplify: Simplified to (- z) 1554302391.874 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.875 * * * * [misc]progress: [ 97 / 100 ] simplifiying candidate # 1554302391.875 * [enter]simplify: Simplifying (* -1 z) 1554302391.875 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.876 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.878 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.878 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.878 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.878 * [exit]simplify: Simplified to (- z) 1554302391.878 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.878 * * * * [misc]progress: [ 98 / 100 ] simplifiying candidate # 1554302391.879 * [enter]simplify: Simplifying (* -1 z) 1554302391.879 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.880 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.881 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.881 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.881 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.882 * [exit]simplify: Simplified to (- z) 1554302391.882 * [misc]simplify: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.882 * * * * [misc]progress: [ 99 / 100 ] simplifiying candidate # 1554302391.882 * [enter]simplify: Simplifying (* -1 z) 1554302391.882 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.883 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.885 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.885 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.885 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.885 * [exit]simplify: Simplified to (- z) 1554302391.885 * [misc]simplify: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.886 * * * * [misc]progress: [ 100 / 100 ] simplifiying candidate # 1554302391.886 * [enter]simplify: Simplifying (* -1 z) 1554302391.886 * * [misc]simplify: iters left: 2 (3 enodes) 1554302391.887 * * [misc]simplify: iters left: 1 (11 enodes) 1554302391.889 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302391.889 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302391.889 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302391.889 * [exit]simplify: Simplified to (- z) 1554302391.889 * [misc]simplify: Simplified (2 2 2 1 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- z) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302391.889 * * * [misc]progress: adding candidates to table 1554302396.237 * * [misc]progress: iteration 2 / 4 1554302396.237 * * * [misc]progress: picking best candidate 1554302396.256 * * * * [misc]pick: Picked #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.256 * * * [misc]progress: localizing error 1554302396.333 * * * [misc]progress: generating rewritten candidates 1554302396.333 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 1 2 2 1) 1554302396.333 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2 2 1) 1554302396.342 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1 1 1) 1554302396.350 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1554302396.359 * * * [misc]progress: generating series expansions 1554302396.359 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 1 2 2 1) 1554302396.359 * [misc]backup-simplify: Simplify (posit16->real (real->posit16 (- (- 1 z) 1))) into (- z) 1554302396.359 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302396.359 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.359 * [misc]taylor: Taking taylor expansion of z in z 1554302396.359 * [misc]backup-simplify: Simplify 0 into 0 1554302396.359 * [misc]backup-simplify: Simplify 1 into 1 1554302396.359 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.359 * [misc]taylor: Taking taylor expansion of z in z 1554302396.359 * [misc]backup-simplify: Simplify 0 into 0 1554302396.359 * [misc]backup-simplify: Simplify 1 into 1 1554302396.360 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.360 * [misc]backup-simplify: Simplify 0 into 0 1554302396.360 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.360 * [misc]backup-simplify: Simplify -1 into -1 1554302396.360 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.360 * [misc]backup-simplify: Simplify 0 into 0 1554302396.361 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.361 * [misc]backup-simplify: Simplify 0 into 0 1554302396.361 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.361 * [misc]backup-simplify: Simplify 0 into 0 1554302396.361 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.361 * [misc]backup-simplify: Simplify 0 into 0 1554302396.361 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.361 * [misc]backup-simplify: Simplify 0 into 0 1554302396.361 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.361 * [misc]backup-simplify: Simplify 0 into 0 1554302396.361 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302396.362 * [misc]backup-simplify: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 z)) 1))) into (- (/ 1 z)) 1554302396.362 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302396.362 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.362 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.362 * [misc]taylor: Taking taylor expansion of z in z 1554302396.362 * [misc]backup-simplify: Simplify 0 into 0 1554302396.362 * [misc]backup-simplify: Simplify 1 into 1 1554302396.362 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.362 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.362 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.362 * [misc]taylor: Taking taylor expansion of z in z 1554302396.362 * [misc]backup-simplify: Simplify 0 into 0 1554302396.362 * [misc]backup-simplify: Simplify 1 into 1 1554302396.362 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.362 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.362 * [misc]backup-simplify: Simplify -1 into -1 1554302396.363 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.363 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.363 * [misc]backup-simplify: Simplify 0 into 0 1554302396.363 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.364 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.364 * [misc]backup-simplify: Simplify 0 into 0 1554302396.364 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.364 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.364 * [misc]backup-simplify: Simplify 0 into 0 1554302396.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.365 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.365 * [misc]backup-simplify: Simplify 0 into 0 1554302396.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.365 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.365 * [misc]backup-simplify: Simplify 0 into 0 1554302396.366 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.366 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.366 * [misc]backup-simplify: Simplify 0 into 0 1554302396.366 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302396.367 * [misc]backup-simplify: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 (- z))) 1))) into (/ 1 z) 1554302396.367 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302396.367 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.367 * [misc]taylor: Taking taylor expansion of z in z 1554302396.367 * [misc]backup-simplify: Simplify 0 into 0 1554302396.367 * [misc]backup-simplify: Simplify 1 into 1 1554302396.367 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.367 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.367 * [misc]taylor: Taking taylor expansion of z in z 1554302396.367 * [misc]backup-simplify: Simplify 0 into 0 1554302396.367 * [misc]backup-simplify: Simplify 1 into 1 1554302396.367 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.367 * [misc]backup-simplify: Simplify 1 into 1 1554302396.367 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.367 * [misc]backup-simplify: Simplify 0 into 0 1554302396.368 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.368 * [misc]backup-simplify: Simplify 0 into 0 1554302396.368 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.368 * [misc]backup-simplify: Simplify 0 into 0 1554302396.369 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.369 * [misc]backup-simplify: Simplify 0 into 0 1554302396.369 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.369 * [misc]backup-simplify: Simplify 0 into 0 1554302396.369 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.369 * [misc]backup-simplify: Simplify 0 into 0 1554302396.369 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302396.369 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2 2 1) 1554302396.370 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1554302396.370 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302396.370 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.370 * [misc]taylor: Taking taylor expansion of z in z 1554302396.370 * [misc]backup-simplify: Simplify 0 into 0 1554302396.370 * [misc]backup-simplify: Simplify 1 into 1 1554302396.370 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.370 * [misc]taylor: Taking taylor expansion of z in z 1554302396.370 * [misc]backup-simplify: Simplify 0 into 0 1554302396.370 * [misc]backup-simplify: Simplify 1 into 1 1554302396.370 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.370 * [misc]backup-simplify: Simplify 0 into 0 1554302396.370 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.370 * [misc]backup-simplify: Simplify -1 into -1 1554302396.370 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.370 * [misc]backup-simplify: Simplify 0 into 0 1554302396.370 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.370 * [misc]backup-simplify: Simplify 0 into 0 1554302396.370 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.370 * [misc]backup-simplify: Simplify 0 into 0 1554302396.370 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.371 * [misc]backup-simplify: Simplify 0 into 0 1554302396.371 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.371 * [misc]backup-simplify: Simplify 0 into 0 1554302396.371 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.371 * [misc]backup-simplify: Simplify 0 into 0 1554302396.371 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302396.371 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1554302396.371 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302396.371 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.371 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.371 * [misc]taylor: Taking taylor expansion of z in z 1554302396.371 * [misc]backup-simplify: Simplify 0 into 0 1554302396.371 * [misc]backup-simplify: Simplify 1 into 1 1554302396.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.371 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.371 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.371 * [misc]taylor: Taking taylor expansion of z in z 1554302396.371 * [misc]backup-simplify: Simplify 0 into 0 1554302396.371 * [misc]backup-simplify: Simplify 1 into 1 1554302396.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.371 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.371 * [misc]backup-simplify: Simplify -1 into -1 1554302396.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.372 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.372 * [misc]backup-simplify: Simplify 0 into 0 1554302396.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.372 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.372 * [misc]backup-simplify: Simplify 0 into 0 1554302396.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.372 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.372 * [misc]backup-simplify: Simplify 0 into 0 1554302396.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.373 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.373 * [misc]backup-simplify: Simplify 0 into 0 1554302396.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.373 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.373 * [misc]backup-simplify: Simplify 0 into 0 1554302396.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.374 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.374 * [misc]backup-simplify: Simplify 0 into 0 1554302396.374 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302396.374 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1554302396.374 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302396.374 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.374 * [misc]taylor: Taking taylor expansion of z in z 1554302396.374 * [misc]backup-simplify: Simplify 0 into 0 1554302396.374 * [misc]backup-simplify: Simplify 1 into 1 1554302396.374 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.374 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.374 * [misc]taylor: Taking taylor expansion of z in z 1554302396.374 * [misc]backup-simplify: Simplify 0 into 0 1554302396.374 * [misc]backup-simplify: Simplify 1 into 1 1554302396.374 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.374 * [misc]backup-simplify: Simplify 1 into 1 1554302396.374 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.374 * [misc]backup-simplify: Simplify 0 into 0 1554302396.375 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.375 * [misc]backup-simplify: Simplify 0 into 0 1554302396.375 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.375 * [misc]backup-simplify: Simplify 0 into 0 1554302396.375 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.375 * [misc]backup-simplify: Simplify 0 into 0 1554302396.375 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.376 * [misc]backup-simplify: Simplify 0 into 0 1554302396.376 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.376 * [misc]backup-simplify: Simplify 0 into 0 1554302396.376 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302396.376 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1 1 1) 1554302396.376 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1554302396.376 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302396.376 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.376 * [misc]taylor: Taking taylor expansion of z in z 1554302396.376 * [misc]backup-simplify: Simplify 0 into 0 1554302396.376 * [misc]backup-simplify: Simplify 1 into 1 1554302396.376 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.376 * [misc]taylor: Taking taylor expansion of z in z 1554302396.376 * [misc]backup-simplify: Simplify 0 into 0 1554302396.376 * [misc]backup-simplify: Simplify 1 into 1 1554302396.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.377 * [misc]backup-simplify: Simplify 0 into 0 1554302396.377 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.377 * [misc]backup-simplify: Simplify -1 into -1 1554302396.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.377 * [misc]backup-simplify: Simplify 0 into 0 1554302396.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.377 * [misc]backup-simplify: Simplify 0 into 0 1554302396.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.377 * [misc]backup-simplify: Simplify 0 into 0 1554302396.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.377 * [misc]backup-simplify: Simplify 0 into 0 1554302396.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.377 * [misc]backup-simplify: Simplify 0 into 0 1554302396.377 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.377 * [misc]backup-simplify: Simplify 0 into 0 1554302396.377 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302396.378 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1554302396.378 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302396.378 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.378 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.378 * [misc]taylor: Taking taylor expansion of z in z 1554302396.378 * [misc]backup-simplify: Simplify 0 into 0 1554302396.378 * [misc]backup-simplify: Simplify 1 into 1 1554302396.378 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.378 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.378 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.378 * [misc]taylor: Taking taylor expansion of z in z 1554302396.378 * [misc]backup-simplify: Simplify 0 into 0 1554302396.378 * [misc]backup-simplify: Simplify 1 into 1 1554302396.378 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.378 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.378 * [misc]backup-simplify: Simplify -1 into -1 1554302396.378 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.378 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.378 * [misc]backup-simplify: Simplify 0 into 0 1554302396.379 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.379 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.379 * [misc]backup-simplify: Simplify 0 into 0 1554302396.379 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.379 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.379 * [misc]backup-simplify: Simplify 0 into 0 1554302396.379 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.379 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.379 * [misc]backup-simplify: Simplify 0 into 0 1554302396.380 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.380 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.380 * [misc]backup-simplify: Simplify 0 into 0 1554302396.380 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.380 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.380 * [misc]backup-simplify: Simplify 0 into 0 1554302396.380 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302396.380 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1554302396.380 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302396.380 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.380 * [misc]taylor: Taking taylor expansion of z in z 1554302396.381 * [misc]backup-simplify: Simplify 0 into 0 1554302396.381 * [misc]backup-simplify: Simplify 1 into 1 1554302396.381 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.381 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.381 * [misc]taylor: Taking taylor expansion of z in z 1554302396.381 * [misc]backup-simplify: Simplify 0 into 0 1554302396.381 * [misc]backup-simplify: Simplify 1 into 1 1554302396.381 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.381 * [misc]backup-simplify: Simplify 1 into 1 1554302396.381 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.381 * [misc]backup-simplify: Simplify 0 into 0 1554302396.381 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.381 * [misc]backup-simplify: Simplify 0 into 0 1554302396.381 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.381 * [misc]backup-simplify: Simplify 0 into 0 1554302396.382 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.382 * [misc]backup-simplify: Simplify 0 into 0 1554302396.382 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.382 * [misc]backup-simplify: Simplify 0 into 0 1554302396.382 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.382 * [misc]backup-simplify: Simplify 0 into 0 1554302396.383 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302396.383 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1554302396.383 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1554302396.383 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1554302396.383 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.383 * [misc]taylor: Taking taylor expansion of z in z 1554302396.383 * [misc]backup-simplify: Simplify 0 into 0 1554302396.383 * [misc]backup-simplify: Simplify 1 into 1 1554302396.383 * [misc]taylor: Taking taylor expansion of (- z) in z 1554302396.383 * [misc]taylor: Taking taylor expansion of z in z 1554302396.383 * [misc]backup-simplify: Simplify 0 into 0 1554302396.383 * [misc]backup-simplify: Simplify 1 into 1 1554302396.383 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.383 * [misc]backup-simplify: Simplify 0 into 0 1554302396.383 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.383 * [misc]backup-simplify: Simplify -1 into -1 1554302396.383 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.383 * [misc]backup-simplify: Simplify 0 into 0 1554302396.383 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.383 * [misc]backup-simplify: Simplify 0 into 0 1554302396.383 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.383 * [misc]backup-simplify: Simplify 0 into 0 1554302396.384 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.384 * [misc]backup-simplify: Simplify 0 into 0 1554302396.384 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.384 * [misc]backup-simplify: Simplify 0 into 0 1554302396.384 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.384 * [misc]backup-simplify: Simplify 0 into 0 1554302396.384 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1554302396.384 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1554302396.384 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1554302396.384 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.384 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.384 * [misc]taylor: Taking taylor expansion of z in z 1554302396.384 * [misc]backup-simplify: Simplify 0 into 0 1554302396.384 * [misc]backup-simplify: Simplify 1 into 1 1554302396.384 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.384 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1554302396.384 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.384 * [misc]taylor: Taking taylor expansion of z in z 1554302396.384 * [misc]backup-simplify: Simplify 0 into 0 1554302396.384 * [misc]backup-simplify: Simplify 1 into 1 1554302396.384 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.384 * [misc]backup-simplify: Simplify (- 1) into -1 1554302396.384 * [misc]backup-simplify: Simplify -1 into -1 1554302396.385 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.385 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.385 * [misc]backup-simplify: Simplify 0 into 0 1554302396.385 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.385 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.385 * [misc]backup-simplify: Simplify 0 into 0 1554302396.385 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.385 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.385 * [misc]backup-simplify: Simplify 0 into 0 1554302396.386 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.386 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.386 * [misc]backup-simplify: Simplify 0 into 0 1554302396.386 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.386 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.386 * [misc]backup-simplify: Simplify 0 into 0 1554302396.387 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.387 * [misc]backup-simplify: Simplify (- 0) into 0 1554302396.387 * [misc]backup-simplify: Simplify 0 into 0 1554302396.387 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1554302396.387 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1554302396.387 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1554302396.387 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.387 * [misc]taylor: Taking taylor expansion of z in z 1554302396.387 * [misc]backup-simplify: Simplify 0 into 0 1554302396.387 * [misc]backup-simplify: Simplify 1 into 1 1554302396.387 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.387 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1554302396.387 * [misc]taylor: Taking taylor expansion of z in z 1554302396.387 * [misc]backup-simplify: Simplify 0 into 0 1554302396.387 * [misc]backup-simplify: Simplify 1 into 1 1554302396.387 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1554302396.387 * [misc]backup-simplify: Simplify 1 into 1 1554302396.387 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1554302396.387 * [misc]backup-simplify: Simplify 0 into 0 1554302396.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.388 * [misc]backup-simplify: Simplify 0 into 0 1554302396.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.388 * [misc]backup-simplify: Simplify 0 into 0 1554302396.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.388 * [misc]backup-simplify: Simplify 0 into 0 1554302396.388 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.388 * [misc]backup-simplify: Simplify 0 into 0 1554302396.389 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1554302396.389 * [misc]backup-simplify: Simplify 0 into 0 1554302396.389 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1554302396.389 * * * [misc]progress: simplifying candidates 1554302396.389 * * * * [misc]progress: [ 1 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.389 * * * * [misc]progress: [ 2 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.389 * * * * [misc]progress: [ 3 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.389 * * * * [misc]progress: [ 4 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.389 * * * * [misc]progress: [ 5 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.389 * * * * [misc]progress: [ 6 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.390 * * * * [misc]progress: [ 7 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.390 * * * * [misc]progress: [ 8 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.390 * * * * [misc]progress: [ 9 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.390 * * * * [misc]progress: [ 10 / 89 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.390 * * * * [misc]progress: [ 11 / 89 ] simplifiying candidate # 1554302396.390 * [enter]simplify: Simplifying (- 1 z) 1554302396.390 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.391 * * [misc]simplify: iters left: 1 (13 enodes) 1554302396.394 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.394 * * [misc]simplify: Extracting #1: cost 5 inf + 0 1554302396.394 * * [misc]simplify: Extracting #2: cost 3 inf + 43 1554302396.394 * * [misc]simplify: Extracting #3: cost 0 inf + 168 1554302396.394 * [exit]simplify: Simplified to (- 1 z) 1554302396.394 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.395 * * * * [misc]progress: [ 12 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log1p (expm1 (- (- 1 z) 1))) 8))))))> 1554302396.395 * * * * [misc]progress: [ 13 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (expm1 (log1p (- (- 1 z) 1))) 8))))))> 1554302396.395 * * * * [misc]progress: [ 14 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (expm1 (log (- 1 z))) 8))))))> 1554302396.395 * [enter]simplify: Simplifying (log (- 1 z)) 1554302396.395 * * [misc]simplify: iters left: 3 (4 enodes) 1554302396.397 * * [misc]simplify: iters left: 2 (16 enodes) 1554302396.400 * * [misc]simplify: iters left: 1 (22 enodes) 1554302396.405 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.405 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.405 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554302396.405 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1554302396.405 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1554302396.405 * [exit]simplify: Simplified to (log (- 1 z)) 1554302396.406 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (expm1 (log (- 1 z))) 8)))))) 1554302396.406 * * * * [misc]progress: [ 15 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 8))))))> 1554302396.407 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302396.407 * * [misc]simplify: iters left: 5 (5 enodes) 1554302396.410 * * [misc]simplify: iters left: 4 (19 enodes) 1554302396.416 * * [misc]simplify: iters left: 3 (24 enodes) 1554302396.427 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.427 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302396.427 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554302396.427 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554302396.427 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1554302396.428 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554302396.428 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302396.428 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 8)))))) 1554302396.429 * * * * [misc]progress: [ 16 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 8))))))> 1554302396.429 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1554302396.429 * * [misc]simplify: iters left: 3 (4 enodes) 1554302396.432 * * [misc]simplify: iters left: 2 (16 enodes) 1554302396.437 * * [misc]simplify: iters left: 1 (21 enodes) 1554302396.444 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.444 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302396.444 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554302396.444 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1554302396.444 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1554302396.444 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1554302396.444 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 8)))))) 1554302396.445 * * * * [misc]progress: [ 17 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (fma 1 (- 1 z) (- 1)) 8))))))> 1554302396.445 * * * * [misc]progress: [ 18 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (pow (- (- 1 z) 1) 1) 8))))))> 1554302396.445 * * * * [misc]progress: [ 19 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (exp (log (- (- 1 z) 1))) 8))))))> 1554302396.445 * * * * [misc]progress: [ 20 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (log (exp (- (- 1 z) 1))) 8))))))> 1554302396.446 * * * * [misc]progress: [ 21 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))) 8))))))> 1554302396.446 * * * * [misc]progress: [ 22 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))) 8))))))> 1554302396.446 * * * * [misc]progress: [ 23 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))) 8))))))> 1554302396.446 * * * * [misc]progress: [ 24 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))) 8))))))> 1554302396.446 * * * * [misc]progress: [ 25 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ (- 1 z) (- 1)) 8))))))> 1554302396.446 * * * * [misc]progress: [ 26 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* 1 (- (- 1 z) 1)) 8))))))> 1554302396.447 * * * * [misc]progress: [ 27 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)) 8))))))> 1554302396.447 * * * * [misc]progress: [ 28 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8))))))> 1554302396.447 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1554302396.447 * * [misc]simplify: iters left: 5 (5 enodes) 1554302396.450 * * [misc]simplify: iters left: 4 (20 enodes) 1554302396.457 * * [misc]simplify: iters left: 3 (25 enodes) 1554302396.461 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.461 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.461 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554302396.461 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554302396.461 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1554302396.461 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1554302396.462 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1554302396.462 * [misc]simplify: Simplified (2 2 2 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 8)))))) 1554302396.462 * * * * [misc]progress: [ 29 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ 1 (- (- z) 1)) 8))))))> 1554302396.462 * * * * [misc]progress: [ 30 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ 1 (- (- z) 1)) 8))))))> 1554302396.463 * * * * [misc]progress: [ 31 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- 1 (+ z 1)) 8))))))> 1554302396.463 * * * * [misc]progress: [ 32 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (+ (- 1 z) (- 1)) 8))))))> 1554302396.463 * * * * [misc]progress: [ 33 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 1554302396.463 * * * * [misc]progress: [ 34 / 89 ] simplifiying candidate #real (real->posit16 (log1p (expm1 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.463 * * * * [misc]progress: [ 35 / 89 ] simplifiying candidate #real (real->posit16 (expm1 (log1p (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.463 * * * * [misc]progress: [ 36 / 89 ] simplifiying candidate #real (real->posit16 (expm1 (log (- 1 z))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.463 * [enter]simplify: Simplifying (log (- 1 z)) 1554302396.463 * * [misc]simplify: iters left: 3 (4 enodes) 1554302396.465 * * [misc]simplify: iters left: 2 (16 enodes) 1554302396.468 * * [misc]simplify: iters left: 1 (22 enodes) 1554302396.472 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.472 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.472 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554302396.472 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1554302396.472 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1554302396.472 * [exit]simplify: Simplified to (log (- 1 z)) 1554302396.472 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (expm1 (log (- 1 z))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.473 * * * * [misc]progress: [ 37 / 89 ] simplifiying candidate #real (real->posit16 (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.473 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302396.473 * * [misc]simplify: iters left: 5 (5 enodes) 1554302396.475 * * [misc]simplify: iters left: 4 (19 enodes) 1554302396.478 * * [misc]simplify: iters left: 3 (24 enodes) 1554302396.482 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.482 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302396.482 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554302396.482 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554302396.482 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1554302396.482 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554302396.482 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302396.482 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.483 * * * * [misc]progress: [ 38 / 89 ] simplifiying candidate #real (real->posit16 (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.483 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1554302396.483 * * [misc]simplify: iters left: 3 (4 enodes) 1554302396.484 * * [misc]simplify: iters left: 2 (16 enodes) 1554302396.488 * * [misc]simplify: iters left: 1 (21 enodes) 1554302396.491 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.491 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302396.491 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554302396.491 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1554302396.491 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1554302396.491 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1554302396.491 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.492 * * * * [misc]progress: [ 39 / 89 ] simplifiying candidate #real (real->posit16 (fma 1 (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.492 * * * * [misc]progress: [ 40 / 89 ] simplifiying candidate #real (real->posit16 (pow (- (- 1 z) 1) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.492 * * * * [misc]progress: [ 41 / 89 ] simplifiying candidate #real (real->posit16 (exp (log (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.492 * * * * [misc]progress: [ 42 / 89 ] simplifiying candidate #real (real->posit16 (log (exp (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.492 * * * * [misc]progress: [ 43 / 89 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.492 * * * * [misc]progress: [ 44 / 89 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.492 * * * * [misc]progress: [ 45 / 89 ] simplifiying candidate #real (real->posit16 (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.492 * * * * [misc]progress: [ 46 / 89 ] simplifiying candidate #real (real->posit16 (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.493 * * * * [misc]progress: [ 47 / 89 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.493 * * * * [misc]progress: [ 48 / 89 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.493 * * * * [misc]progress: [ 49 / 89 ] simplifiying candidate #real (real->posit16 (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.493 * * * * [misc]progress: [ 50 / 89 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.493 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1554302396.493 * * [misc]simplify: iters left: 5 (5 enodes) 1554302396.496 * * [misc]simplify: iters left: 4 (20 enodes) 1554302396.503 * * [misc]simplify: iters left: 3 (25 enodes) 1554302396.509 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.510 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.510 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554302396.510 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554302396.510 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1554302396.510 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1554302396.510 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1554302396.510 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.510 * * * * [misc]progress: [ 51 / 89 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * * * * [misc]progress: [ 52 / 89 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * * * * [misc]progress: [ 53 / 89 ] simplifiying candidate #real (real->posit16 (- 1 (+ z 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * * * * [misc]progress: [ 54 / 89 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * * * * [misc]progress: [ 55 / 89 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * * * * [misc]progress: [ 56 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * * * * [misc]progress: [ 57 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * * * * [misc]progress: [ 58 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.511 * [enter]simplify: Simplifying (log (- 1 z)) 1554302396.511 * * [misc]simplify: iters left: 3 (4 enodes) 1554302396.513 * * [misc]simplify: iters left: 2 (16 enodes) 1554302396.516 * * [misc]simplify: iters left: 1 (22 enodes) 1554302396.519 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.519 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.519 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1554302396.519 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1554302396.519 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1554302396.520 * [exit]simplify: Simplified to (log (- 1 z)) 1554302396.520 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (expm1 (log (- 1 z))) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.520 * * * * [misc]progress: [ 59 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.520 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302396.520 * * [misc]simplify: iters left: 5 (5 enodes) 1554302396.522 * * [misc]simplify: iters left: 4 (19 enodes) 1554302396.525 * * [misc]simplify: iters left: 3 (24 enodes) 1554302396.529 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.529 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302396.529 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1554302396.529 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1554302396.529 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1554302396.530 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1554302396.530 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1554302396.530 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (fma (* (cbrt (- 1 z)) (cbrt (- 1 z))) (cbrt (- 1 z)) (- 1)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.530 * * * * [misc]progress: [ 60 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.530 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1554302396.530 * * [misc]simplify: iters left: 3 (4 enodes) 1554302396.532 * * [misc]simplify: iters left: 2 (16 enodes) 1554302396.535 * * [misc]simplify: iters left: 1 (21 enodes) 1554302396.540 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.541 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1554302396.541 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1554302396.541 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1554302396.541 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1554302396.541 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1554302396.541 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (fma (sqrt (- 1 z)) (sqrt (- 1 z)) (- 1)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.542 * * * * [misc]progress: [ 61 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.542 * * * * [misc]progress: [ 62 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.542 * * * * [misc]progress: [ 63 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.542 * * * * [misc]progress: [ 64 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.543 * * * * [misc]progress: [ 65 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.543 * * * * [misc]progress: [ 66 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.545 * * * * [misc]progress: [ 67 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.545 * * * * [misc]progress: [ 68 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.545 * * * * [misc]progress: [ 69 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.545 * * * * [misc]progress: [ 70 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.546 * * * * [misc]progress: [ 71 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.546 * * * * [misc]progress: [ 72 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.546 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1554302396.546 * * [misc]simplify: iters left: 5 (5 enodes) 1554302396.549 * * [misc]simplify: iters left: 4 (20 enodes) 1554302396.554 * * [misc]simplify: iters left: 3 (25 enodes) 1554302396.559 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.559 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.559 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1554302396.559 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1554302396.559 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1554302396.559 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1554302396.559 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1554302396.559 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.560 * * * * [misc]progress: [ 73 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.560 * * * * [misc]progress: [ 74 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.560 * * * * [misc]progress: [ 75 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.560 * * * * [misc]progress: [ 76 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.560 * * * * [misc]progress: [ 77 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.560 * * * * [misc]progress: [ 78 / 89 ] simplifiying candidate # 1554302396.561 * [enter]simplify: Simplifying (* -1 z) 1554302396.561 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.562 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.563 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.563 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.563 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.564 * [exit]simplify: Simplified to (- z) 1554302396.564 * [misc]simplify: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.564 * * * * [misc]progress: [ 79 / 89 ] simplifiying candidate # 1554302396.564 * [enter]simplify: Simplifying (* -1 z) 1554302396.564 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.565 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.567 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.567 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.567 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.567 * [exit]simplify: Simplified to (- z) 1554302396.567 * [misc]simplify: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.568 * * * * [misc]progress: [ 80 / 89 ] simplifiying candidate # 1554302396.568 * [enter]simplify: Simplifying (* -1 z) 1554302396.568 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.569 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.571 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.571 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.571 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.571 * [exit]simplify: Simplified to (- z) 1554302396.571 * [misc]simplify: Simplified (2 2 2 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- z) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.571 * * * * [misc]progress: [ 81 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 1554302396.572 * [enter]simplify: Simplifying (* -1 z) 1554302396.572 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.573 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.574 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.575 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.575 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.575 * [exit]simplify: Simplified to (- z) 1554302396.575 * [misc]simplify: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1554302396.575 * * * * [misc]progress: [ 82 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 1554302396.575 * [enter]simplify: Simplifying (* -1 z) 1554302396.575 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.576 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.578 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.578 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.578 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.578 * [exit]simplify: Simplified to (- z) 1554302396.578 * [misc]simplify: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1554302396.579 * * * * [misc]progress: [ 83 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (* -1 z) 8))))))> 1554302396.579 * [enter]simplify: Simplifying (* -1 z) 1554302396.579 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.580 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.582 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.582 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.582 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.582 * [exit]simplify: Simplified to (- z) 1554302396.582 * [misc]simplify: Simplified (2 2 2 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- z) 8)))))) 1554302396.582 * * * * [misc]progress: [ 84 / 89 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.583 * [enter]simplify: Simplifying (* -1 z) 1554302396.583 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.584 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.586 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.586 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.586 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.586 * [exit]simplify: Simplified to (- z) 1554302396.586 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.587 * * * * [misc]progress: [ 85 / 89 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.588 * [enter]simplify: Simplifying (* -1 z) 1554302396.588 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.590 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.593 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.593 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.593 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.593 * [exit]simplify: Simplified to (- z) 1554302396.594 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.594 * * * * [misc]progress: [ 86 / 89 ] simplifiying candidate #real (real->posit16 (* -1 z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.595 * [enter]simplify: Simplifying (* -1 z) 1554302396.595 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.597 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.599 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.599 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.599 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.599 * [exit]simplify: Simplified to (- z) 1554302396.599 * [misc]simplify: Simplified (2 2 2 1 2 2 1 1 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.599 * * * * [misc]progress: [ 87 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.600 * [enter]simplify: Simplifying (* -1 z) 1554302396.600 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.601 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.602 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.602 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.602 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.603 * [exit]simplify: Simplified to (- z) 1554302396.603 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.603 * * * * [misc]progress: [ 88 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.603 * [enter]simplify: Simplifying (* -1 z) 1554302396.603 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.604 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.606 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.606 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.606 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.606 * [exit]simplify: Simplified to (- z) 1554302396.606 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.607 * * * * [misc]progress: [ 89 / 89 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1554302396.607 * [enter]simplify: Simplifying (* -1 z) 1554302396.607 * * [misc]simplify: iters left: 2 (3 enodes) 1554302396.608 * * [misc]simplify: iters left: 1 (11 enodes) 1554302396.610 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1554302396.610 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1554302396.610 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1554302396.610 * [exit]simplify: Simplified to (- z) 1554302396.610 * [misc]simplify: Simplified (2 2 2 1 1 2 2 1) to (λ (z) (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- z) 6))) (/ 9.984369578019572e-06 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302396.610 * * * [misc]progress: adding candidates to table 1554302402.071 * [misc]progress: [Phase 3 of 3] Extracting. 1554302402.071 * * [misc]regime: Finding splitpoints for: (#real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> #) 1554302402.077 * * * [misc]regime-changes: Trying 2 branch expressions: (z (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1554302402.078 * * * * [misc]regimes: Trying to branch on z from (#real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> #) 1554302402.144 * * * * [misc]regimes: Trying to branch on (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))) from (#real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> #) 1554302402.261 * * * [misc]regime: Found split indices: #