1550840651.457 * [misc]progress: [Phase 1 of 3] Setting up. 1550840651.457 * * * [misc]progress: [1/2] Preparing points 1550840652.715 * * * [misc]progress: [2/2] Setting up program. 1550840652.739 * [misc]progress: [Phase 2 of 3] Improving. 1550840652.739 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1550840652.740 * [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))))) 1550840652.740 * * [misc]simplify: iters left: 6 (60 enodes) 1550840652.803 * * [misc]simplify: iters left: 5 (272 enodes) 1550840652.889 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840652.889 * * [misc]simplify: Extracting #1: cost 29 inf + 0 1550840652.890 * * [misc]simplify: Extracting #2: cost 93 inf + 1 1550840652.890 * * [misc]simplify: Extracting #3: cost 185 inf + 1 1550840652.892 * * [misc]simplify: Extracting #4: cost 261 inf + 293 1550840652.894 * * [misc]simplify: Extracting #5: cost 279 inf + 1288 1550840652.907 * * [misc]simplify: Extracting #6: cost 198 inf + 8604 1550840652.916 * * [misc]simplify: Extracting #7: cost 133 inf + 23229 1550840652.939 * * [misc]simplify: Extracting #8: cost 51 inf + 72215 1550840652.987 * * [misc]simplify: Extracting #9: cost 5 inf + 131257 1550840653.048 * * [misc]simplify: Extracting #10: cost 0 inf + 138788 1550840653.109 * [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)))))) 1550840653.109 * [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))))))) 1550840653.135 * * [misc]progress: iteration 1 / 4 1550840653.135 * * * [misc]progress: picking best candidate 1550840653.159 * * * * [misc]pick: Picked # 1550840653.159 * * * [misc]progress: localizing error 1550840653.320 * * * [misc]progress: generating rewritten candidates 1550840653.320 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1550840653.325 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1550840653.332 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1550840653.340 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1550840653.345 * * * [misc]progress: generating series expansions 1550840653.345 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1550840653.345 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1550840653.345 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1550840653.345 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.345 * [misc]taylor: Taking taylor expansion of z in z 1550840653.345 * [misc]backup-simplify: Simplify 0 into 0 1550840653.345 * [misc]backup-simplify: Simplify 1 into 1 1550840653.345 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.345 * [misc]taylor: Taking taylor expansion of z in z 1550840653.345 * [misc]backup-simplify: Simplify 0 into 0 1550840653.345 * [misc]backup-simplify: Simplify 1 into 1 1550840653.346 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.346 * [misc]backup-simplify: Simplify 0 into 0 1550840653.346 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.346 * [misc]backup-simplify: Simplify -1 into -1 1550840653.346 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.346 * [misc]backup-simplify: Simplify 0 into 0 1550840653.346 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.346 * [misc]backup-simplify: Simplify 0 into 0 1550840653.346 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.346 * [misc]backup-simplify: Simplify 0 into 0 1550840653.347 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.347 * [misc]backup-simplify: Simplify 0 into 0 1550840653.347 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.347 * [misc]backup-simplify: Simplify 0 into 0 1550840653.347 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.347 * [misc]backup-simplify: Simplify 0 into 0 1550840653.347 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1550840653.347 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1550840653.347 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1550840653.347 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.347 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.347 * [misc]taylor: Taking taylor expansion of z in z 1550840653.347 * [misc]backup-simplify: Simplify 0 into 0 1550840653.347 * [misc]backup-simplify: Simplify 1 into 1 1550840653.347 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.347 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.347 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.347 * [misc]taylor: Taking taylor expansion of z in z 1550840653.347 * [misc]backup-simplify: Simplify 0 into 0 1550840653.347 * [misc]backup-simplify: Simplify 1 into 1 1550840653.347 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.348 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.348 * [misc]backup-simplify: Simplify -1 into -1 1550840653.348 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.348 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.348 * [misc]backup-simplify: Simplify 0 into 0 1550840653.348 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.348 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.348 * [misc]backup-simplify: Simplify 0 into 0 1550840653.348 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.348 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.348 * [misc]backup-simplify: Simplify 0 into 0 1550840653.349 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.349 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.349 * [misc]backup-simplify: Simplify 0 into 0 1550840653.349 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.349 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.349 * [misc]backup-simplify: Simplify 0 into 0 1550840653.350 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.350 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.350 * [misc]backup-simplify: Simplify 0 into 0 1550840653.350 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1550840653.350 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1550840653.350 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1550840653.350 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.350 * [misc]taylor: Taking taylor expansion of z in z 1550840653.350 * [misc]backup-simplify: Simplify 0 into 0 1550840653.350 * [misc]backup-simplify: Simplify 1 into 1 1550840653.350 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.350 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.350 * [misc]taylor: Taking taylor expansion of z in z 1550840653.350 * [misc]backup-simplify: Simplify 0 into 0 1550840653.350 * [misc]backup-simplify: Simplify 1 into 1 1550840653.350 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.350 * [misc]backup-simplify: Simplify 1 into 1 1550840653.350 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.351 * [misc]backup-simplify: Simplify 0 into 0 1550840653.351 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.351 * [misc]backup-simplify: Simplify 0 into 0 1550840653.351 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.351 * [misc]backup-simplify: Simplify 0 into 0 1550840653.351 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.351 * [misc]backup-simplify: Simplify 0 into 0 1550840653.352 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.352 * [misc]backup-simplify: Simplify 0 into 0 1550840653.352 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.352 * [misc]backup-simplify: Simplify 0 into 0 1550840653.352 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1550840653.352 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1550840653.352 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1550840653.352 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1550840653.353 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.353 * [misc]taylor: Taking taylor expansion of z in z 1550840653.353 * [misc]backup-simplify: Simplify 0 into 0 1550840653.353 * [misc]backup-simplify: Simplify 1 into 1 1550840653.353 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.353 * [misc]taylor: Taking taylor expansion of z in z 1550840653.353 * [misc]backup-simplify: Simplify 0 into 0 1550840653.353 * [misc]backup-simplify: Simplify 1 into 1 1550840653.353 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.353 * [misc]backup-simplify: Simplify 0 into 0 1550840653.353 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.353 * [misc]backup-simplify: Simplify -1 into -1 1550840653.353 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.353 * [misc]backup-simplify: Simplify 0 into 0 1550840653.354 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.354 * [misc]backup-simplify: Simplify 0 into 0 1550840653.354 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.354 * [misc]backup-simplify: Simplify 0 into 0 1550840653.354 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.354 * [misc]backup-simplify: Simplify 0 into 0 1550840653.354 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.354 * [misc]backup-simplify: Simplify 0 into 0 1550840653.354 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.354 * [misc]backup-simplify: Simplify 0 into 0 1550840653.354 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1550840653.354 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1550840653.354 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1550840653.354 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.354 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.354 * [misc]taylor: Taking taylor expansion of z in z 1550840653.354 * [misc]backup-simplify: Simplify 0 into 0 1550840653.354 * [misc]backup-simplify: Simplify 1 into 1 1550840653.355 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.355 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.355 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.355 * [misc]taylor: Taking taylor expansion of z in z 1550840653.355 * [misc]backup-simplify: Simplify 0 into 0 1550840653.355 * [misc]backup-simplify: Simplify 1 into 1 1550840653.355 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.355 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.355 * [misc]backup-simplify: Simplify -1 into -1 1550840653.355 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.355 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.355 * [misc]backup-simplify: Simplify 0 into 0 1550840653.355 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.356 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.356 * [misc]backup-simplify: Simplify 0 into 0 1550840653.356 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.356 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.356 * [misc]backup-simplify: Simplify 0 into 0 1550840653.356 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.356 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.356 * [misc]backup-simplify: Simplify 0 into 0 1550840653.357 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.357 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.357 * [misc]backup-simplify: Simplify 0 into 0 1550840653.357 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.357 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.357 * [misc]backup-simplify: Simplify 0 into 0 1550840653.357 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1550840653.357 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1550840653.357 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1550840653.357 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.357 * [misc]taylor: Taking taylor expansion of z in z 1550840653.357 * [misc]backup-simplify: Simplify 0 into 0 1550840653.357 * [misc]backup-simplify: Simplify 1 into 1 1550840653.358 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.358 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.358 * [misc]taylor: Taking taylor expansion of z in z 1550840653.358 * [misc]backup-simplify: Simplify 0 into 0 1550840653.358 * [misc]backup-simplify: Simplify 1 into 1 1550840653.358 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.358 * [misc]backup-simplify: Simplify 1 into 1 1550840653.358 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.358 * [misc]backup-simplify: Simplify 0 into 0 1550840653.358 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.358 * [misc]backup-simplify: Simplify 0 into 0 1550840653.358 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.358 * [misc]backup-simplify: Simplify 0 into 0 1550840653.359 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.359 * [misc]backup-simplify: Simplify 0 into 0 1550840653.359 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.359 * [misc]backup-simplify: Simplify 0 into 0 1550840653.359 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.359 * [misc]backup-simplify: Simplify 0 into 0 1550840653.359 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1550840653.359 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1550840653.359 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1550840653.359 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1550840653.359 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.359 * [misc]taylor: Taking taylor expansion of z in z 1550840653.360 * [misc]backup-simplify: Simplify 0 into 0 1550840653.360 * [misc]backup-simplify: Simplify 1 into 1 1550840653.360 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.360 * [misc]taylor: Taking taylor expansion of z in z 1550840653.360 * [misc]backup-simplify: Simplify 0 into 0 1550840653.360 * [misc]backup-simplify: Simplify 1 into 1 1550840653.360 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.360 * [misc]backup-simplify: Simplify 0 into 0 1550840653.360 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.360 * [misc]backup-simplify: Simplify -1 into -1 1550840653.360 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.360 * [misc]backup-simplify: Simplify 0 into 0 1550840653.360 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.360 * [misc]backup-simplify: Simplify 0 into 0 1550840653.360 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.360 * [misc]backup-simplify: Simplify 0 into 0 1550840653.360 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.360 * [misc]backup-simplify: Simplify 0 into 0 1550840653.360 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.361 * [misc]backup-simplify: Simplify 0 into 0 1550840653.361 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.361 * [misc]backup-simplify: Simplify 0 into 0 1550840653.361 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1550840653.361 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1550840653.361 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1550840653.361 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.361 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.361 * [misc]taylor: Taking taylor expansion of z in z 1550840653.361 * [misc]backup-simplify: Simplify 0 into 0 1550840653.361 * [misc]backup-simplify: Simplify 1 into 1 1550840653.361 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.361 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.361 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.361 * [misc]taylor: Taking taylor expansion of z in z 1550840653.361 * [misc]backup-simplify: Simplify 0 into 0 1550840653.361 * [misc]backup-simplify: Simplify 1 into 1 1550840653.361 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.361 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.361 * [misc]backup-simplify: Simplify -1 into -1 1550840653.362 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.362 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.362 * [misc]backup-simplify: Simplify 0 into 0 1550840653.362 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.362 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.362 * [misc]backup-simplify: Simplify 0 into 0 1550840653.362 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.363 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.363 * [misc]backup-simplify: Simplify 0 into 0 1550840653.363 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.363 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.363 * [misc]backup-simplify: Simplify 0 into 0 1550840653.363 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.363 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.363 * [misc]backup-simplify: Simplify 0 into 0 1550840653.364 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.364 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.364 * [misc]backup-simplify: Simplify 0 into 0 1550840653.364 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1550840653.364 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1550840653.364 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1550840653.364 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.364 * [misc]taylor: Taking taylor expansion of z in z 1550840653.364 * [misc]backup-simplify: Simplify 0 into 0 1550840653.364 * [misc]backup-simplify: Simplify 1 into 1 1550840653.364 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.364 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.364 * [misc]taylor: Taking taylor expansion of z in z 1550840653.364 * [misc]backup-simplify: Simplify 0 into 0 1550840653.364 * [misc]backup-simplify: Simplify 1 into 1 1550840653.364 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.364 * [misc]backup-simplify: Simplify 1 into 1 1550840653.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.365 * [misc]backup-simplify: Simplify 0 into 0 1550840653.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.365 * [misc]backup-simplify: Simplify 0 into 0 1550840653.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.365 * [misc]backup-simplify: Simplify 0 into 0 1550840653.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.365 * [misc]backup-simplify: Simplify 0 into 0 1550840653.365 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.366 * [misc]backup-simplify: Simplify 0 into 0 1550840653.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 1550840653.366 * [misc]backup-simplify: Simplify 0 into 0 1550840653.366 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1550840653.366 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1550840653.366 * [misc]backup-simplify: Simplify (- (- 1 z) 1) into (- z) 1550840653.366 * [misc]approximate: Taking taylor expansion of (- z) in (z) around 0 1550840653.366 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.366 * [misc]taylor: Taking taylor expansion of z in z 1550840653.366 * [misc]backup-simplify: Simplify 0 into 0 1550840653.366 * [misc]backup-simplify: Simplify 1 into 1 1550840653.366 * [misc]taylor: Taking taylor expansion of (- z) in z 1550840653.366 * [misc]taylor: Taking taylor expansion of z in z 1550840653.366 * [misc]backup-simplify: Simplify 0 into 0 1550840653.366 * [misc]backup-simplify: Simplify 1 into 1 1550840653.366 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.366 * [misc]backup-simplify: Simplify 0 into 0 1550840653.367 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.367 * [misc]backup-simplify: Simplify -1 into -1 1550840653.367 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.367 * [misc]backup-simplify: Simplify 0 into 0 1550840653.367 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.367 * [misc]backup-simplify: Simplify 0 into 0 1550840653.367 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.367 * [misc]backup-simplify: Simplify 0 into 0 1550840653.367 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.367 * [misc]backup-simplify: Simplify 0 into 0 1550840653.367 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.367 * [misc]backup-simplify: Simplify 0 into 0 1550840653.367 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.367 * [misc]backup-simplify: Simplify 0 into 0 1550840653.368 * [misc]backup-simplify: Simplify (* -1 z) into (* -1 z) 1550840653.368 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1550840653.368 * [misc]approximate: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1550840653.368 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.368 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.368 * [misc]taylor: Taking taylor expansion of z in z 1550840653.368 * [misc]backup-simplify: Simplify 0 into 0 1550840653.368 * [misc]backup-simplify: Simplify 1 into 1 1550840653.368 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.368 * [misc]taylor: Taking taylor expansion of (- (/ 1 z)) in z 1550840653.368 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.368 * [misc]taylor: Taking taylor expansion of z in z 1550840653.368 * [misc]backup-simplify: Simplify 0 into 0 1550840653.368 * [misc]backup-simplify: Simplify 1 into 1 1550840653.368 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.368 * [misc]backup-simplify: Simplify (- 1) into -1 1550840653.368 * [misc]backup-simplify: Simplify -1 into -1 1550840653.369 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.369 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.369 * [misc]backup-simplify: Simplify 0 into 0 1550840653.369 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.369 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.369 * [misc]backup-simplify: Simplify 0 into 0 1550840653.369 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.369 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.369 * [misc]backup-simplify: Simplify 0 into 0 1550840653.370 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.370 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.370 * [misc]backup-simplify: Simplify 0 into 0 1550840653.370 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.370 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.370 * [misc]backup-simplify: Simplify 0 into 0 1550840653.371 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.371 * [misc]backup-simplify: Simplify (- 0) into 0 1550840653.371 * [misc]backup-simplify: Simplify 0 into 0 1550840653.371 * [misc]backup-simplify: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1550840653.371 * [misc]backup-simplify: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1550840653.371 * [misc]approximate: Taking taylor expansion of (/ 1 z) in (z) around 0 1550840653.371 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.371 * [misc]taylor: Taking taylor expansion of z in z 1550840653.371 * [misc]backup-simplify: Simplify 0 into 0 1550840653.371 * [misc]backup-simplify: Simplify 1 into 1 1550840653.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.371 * [misc]taylor: Taking taylor expansion of (/ 1 z) in z 1550840653.371 * [misc]taylor: Taking taylor expansion of z in z 1550840653.371 * [misc]backup-simplify: Simplify 0 into 0 1550840653.371 * [misc]backup-simplify: Simplify 1 into 1 1550840653.371 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1550840653.371 * [misc]backup-simplify: Simplify 1 into 1 1550840653.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1550840653.372 * [misc]backup-simplify: Simplify 0 into 0 1550840653.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.372 * [misc]backup-simplify: Simplify 0 into 0 1550840653.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.372 * [misc]backup-simplify: Simplify 0 into 0 1550840653.372 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.372 * [misc]backup-simplify: Simplify 0 into 0 1550840653.373 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.373 * [misc]backup-simplify: Simplify 0 into 0 1550840653.374 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1550840653.374 * [misc]backup-simplify: Simplify 0 into 0 1550840653.374 * [misc]backup-simplify: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1550840653.374 * * * [misc]progress: simplifying candidates 1550840653.374 * * * * [misc]progress: [ 1 / 100 ] simplifiying candidate # 1550840653.374 * * * * [misc]progress: [ 2 / 100 ] simplifiying candidate # 1550840653.374 * * * * [misc]progress: [ 3 / 100 ] simplifiying candidate # 1550840653.375 * [enter]simplify: Simplifying (log (- 1 z)) 1550840653.375 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.377 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.383 * * [misc]simplify: iters left: 1 (22 enodes) 1550840653.389 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.389 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.389 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550840653.389 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1550840653.389 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1550840653.390 * [exit]simplify: Simplified to (log (- 1 z)) 1550840653.390 * [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)))))) 1550840653.390 * * * * [misc]progress: [ 4 / 100 ] simplifiying candidate # 1550840653.391 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.391 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.394 * * [misc]simplify: iters left: 4 (19 enodes) 1550840653.400 * * [misc]simplify: iters left: 3 (24 enodes) 1550840653.407 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.407 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.407 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840653.407 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840653.407 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1550840653.407 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1550840653.410 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.410 * [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)))))) 1550840653.411 * * * * [misc]progress: [ 5 / 100 ] simplifiying candidate # 1550840653.412 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1550840653.412 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.414 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.419 * * [misc]simplify: iters left: 1 (21 enodes) 1550840653.425 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.426 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.426 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840653.426 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1550840653.426 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1550840653.426 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1550840653.426 * [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)))))) 1550840653.427 * * * * [misc]progress: [ 6 / 100 ] simplifiying candidate # 1550840653.427 * * * * [misc]progress: [ 7 / 100 ] simplifiying candidate # 1550840653.427 * * * * [misc]progress: [ 8 / 100 ] simplifiying candidate # 1550840653.427 * * * * [misc]progress: [ 9 / 100 ] simplifiying candidate # 1550840653.427 * * * * [misc]progress: [ 10 / 100 ] simplifiying candidate # 1550840653.428 * * * * [misc]progress: [ 11 / 100 ] simplifiying candidate # 1550840653.428 * * * * [misc]progress: [ 12 / 100 ] simplifiying candidate # 1550840653.428 * * * * [misc]progress: [ 13 / 100 ] simplifiying candidate # 1550840653.428 * * * * [misc]progress: [ 14 / 100 ] simplifiying candidate # 1550840653.428 * * * * [misc]progress: [ 15 / 100 ] simplifiying candidate # 1550840653.429 * * * * [misc]progress: [ 16 / 100 ] simplifiying candidate # 1550840653.429 * * * * [misc]progress: [ 17 / 100 ] simplifiying candidate # 1550840653.429 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1550840653.429 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.432 * * [misc]simplify: iters left: 4 (20 enodes) 1550840653.437 * * [misc]simplify: iters left: 3 (25 enodes) 1550840653.441 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.441 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.441 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550840653.441 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550840653.441 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1550840653.441 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1550840653.441 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1550840653.441 * [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)))))) 1550840653.442 * * * * [misc]progress: [ 18 / 100 ] simplifiying candidate # 1550840653.442 * * * * [misc]progress: [ 19 / 100 ] simplifiying candidate # 1550840653.442 * * * * [misc]progress: [ 20 / 100 ] simplifiying candidate # 1550840653.442 * * * * [misc]progress: [ 21 / 100 ] simplifiying candidate # 1550840653.442 * * * * [misc]progress: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1550840653.442 * * * * [misc]progress: [ 23 / 100 ] simplifiying candidate # 1550840653.442 * * * * [misc]progress: [ 24 / 100 ] simplifiying candidate # 1550840653.442 * * * * [misc]progress: [ 25 / 100 ] simplifiying candidate # 1550840653.443 * [enter]simplify: Simplifying (log (- 1 z)) 1550840653.443 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.444 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.446 * * [misc]simplify: iters left: 1 (22 enodes) 1550840653.449 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.449 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.449 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550840653.449 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1550840653.450 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1550840653.450 * [exit]simplify: Simplified to (log (- 1 z)) 1550840653.450 * [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)))))) 1550840653.450 * * * * [misc]progress: [ 26 / 100 ] simplifiying candidate # 1550840653.450 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.451 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.452 * * [misc]simplify: iters left: 4 (19 enodes) 1550840653.455 * * [misc]simplify: iters left: 3 (24 enodes) 1550840653.458 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.458 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.458 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840653.458 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840653.458 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1550840653.459 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1550840653.459 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.459 * [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)))))) 1550840653.459 * * * * [misc]progress: [ 27 / 100 ] simplifiying candidate # 1550840653.459 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1550840653.459 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.461 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.463 * * [misc]simplify: iters left: 1 (21 enodes) 1550840653.466 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.466 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.466 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840653.466 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1550840653.467 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1550840653.467 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1550840653.467 * [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)))))) 1550840653.467 * * * * [misc]progress: [ 28 / 100 ] simplifiying candidate # 1550840653.467 * * * * [misc]progress: [ 29 / 100 ] simplifiying candidate # 1550840653.467 * * * * [misc]progress: [ 30 / 100 ] simplifiying candidate # 1550840653.467 * * * * [misc]progress: [ 31 / 100 ] simplifiying candidate # 1550840653.467 * * * * [misc]progress: [ 32 / 100 ] simplifiying candidate # 1550840653.468 * * * * [misc]progress: [ 33 / 100 ] simplifiying candidate # 1550840653.468 * * * * [misc]progress: [ 34 / 100 ] simplifiying candidate # 1550840653.468 * * * * [misc]progress: [ 35 / 100 ] simplifiying candidate # 1550840653.468 * * * * [misc]progress: [ 36 / 100 ] simplifiying candidate # 1550840653.468 * * * * [misc]progress: [ 37 / 100 ] simplifiying candidate # 1550840653.468 * * * * [misc]progress: [ 38 / 100 ] simplifiying candidate # 1550840653.468 * * * * [misc]progress: [ 39 / 100 ] simplifiying candidate # 1550840653.468 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1550840653.468 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.470 * * [misc]simplify: iters left: 4 (20 enodes) 1550840653.473 * * [misc]simplify: iters left: 3 (25 enodes) 1550840653.476 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.476 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.477 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550840653.477 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550840653.477 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1550840653.477 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1550840653.477 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1550840653.477 * [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)))))) 1550840653.478 * * * * [misc]progress: [ 40 / 100 ] simplifiying candidate # 1550840653.478 * * * * [misc]progress: [ 41 / 100 ] simplifiying candidate # 1550840653.478 * * * * [misc]progress: [ 42 / 100 ] simplifiying candidate # 1550840653.479 * * * * [misc]progress: [ 43 / 100 ] simplifiying candidate # 1550840653.479 * * * * [misc]progress: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1550840653.479 * * * * [misc]progress: [ 45 / 100 ] simplifiying candidate # 1550840653.479 * * * * [misc]progress: [ 46 / 100 ] simplifiying candidate # 1550840653.479 * * * * [misc]progress: [ 47 / 100 ] simplifiying candidate # 1550840653.480 * [enter]simplify: Simplifying (log (- 1 z)) 1550840653.480 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.482 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.488 * * [misc]simplify: iters left: 1 (22 enodes) 1550840653.494 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.494 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.494 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550840653.494 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1550840653.494 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1550840653.494 * [exit]simplify: Simplified to (log (- 1 z)) 1550840653.495 * [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)))))) 1550840653.495 * * * * [misc]progress: [ 48 / 100 ] simplifiying candidate # 1550840653.496 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.496 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.498 * * [misc]simplify: iters left: 4 (19 enodes) 1550840653.505 * * [misc]simplify: iters left: 3 (24 enodes) 1550840653.512 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.512 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.512 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840653.512 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840653.512 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1550840653.512 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1550840653.512 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.512 * [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)))))) 1550840653.513 * * * * [misc]progress: [ 49 / 100 ] simplifiying candidate # 1550840653.514 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1550840653.514 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.516 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.521 * * [misc]simplify: iters left: 1 (21 enodes) 1550840653.527 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.527 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.527 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840653.527 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1550840653.528 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1550840653.528 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1550840653.528 * [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)))))) 1550840653.529 * * * * [misc]progress: [ 50 / 100 ] simplifiying candidate # 1550840653.529 * * * * [misc]progress: [ 51 / 100 ] simplifiying candidate # 1550840653.529 * * * * [misc]progress: [ 52 / 100 ] simplifiying candidate # 1550840653.529 * * * * [misc]progress: [ 53 / 100 ] simplifiying candidate # 1550840653.530 * * * * [misc]progress: [ 54 / 100 ] simplifiying candidate # 1550840653.530 * * * * [misc]progress: [ 55 / 100 ] simplifiying candidate # 1550840653.530 * * * * [misc]progress: [ 56 / 100 ] simplifiying candidate # 1550840653.530 * * * * [misc]progress: [ 57 / 100 ] simplifiying candidate # 1550840653.530 * * * * [misc]progress: [ 58 / 100 ] simplifiying candidate # 1550840653.530 * * * * [misc]progress: [ 59 / 100 ] simplifiying candidate # 1550840653.531 * * * * [misc]progress: [ 60 / 100 ] simplifiying candidate # 1550840653.531 * * * * [misc]progress: [ 61 / 100 ] simplifiying candidate # 1550840653.531 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1550840653.531 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.534 * * [misc]simplify: iters left: 4 (20 enodes) 1550840653.543 * * [misc]simplify: iters left: 3 (25 enodes) 1550840653.551 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.551 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.551 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550840653.551 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550840653.551 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1550840653.551 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1550840653.552 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1550840653.552 * [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)))))) 1550840653.553 * * * * [misc]progress: [ 62 / 100 ] simplifiying candidate # 1550840653.554 * * * * [misc]progress: [ 63 / 100 ] simplifiying candidate # 1550840653.554 * * * * [misc]progress: [ 64 / 100 ] simplifiying candidate # 1550840653.554 * * * * [misc]progress: [ 65 / 100 ] simplifiying candidate # 1550840653.554 * * * * [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))))))> 1550840653.554 * * * * [misc]progress: [ 67 / 100 ] simplifiying candidate # 1550840653.554 * * * * [misc]progress: [ 68 / 100 ] simplifiying candidate # 1550840653.555 * * * * [misc]progress: [ 69 / 100 ] simplifiying candidate # 1550840653.555 * [enter]simplify: Simplifying (log (- 1 z)) 1550840653.555 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.556 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.561 * * [misc]simplify: iters left: 1 (22 enodes) 1550840653.567 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.567 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.567 * * [misc]simplify: Extracting #2: cost 8 inf + 0 1550840653.567 * * [misc]simplify: Extracting #3: cost 4 inf + 84 1550840653.568 * * [misc]simplify: Extracting #4: cost 0 inf + 392 1550840653.568 * [exit]simplify: Simplified to (log (- 1 z)) 1550840653.568 * [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)))))) 1550840653.568 * * * * [misc]progress: [ 70 / 100 ] simplifiying candidate # 1550840653.569 * [enter]simplify: Simplifying (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.569 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.572 * * [misc]simplify: iters left: 4 (19 enodes) 1550840653.578 * * [misc]simplify: iters left: 3 (24 enodes) 1550840653.585 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.585 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.585 * * [misc]simplify: Extracting #2: cost 5 inf + 0 1550840653.585 * * [misc]simplify: Extracting #3: cost 9 inf + 0 1550840653.585 * * [misc]simplify: Extracting #4: cost 7 inf + 43 1550840653.585 * * [misc]simplify: Extracting #5: cost 0 inf + 736 1550840653.585 * [exit]simplify: Simplified to (* (cbrt (- 1 z)) (cbrt (- 1 z))) 1550840653.585 * [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)))))) 1550840653.586 * * * * [misc]progress: [ 71 / 100 ] simplifiying candidate # 1550840653.587 * [enter]simplify: Simplifying (sqrt (- 1 z)) 1550840653.587 * * [misc]simplify: iters left: 3 (4 enodes) 1550840653.589 * * [misc]simplify: iters left: 2 (16 enodes) 1550840653.595 * * [misc]simplify: iters left: 1 (21 enodes) 1550840653.601 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.601 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840653.601 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840653.601 * * [misc]simplify: Extracting #3: cost 5 inf + 43 1550840653.601 * * [misc]simplify: Extracting #4: cost 0 inf + 332 1550840653.601 * [exit]simplify: Simplified to (sqrt (- 1 z)) 1550840653.601 * [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)))))) 1550840653.602 * * * * [misc]progress: [ 72 / 100 ] simplifiying candidate # 1550840653.602 * * * * [misc]progress: [ 73 / 100 ] simplifiying candidate # 1550840653.602 * * * * [misc]progress: [ 74 / 100 ] simplifiying candidate # 1550840653.603 * * * * [misc]progress: [ 75 / 100 ] simplifiying candidate # 1550840653.603 * * * * [misc]progress: [ 76 / 100 ] simplifiying candidate # 1550840653.603 * * * * [misc]progress: [ 77 / 100 ] simplifiying candidate # 1550840653.603 * * * * [misc]progress: [ 78 / 100 ] simplifiying candidate # 1550840653.603 * * * * [misc]progress: [ 79 / 100 ] simplifiying candidate # 1550840653.603 * * * * [misc]progress: [ 80 / 100 ] simplifiying candidate # 1550840653.604 * * * * [misc]progress: [ 81 / 100 ] simplifiying candidate # 1550840653.604 * * * * [misc]progress: [ 82 / 100 ] simplifiying candidate # 1550840653.604 * * * * [misc]progress: [ 83 / 100 ] simplifiying candidate # 1550840653.604 * [enter]simplify: Simplifying (+ (sqrt (- 1 z)) 1) 1550840653.604 * * [misc]simplify: iters left: 5 (5 enodes) 1550840653.607 * * [misc]simplify: iters left: 4 (20 enodes) 1550840653.614 * * [misc]simplify: iters left: 3 (25 enodes) 1550840653.622 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.622 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.622 * * [misc]simplify: Extracting #2: cost 5 inf + 1 1550840653.622 * * [misc]simplify: Extracting #3: cost 8 inf + 1 1550840653.622 * * [misc]simplify: Extracting #4: cost 1 inf + 535 1550840653.623 * * [misc]simplify: Extracting #5: cost 0 inf + 576 1550840653.623 * [exit]simplify: Simplified to (+ (sqrt (- 1 z)) 1) 1550840653.623 * [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)))))) 1550840653.624 * * * * [misc]progress: [ 84 / 100 ] simplifiying candidate # 1550840653.624 * * * * [misc]progress: [ 85 / 100 ] simplifiying candidate # 1550840653.625 * * * * [misc]progress: [ 86 / 100 ] simplifiying candidate # 1550840653.625 * * * * [misc]progress: [ 87 / 100 ] simplifiying candidate # 1550840653.625 * * * * [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))))))> 1550840653.625 * * * * [misc]progress: [ 89 / 100 ] simplifiying candidate # 1550840653.626 * [enter]simplify: Simplifying (* -1 z) 1550840653.626 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.628 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.632 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.632 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.632 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.632 * [exit]simplify: Simplified to (- z) 1550840653.632 * [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)))))) 1550840653.633 * * * * [misc]progress: [ 90 / 100 ] simplifiying candidate # 1550840653.633 * [enter]simplify: Simplifying (* -1 z) 1550840653.633 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.635 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.638 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.638 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.638 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.639 * [exit]simplify: Simplified to (- z) 1550840653.639 * [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)))))) 1550840653.639 * * * * [misc]progress: [ 91 / 100 ] simplifiying candidate # 1550840653.640 * [enter]simplify: Simplifying (* -1 z) 1550840653.640 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.642 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.645 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.645 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.645 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.645 * [exit]simplify: Simplified to (- z) 1550840653.645 * [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)))))) 1550840653.646 * * * * [misc]progress: [ 92 / 100 ] simplifiying candidate # 1550840653.646 * [enter]simplify: Simplifying (* -1 z) 1550840653.646 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.648 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.651 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.652 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.652 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.652 * [exit]simplify: Simplified to (- z) 1550840653.652 * [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)))))) 1550840653.652 * * * * [misc]progress: [ 93 / 100 ] simplifiying candidate # 1550840653.653 * [enter]simplify: Simplifying (* -1 z) 1550840653.653 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.655 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.658 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.658 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.658 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.658 * [exit]simplify: Simplified to (- z) 1550840653.658 * [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)))))) 1550840653.659 * * * * [misc]progress: [ 94 / 100 ] simplifiying candidate # 1550840653.659 * [enter]simplify: Simplifying (* -1 z) 1550840653.659 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.661 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.664 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.664 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.664 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.664 * [exit]simplify: Simplified to (- z) 1550840653.664 * [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)))))) 1550840653.665 * * * * [misc]progress: [ 95 / 100 ] simplifiying candidate # 1550840653.666 * [enter]simplify: Simplifying (* -1 z) 1550840653.666 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.667 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.671 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.671 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.671 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.671 * [exit]simplify: Simplified to (- z) 1550840653.671 * [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)))))) 1550840653.672 * * * * [misc]progress: [ 96 / 100 ] simplifiying candidate # 1550840653.672 * [enter]simplify: Simplifying (* -1 z) 1550840653.672 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.673 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.675 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.675 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.675 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.675 * [exit]simplify: Simplified to (- z) 1550840653.675 * [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)))))) 1550840653.675 * * * * [misc]progress: [ 97 / 100 ] simplifiying candidate # 1550840653.675 * [enter]simplify: Simplifying (* -1 z) 1550840653.675 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.676 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.678 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.678 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.678 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.678 * [exit]simplify: Simplified to (- z) 1550840653.678 * [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)))))) 1550840653.678 * * * * [misc]progress: [ 98 / 100 ] simplifiying candidate # 1550840653.678 * [enter]simplify: Simplifying (* -1 z) 1550840653.678 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.679 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.681 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.681 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.681 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.681 * [exit]simplify: Simplified to (- z) 1550840653.681 * [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)))))) 1550840653.681 * * * * [misc]progress: [ 99 / 100 ] simplifiying candidate # 1550840653.682 * [enter]simplify: Simplifying (* -1 z) 1550840653.682 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.683 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.684 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.684 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.684 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.684 * [exit]simplify: Simplified to (- z) 1550840653.684 * [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)))))) 1550840653.685 * * * * [misc]progress: [ 100 / 100 ] simplifiying candidate # 1550840653.685 * [enter]simplify: Simplifying (* -1 z) 1550840653.685 * * [misc]simplify: iters left: 2 (3 enodes) 1550840653.686 * * [misc]simplify: iters left: 1 (11 enodes) 1550840653.687 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840653.687 * * [misc]simplify: Extracting #1: cost 4 inf + 0 1550840653.687 * * [misc]simplify: Extracting #2: cost 0 inf + 84 1550840653.687 * [exit]simplify: Simplified to (- z) 1550840653.687 * [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)))))) 1550840653.688 * * * [misc]progress: adding candidates to table 1550840658.070 * [misc]progress: [Phase 3 of 3] Extracting. 1550840658.086 * [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))))) 1550840658.086 * * [misc]simplify: iters left: 6 (60 enodes) 1550840658.090 * * [misc]simplify: iters left: 5 (89 enodes) 1550840658.096 * * [misc]simplify: iters left: 4 (95 enodes) 1550840658.102 * * [misc]simplify: iters left: 3 (97 enodes) 1550840658.107 * * [misc]simplify: Extracting #0: cost 1 inf + 0 1550840658.108 * * [misc]simplify: Extracting #1: cost 3 inf + 0 1550840658.108 * * [misc]simplify: Extracting #2: cost 7 inf + 0 1550840658.108 * * [misc]simplify: Extracting #3: cost 11 inf + 1 1550840658.108 * * [misc]simplify: Extracting #4: cost 19 inf + 1 1550840658.108 * * [misc]simplify: Extracting #5: cost 28 inf + 3 1550840658.108 * * [misc]simplify: Extracting #6: cost 34 inf + 291 1550840658.108 * * [misc]simplify: Extracting #7: cost 32 inf + 339 1550840658.109 * * [misc]simplify: Extracting #8: cost 22 inf + 2107 1550840658.110 * * [misc]simplify: Extracting #9: cost 19 inf + 3464 1550840658.111 * * [misc]simplify: Extracting #10: cost 19 inf + 4549 1550840658.113 * * [misc]simplify: Extracting #11: cost 14 inf + 5126 1550840658.114 * * [misc]simplify: Extracting #12: cost 10 inf + 5576 1550840658.115 * * [misc]simplify: Extracting #13: cost 9 inf + 5780 1550840658.117 * * [misc]simplify: Extracting #14: cost 7 inf + 6554 1550840658.120 * * [misc]simplify: Extracting #15: cost 5 inf + 7816 1550840658.123 * * [misc]simplify: Extracting #16: cost 3 inf + 9566 1550840658.127 * * [misc]simplify: Extracting #17: cost 1 inf + 12284 1550840658.132 * * [misc]simplify: Extracting #18: cost 0 inf + 14124 1550840658.137 * [exit]simplify: Simplified to (* (* (* (* (sqrt (* 2 PI)) (pow (+ (+ 7 (- (- 1 z) 1)) 0.5) (+ 0.5 (- (- 1 z) 1)))) (exp (- (+ (+ 7 (- (- 1 z) 1)) 0.5)))) (+ (/ 1.5056327351493116e-07 (+ 8 (- (- 1 z) 1))) (+ (/ 9.984369578019572e-06 (+ 7 (- (- 1 z) 1))) (+ (+ (+ (/ -176.6150291621406 (+ (- (- 1 z) 1) 4)) (+ (/ 771.3234287776531 (+ 3 (- (- 1 z) 1))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ 6 (- (- 1 z) 1))))))) (/ PI (sin (* PI z)))) 1550840698.928 * [misc]regime-testing: Baseline error score: 1.8123803169395907 1550840698.929 * [misc]regime-testing: Oracle error score: 1.8123803169395907 1550840698.930 * [misc]regime-testing: End program error score: 1.8123803169395907