1553848052.785 * [progress]: [Phase 1 of 3] Setting up. 1553848052.785 * * * [progress]: [1/2] Preparing points 1553848054.408 * * * [progress]: [2/2] Setting up program. 1553848054.433 * [progress]: [Phase 2 of 3] Improving. 1553848054.433 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553848054.433 * [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))))) 1553848054.434 * * [simplify]: iters left: 6 (60 enodes) 1553848054.467 * * [simplify]: iters left: 5 (275 enodes) 1553848054.550 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848054.550 * * [simplify]: Extracting #1: cost 29 inf + 0 1553848054.550 * * [simplify]: Extracting #2: cost 96 inf + 1 1553848054.551 * * [simplify]: Extracting #3: cost 193 inf + 1 1553848054.553 * * [simplify]: Extracting #4: cost 271 inf + 437 1553848054.556 * * [simplify]: Extracting #5: cost 285 inf + 2099 1553848054.561 * * [simplify]: Extracting #6: cost 181 inf + 15031 1553848054.574 * * [simplify]: Extracting #7: cost 109 inf + 40381 1553848054.608 * * [simplify]: Extracting #8: cost 5 inf + 137050 1553848054.657 * * [simplify]: Extracting #9: cost 0 inf + 143532 1553848054.696 * [simplify]: Simplified to (* (* (/ PI (sin (* PI z))) (+ (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) (/ 12.507343278686905 (- (- 1 z) -4)))) (+ (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ -0.13857109526572012 (- 7 (+ z 1)))))) (/ (* (* (sqrt (* 2 PI)) (pow (- (- 1 z) (- -6 0.5)) (+ 0.5 (- 1 (+ z 1))))) 1) (exp (- (- 1 z) (- -6 0.5))))) 1553848054.696 * [simplify]: Simplified (2) to (λ (z) (* (* (/ PI (sin (* PI z))) (+ (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (+ (+ (/ -176.6150291621406 (+ (- 1 z) 3)) (+ (/ 771.3234287776531 (+ (- 1 z) 2)) (+ (+ (/ -1259.1392167224028 (+ (- 1 z) 1)) 0.9999999999998099) (/ 676.5203681218851 (- 1 z))))) (/ 12.507343278686905 (- (- 1 z) -4)))) (+ (/ 9.984369578019572e-06 (- (- 1 z) -6)) (/ -0.13857109526572012 (- 7 (+ z 1)))))) (/ (* (* (sqrt (* 2 PI)) (pow (- (- 1 z) (- -6 0.5)) (+ 0.5 (- 1 (+ z 1))))) 1) (exp (- (- 1 z) (- -6 0.5)))))) 1553848054.711 * * [progress]: iteration 1 / 4 1553848054.711 * * * [progress]: picking best candidate 1553848054.730 * * * * [pick]: Picked # 1553848054.730 * * * [progress]: localizing error 1553848054.968 * * * [progress]: generating rewritten candidates 1553848054.968 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1553848055.000 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 1553848055.042 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1553848055.081 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 1553848055.113 * * * [progress]: generating series expansions 1553848055.113 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1553848055.113 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553848055.114 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848055.114 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.114 * [taylor]: Taking taylor expansion of z in z 1553848055.114 * [backup-simplify]: Simplify 0 into 0 1553848055.114 * [backup-simplify]: Simplify 1 into 1 1553848055.114 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.114 * [taylor]: Taking taylor expansion of z in z 1553848055.114 * [backup-simplify]: Simplify 0 into 0 1553848055.114 * [backup-simplify]: Simplify 1 into 1 1553848055.114 * [backup-simplify]: Simplify (- 0) into 0 1553848055.114 * [backup-simplify]: Simplify 0 into 0 1553848055.115 * [backup-simplify]: Simplify (- 1) into -1 1553848055.115 * [backup-simplify]: Simplify -1 into -1 1553848055.115 * [backup-simplify]: Simplify (- 0) into 0 1553848055.115 * [backup-simplify]: Simplify 0 into 0 1553848055.115 * [backup-simplify]: Simplify (- 0) into 0 1553848055.115 * [backup-simplify]: Simplify 0 into 0 1553848055.115 * [backup-simplify]: Simplify (- 0) into 0 1553848055.115 * [backup-simplify]: Simplify 0 into 0 1553848055.116 * [backup-simplify]: Simplify (- 0) into 0 1553848055.116 * [backup-simplify]: Simplify 0 into 0 1553848055.116 * [backup-simplify]: Simplify (- 0) into 0 1553848055.116 * [backup-simplify]: Simplify 0 into 0 1553848055.116 * [backup-simplify]: Simplify (- 0) into 0 1553848055.116 * [backup-simplify]: Simplify 0 into 0 1553848055.116 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848055.116 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553848055.116 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848055.116 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.116 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.116 * [taylor]: Taking taylor expansion of z in z 1553848055.116 * [backup-simplify]: Simplify 0 into 0 1553848055.116 * [backup-simplify]: Simplify 1 into 1 1553848055.117 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.117 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.117 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.117 * [taylor]: Taking taylor expansion of z in z 1553848055.117 * [backup-simplify]: Simplify 0 into 0 1553848055.117 * [backup-simplify]: Simplify 1 into 1 1553848055.117 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.117 * [backup-simplify]: Simplify (- 1) into -1 1553848055.117 * [backup-simplify]: Simplify -1 into -1 1553848055.118 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.118 * [backup-simplify]: Simplify (- 0) into 0 1553848055.118 * [backup-simplify]: Simplify 0 into 0 1553848055.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.119 * [backup-simplify]: Simplify (- 0) into 0 1553848055.119 * [backup-simplify]: Simplify 0 into 0 1553848055.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.120 * [backup-simplify]: Simplify (- 0) into 0 1553848055.120 * [backup-simplify]: Simplify 0 into 0 1553848055.120 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.120 * [backup-simplify]: Simplify (- 0) into 0 1553848055.120 * [backup-simplify]: Simplify 0 into 0 1553848055.121 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.122 * [backup-simplify]: Simplify (- 0) into 0 1553848055.122 * [backup-simplify]: Simplify 0 into 0 1553848055.123 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.123 * [backup-simplify]: Simplify (- 0) into 0 1553848055.123 * [backup-simplify]: Simplify 0 into 0 1553848055.123 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848055.123 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553848055.123 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848055.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.124 * [taylor]: Taking taylor expansion of z in z 1553848055.124 * [backup-simplify]: Simplify 0 into 0 1553848055.124 * [backup-simplify]: Simplify 1 into 1 1553848055.124 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.124 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.124 * [taylor]: Taking taylor expansion of z in z 1553848055.124 * [backup-simplify]: Simplify 0 into 0 1553848055.124 * [backup-simplify]: Simplify 1 into 1 1553848055.124 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.125 * [backup-simplify]: Simplify 1 into 1 1553848055.125 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.126 * [backup-simplify]: Simplify 0 into 0 1553848055.126 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.126 * [backup-simplify]: Simplify 0 into 0 1553848055.127 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.127 * [backup-simplify]: Simplify 0 into 0 1553848055.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.128 * [backup-simplify]: Simplify 0 into 0 1553848055.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.129 * [backup-simplify]: Simplify 0 into 0 1553848055.130 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.130 * [backup-simplify]: Simplify 0 into 0 1553848055.130 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848055.130 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 1553848055.131 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553848055.131 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848055.131 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.131 * [taylor]: Taking taylor expansion of z in z 1553848055.131 * [backup-simplify]: Simplify 0 into 0 1553848055.131 * [backup-simplify]: Simplify 1 into 1 1553848055.131 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.131 * [taylor]: Taking taylor expansion of z in z 1553848055.131 * [backup-simplify]: Simplify 0 into 0 1553848055.131 * [backup-simplify]: Simplify 1 into 1 1553848055.131 * [backup-simplify]: Simplify (- 0) into 0 1553848055.131 * [backup-simplify]: Simplify 0 into 0 1553848055.132 * [backup-simplify]: Simplify (- 1) into -1 1553848055.132 * [backup-simplify]: Simplify -1 into -1 1553848055.132 * [backup-simplify]: Simplify (- 0) into 0 1553848055.132 * [backup-simplify]: Simplify 0 into 0 1553848055.132 * [backup-simplify]: Simplify (- 0) into 0 1553848055.132 * [backup-simplify]: Simplify 0 into 0 1553848055.133 * [backup-simplify]: Simplify (- 0) into 0 1553848055.133 * [backup-simplify]: Simplify 0 into 0 1553848055.133 * [backup-simplify]: Simplify (- 0) into 0 1553848055.133 * [backup-simplify]: Simplify 0 into 0 1553848055.134 * [backup-simplify]: Simplify (- 0) into 0 1553848055.134 * [backup-simplify]: Simplify 0 into 0 1553848055.134 * [backup-simplify]: Simplify (- 0) into 0 1553848055.134 * [backup-simplify]: Simplify 0 into 0 1553848055.134 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848055.134 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553848055.134 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848055.134 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.134 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.134 * [taylor]: Taking taylor expansion of z in z 1553848055.134 * [backup-simplify]: Simplify 0 into 0 1553848055.135 * [backup-simplify]: Simplify 1 into 1 1553848055.138 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.138 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.138 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.138 * [taylor]: Taking taylor expansion of z in z 1553848055.138 * [backup-simplify]: Simplify 0 into 0 1553848055.138 * [backup-simplify]: Simplify 1 into 1 1553848055.139 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.139 * [backup-simplify]: Simplify (- 1) into -1 1553848055.139 * [backup-simplify]: Simplify -1 into -1 1553848055.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.140 * [backup-simplify]: Simplify (- 0) into 0 1553848055.140 * [backup-simplify]: Simplify 0 into 0 1553848055.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.142 * [backup-simplify]: Simplify (- 0) into 0 1553848055.142 * [backup-simplify]: Simplify 0 into 0 1553848055.143 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.143 * [backup-simplify]: Simplify (- 0) into 0 1553848055.143 * [backup-simplify]: Simplify 0 into 0 1553848055.144 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.144 * [backup-simplify]: Simplify (- 0) into 0 1553848055.144 * [backup-simplify]: Simplify 0 into 0 1553848055.145 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.146 * [backup-simplify]: Simplify (- 0) into 0 1553848055.146 * [backup-simplify]: Simplify 0 into 0 1553848055.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.147 * [backup-simplify]: Simplify (- 0) into 0 1553848055.147 * [backup-simplify]: Simplify 0 into 0 1553848055.147 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848055.147 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553848055.147 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848055.147 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.147 * [taylor]: Taking taylor expansion of z in z 1553848055.147 * [backup-simplify]: Simplify 0 into 0 1553848055.148 * [backup-simplify]: Simplify 1 into 1 1553848055.148 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.148 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.148 * [taylor]: Taking taylor expansion of z in z 1553848055.148 * [backup-simplify]: Simplify 0 into 0 1553848055.148 * [backup-simplify]: Simplify 1 into 1 1553848055.148 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.148 * [backup-simplify]: Simplify 1 into 1 1553848055.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.149 * [backup-simplify]: Simplify 0 into 0 1553848055.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.150 * [backup-simplify]: Simplify 0 into 0 1553848055.151 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.151 * [backup-simplify]: Simplify 0 into 0 1553848055.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.152 * [backup-simplify]: Simplify 0 into 0 1553848055.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.153 * [backup-simplify]: Simplify 0 into 0 1553848055.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.154 * [backup-simplify]: Simplify 0 into 0 1553848055.154 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848055.154 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1553848055.155 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553848055.155 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848055.155 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.155 * [taylor]: Taking taylor expansion of z in z 1553848055.155 * [backup-simplify]: Simplify 0 into 0 1553848055.155 * [backup-simplify]: Simplify 1 into 1 1553848055.155 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.155 * [taylor]: Taking taylor expansion of z in z 1553848055.155 * [backup-simplify]: Simplify 0 into 0 1553848055.155 * [backup-simplify]: Simplify 1 into 1 1553848055.155 * [backup-simplify]: Simplify (- 0) into 0 1553848055.155 * [backup-simplify]: Simplify 0 into 0 1553848055.156 * [backup-simplify]: Simplify (- 1) into -1 1553848055.156 * [backup-simplify]: Simplify -1 into -1 1553848055.156 * [backup-simplify]: Simplify (- 0) into 0 1553848055.156 * [backup-simplify]: Simplify 0 into 0 1553848055.157 * [backup-simplify]: Simplify (- 0) into 0 1553848055.157 * [backup-simplify]: Simplify 0 into 0 1553848055.157 * [backup-simplify]: Simplify (- 0) into 0 1553848055.157 * [backup-simplify]: Simplify 0 into 0 1553848055.157 * [backup-simplify]: Simplify (- 0) into 0 1553848055.157 * [backup-simplify]: Simplify 0 into 0 1553848055.158 * [backup-simplify]: Simplify (- 0) into 0 1553848055.158 * [backup-simplify]: Simplify 0 into 0 1553848055.158 * [backup-simplify]: Simplify (- 0) into 0 1553848055.158 * [backup-simplify]: Simplify 0 into 0 1553848055.158 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848055.159 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553848055.159 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848055.159 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.159 * [taylor]: Taking taylor expansion of z in z 1553848055.159 * [backup-simplify]: Simplify 0 into 0 1553848055.159 * [backup-simplify]: Simplify 1 into 1 1553848055.159 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.159 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.159 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.159 * [taylor]: Taking taylor expansion of z in z 1553848055.159 * [backup-simplify]: Simplify 0 into 0 1553848055.159 * [backup-simplify]: Simplify 1 into 1 1553848055.160 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.160 * [backup-simplify]: Simplify (- 1) into -1 1553848055.160 * [backup-simplify]: Simplify -1 into -1 1553848055.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.161 * [backup-simplify]: Simplify (- 0) into 0 1553848055.161 * [backup-simplify]: Simplify 0 into 0 1553848055.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.162 * [backup-simplify]: Simplify (- 0) into 0 1553848055.162 * [backup-simplify]: Simplify 0 into 0 1553848055.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.164 * [backup-simplify]: Simplify (- 0) into 0 1553848055.164 * [backup-simplify]: Simplify 0 into 0 1553848055.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.165 * [backup-simplify]: Simplify (- 0) into 0 1553848055.165 * [backup-simplify]: Simplify 0 into 0 1553848055.166 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.166 * [backup-simplify]: Simplify (- 0) into 0 1553848055.166 * [backup-simplify]: Simplify 0 into 0 1553848055.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.168 * [backup-simplify]: Simplify (- 0) into 0 1553848055.168 * [backup-simplify]: Simplify 0 into 0 1553848055.168 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848055.168 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553848055.168 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848055.168 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.168 * [taylor]: Taking taylor expansion of z in z 1553848055.168 * [backup-simplify]: Simplify 0 into 0 1553848055.168 * [backup-simplify]: Simplify 1 into 1 1553848055.169 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.169 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.169 * [taylor]: Taking taylor expansion of z in z 1553848055.169 * [backup-simplify]: Simplify 0 into 0 1553848055.169 * [backup-simplify]: Simplify 1 into 1 1553848055.169 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.169 * [backup-simplify]: Simplify 1 into 1 1553848055.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.170 * [backup-simplify]: Simplify 0 into 0 1553848055.171 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.171 * [backup-simplify]: Simplify 0 into 0 1553848055.172 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.172 * [backup-simplify]: Simplify 0 into 0 1553848055.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.173 * [backup-simplify]: Simplify 0 into 0 1553848055.173 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.173 * [backup-simplify]: Simplify 0 into 0 1553848055.174 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.174 * [backup-simplify]: Simplify 0 into 0 1553848055.174 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848055.174 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 1553848055.174 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553848055.174 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848055.174 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.174 * [taylor]: Taking taylor expansion of z in z 1553848055.174 * [backup-simplify]: Simplify 0 into 0 1553848055.174 * [backup-simplify]: Simplify 1 into 1 1553848055.174 * [taylor]: Taking taylor expansion of (- z) in z 1553848055.174 * [taylor]: Taking taylor expansion of z in z 1553848055.174 * [backup-simplify]: Simplify 0 into 0 1553848055.174 * [backup-simplify]: Simplify 1 into 1 1553848055.175 * [backup-simplify]: Simplify (- 0) into 0 1553848055.175 * [backup-simplify]: Simplify 0 into 0 1553848055.175 * [backup-simplify]: Simplify (- 1) into -1 1553848055.175 * [backup-simplify]: Simplify -1 into -1 1553848055.175 * [backup-simplify]: Simplify (- 0) into 0 1553848055.175 * [backup-simplify]: Simplify 0 into 0 1553848055.175 * [backup-simplify]: Simplify (- 0) into 0 1553848055.175 * [backup-simplify]: Simplify 0 into 0 1553848055.176 * [backup-simplify]: Simplify (- 0) into 0 1553848055.176 * [backup-simplify]: Simplify 0 into 0 1553848055.176 * [backup-simplify]: Simplify (- 0) into 0 1553848055.176 * [backup-simplify]: Simplify 0 into 0 1553848055.176 * [backup-simplify]: Simplify (- 0) into 0 1553848055.176 * [backup-simplify]: Simplify 0 into 0 1553848055.176 * [backup-simplify]: Simplify (- 0) into 0 1553848055.176 * [backup-simplify]: Simplify 0 into 0 1553848055.177 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848055.177 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553848055.177 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848055.177 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.177 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.177 * [taylor]: Taking taylor expansion of z in z 1553848055.177 * [backup-simplify]: Simplify 0 into 0 1553848055.177 * [backup-simplify]: Simplify 1 into 1 1553848055.177 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.177 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848055.177 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.177 * [taylor]: Taking taylor expansion of z in z 1553848055.177 * [backup-simplify]: Simplify 0 into 0 1553848055.177 * [backup-simplify]: Simplify 1 into 1 1553848055.177 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.178 * [backup-simplify]: Simplify (- 1) into -1 1553848055.178 * [backup-simplify]: Simplify -1 into -1 1553848055.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.178 * [backup-simplify]: Simplify (- 0) into 0 1553848055.178 * [backup-simplify]: Simplify 0 into 0 1553848055.179 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.179 * [backup-simplify]: Simplify (- 0) into 0 1553848055.179 * [backup-simplify]: Simplify 0 into 0 1553848055.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.180 * [backup-simplify]: Simplify (- 0) into 0 1553848055.180 * [backup-simplify]: Simplify 0 into 0 1553848055.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.181 * [backup-simplify]: Simplify (- 0) into 0 1553848055.181 * [backup-simplify]: Simplify 0 into 0 1553848055.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.182 * [backup-simplify]: Simplify (- 0) into 0 1553848055.182 * [backup-simplify]: Simplify 0 into 0 1553848055.182 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.183 * [backup-simplify]: Simplify (- 0) into 0 1553848055.183 * [backup-simplify]: Simplify 0 into 0 1553848055.183 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848055.183 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553848055.183 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848055.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.183 * [taylor]: Taking taylor expansion of z in z 1553848055.183 * [backup-simplify]: Simplify 0 into 0 1553848055.183 * [backup-simplify]: Simplify 1 into 1 1553848055.183 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.183 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848055.183 * [taylor]: Taking taylor expansion of z in z 1553848055.183 * [backup-simplify]: Simplify 0 into 0 1553848055.183 * [backup-simplify]: Simplify 1 into 1 1553848055.183 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848055.183 * [backup-simplify]: Simplify 1 into 1 1553848055.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848055.184 * [backup-simplify]: Simplify 0 into 0 1553848055.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.184 * [backup-simplify]: Simplify 0 into 0 1553848055.185 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.185 * [backup-simplify]: Simplify 0 into 0 1553848055.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.186 * [backup-simplify]: Simplify 0 into 0 1553848055.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.186 * [backup-simplify]: Simplify 0 into 0 1553848055.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848055.187 * [backup-simplify]: Simplify 0 into 0 1553848055.187 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848055.187 * * * [progress]: simplifying candidates 1553848055.187 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 1553848055.187 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 1553848055.187 * * [simplify]: iters left: 5 (6 enodes) 1553848055.189 * * [simplify]: iters left: 4 (23 enodes) 1553848055.193 * * [simplify]: iters left: 3 (34 enodes) 1553848055.198 * * [simplify]: iters left: 2 (39 enodes) 1553848055.204 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.204 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848055.204 * * [simplify]: Extracting #2: cost 12 inf + 2 1553848055.204 * * [simplify]: Extracting #3: cost 5 inf + 492 1553848055.204 * * [simplify]: Extracting #4: cost 1 inf + 869 1553848055.204 * * [simplify]: Extracting #5: cost 0 inf + 981 1553848055.205 * [simplify]: Simplified to (exp (- z)) 1553848055.205 * [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 (+ (log (exp (- z))) 8)))))) 1553848055.205 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 1553848055.205 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 1553848055.205 * * [simplify]: iters left: 5 (6 enodes) 1553848055.207 * * [simplify]: iters left: 4 (25 enodes) 1553848055.211 * * [simplify]: iters left: 3 (43 enodes) 1553848055.220 * * [simplify]: iters left: 2 (69 enodes) 1553848055.243 * * [simplify]: iters left: 1 (117 enodes) 1553848055.304 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.304 * * [simplify]: Extracting #1: cost 23 inf + 0 1553848055.304 * * [simplify]: Extracting #2: cost 47 inf + 43 1553848055.304 * * [simplify]: Extracting #3: cost 56 inf + 270 1553848055.305 * * [simplify]: Extracting #4: cost 9 inf + 4884 1553848055.306 * * [simplify]: Extracting #5: cost 0 inf + 6053 1553848055.308 * * [simplify]: Extracting #6: cost 0 inf + 6011 1553848055.310 * [simplify]: Simplified to (exp (- z)) 1553848055.310 * [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 (+ (log (exp (- z))) 8)))))) 1553848055.310 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 1553848055.311 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 1553848055.311 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 1553848055.311 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 1553848055.311 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 1553848055.311 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 1553848055.311 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 1553848055.312 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 1553848055.312 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 1553848055.312 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 1553848055.312 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 1553848055.312 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 1553848055.313 * * [simplify]: iters left: 5 (6 enodes) 1553848055.318 * * [simplify]: iters left: 4 (23 enodes) 1553848055.325 * * [simplify]: iters left: 3 (28 enodes) 1553848055.332 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.332 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.332 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.332 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.333 * * [simplify]: Extracting #4: cost 6 inf + 86 1553848055.333 * * [simplify]: Extracting #5: cost 1 inf + 454 1553848055.333 * * [simplify]: Extracting #6: cost 0 inf + 576 1553848055.333 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.333 * [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)) (sqrt 1))) 8)))))) 1553848055.334 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 1553848055.334 * * [simplify]: iters left: 5 (6 enodes) 1553848055.340 * * [simplify]: iters left: 4 (25 enodes) 1553848055.349 * * [simplify]: iters left: 3 (34 enodes) 1553848055.358 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.358 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848055.358 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848055.358 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848055.358 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848055.358 * * [simplify]: Extracting #5: cost 2 inf + 373 1553848055.359 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848055.359 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848055.359 * [simplify]: Simplified (2 2 2 2 2 1 2) 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)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 8)))))) 1553848055.360 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 1553848055.360 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848055.360 * * [simplify]: iters left: 5 (5 enodes) 1553848055.363 * * [simplify]: iters left: 4 (20 enodes) 1553848055.369 * * [simplify]: iters left: 3 (25 enodes) 1553848055.375 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.375 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.375 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.375 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.375 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848055.376 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848055.376 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.376 * [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)))))) 1553848055.376 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 1553848055.376 * * [simplify]: iters left: 5 (5 enodes) 1553848055.378 * * [simplify]: iters left: 4 (22 enodes) 1553848055.382 * * [simplify]: iters left: 3 (29 enodes) 1553848055.387 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.387 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848055.387 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848055.387 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848055.387 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848055.387 * * [simplify]: Extracting #5: cost 1 inf + 455 1553848055.387 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848055.387 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848055.387 * [simplify]: Simplified (2 2 2 2 2 1 2) 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)))))) 1553848055.388 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 1553848055.388 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848055.388 * * [simplify]: iters left: 5 (5 enodes) 1553848055.390 * * [simplify]: iters left: 4 (20 enodes) 1553848055.393 * * [simplify]: iters left: 3 (25 enodes) 1553848055.397 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.397 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.397 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.397 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.397 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848055.397 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848055.398 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.398 * [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)))))) 1553848055.398 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 1553848055.399 * [simplify]: Simplifying (- (- 1 z) 1) 1553848055.399 * * [simplify]: iters left: 4 (4 enodes) 1553848055.400 * * [simplify]: iters left: 3 (21 enodes) 1553848055.404 * * [simplify]: iters left: 2 (39 enodes) 1553848055.411 * * [simplify]: iters left: 1 (51 enodes) 1553848055.418 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.418 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848055.418 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848055.418 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848055.418 * [simplify]: Simplified to (- z) 1553848055.418 * [simplify]: Simplified (2 2 2 2 2 1 2) 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)) 8)))))) 1553848055.419 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 1553848055.419 * [simplify]: Simplifying (- (- 1 z) 1) 1553848055.419 * * [simplify]: iters left: 4 (4 enodes) 1553848055.421 * * [simplify]: iters left: 3 (21 enodes) 1553848055.425 * * [simplify]: iters left: 2 (39 enodes) 1553848055.434 * * [simplify]: iters left: 1 (51 enodes) 1553848055.446 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.446 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848055.446 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848055.447 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848055.447 * [simplify]: Simplified to (- z) 1553848055.447 * [simplify]: Simplified (2 2 2 2 2 1 2) 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)) 8)))))) 1553848055.448 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 1553848055.449 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 1553848055.449 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 1553848055.449 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 1553848055.449 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848055.449 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 1553848055.450 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 1553848055.450 * * [simplify]: iters left: 5 (6 enodes) 1553848055.453 * * [simplify]: iters left: 4 (23 enodes) 1553848055.459 * * [simplify]: iters left: 3 (34 enodes) 1553848055.464 * * [simplify]: iters left: 2 (39 enodes) 1553848055.469 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.469 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848055.469 * * [simplify]: Extracting #2: cost 12 inf + 2 1553848055.470 * * [simplify]: Extracting #3: cost 5 inf + 492 1553848055.470 * * [simplify]: Extracting #4: cost 1 inf + 869 1553848055.470 * * [simplify]: Extracting #5: cost 0 inf + 981 1553848055.470 * [simplify]: Simplified to (exp (- z)) 1553848055.470 * [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 (+ (log (exp (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.471 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 1553848055.471 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 1553848055.471 * * [simplify]: iters left: 5 (6 enodes) 1553848055.475 * * [simplify]: iters left: 4 (25 enodes) 1553848055.480 * * [simplify]: iters left: 3 (43 enodes) 1553848055.487 * * [simplify]: iters left: 2 (69 enodes) 1553848055.509 * * [simplify]: iters left: 1 (117 enodes) 1553848055.555 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.555 * * [simplify]: Extracting #1: cost 23 inf + 0 1553848055.556 * * [simplify]: Extracting #2: cost 47 inf + 43 1553848055.556 * * [simplify]: Extracting #3: cost 56 inf + 270 1553848055.558 * * [simplify]: Extracting #4: cost 9 inf + 4884 1553848055.564 * * [simplify]: Extracting #5: cost 0 inf + 6053 1553848055.567 * * [simplify]: Extracting #6: cost 0 inf + 6011 1553848055.570 * [simplify]: Simplified to (exp (- z)) 1553848055.570 * [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 (+ (log (exp (- z))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.571 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 1553848055.571 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 1553848055.571 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 1553848055.571 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 1553848055.572 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 1553848055.572 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 1553848055.572 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 1553848055.572 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 1553848055.572 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 1553848055.573 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 1553848055.573 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 1553848055.573 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 1553848055.573 * * [simplify]: iters left: 5 (6 enodes) 1553848055.576 * * [simplify]: iters left: 4 (23 enodes) 1553848055.580 * * [simplify]: iters left: 3 (28 enodes) 1553848055.584 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.584 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.584 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.584 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.584 * * [simplify]: Extracting #4: cost 6 inf + 86 1553848055.584 * * [simplify]: Extracting #5: cost 1 inf + 454 1553848055.584 * * [simplify]: Extracting #6: cost 0 inf + 576 1553848055.584 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.584 * [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)) (sqrt 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.585 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 1553848055.585 * * [simplify]: iters left: 5 (6 enodes) 1553848055.588 * * [simplify]: iters left: 4 (25 enodes) 1553848055.592 * * [simplify]: iters left: 3 (34 enodes) 1553848055.597 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.597 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848055.597 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848055.597 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848055.597 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848055.597 * * [simplify]: Extracting #5: cost 2 inf + 373 1553848055.597 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848055.597 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848055.597 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.598 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 1553848055.598 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848055.598 * * [simplify]: iters left: 5 (5 enodes) 1553848055.600 * * [simplify]: iters left: 4 (20 enodes) 1553848055.603 * * [simplify]: iters left: 3 (25 enodes) 1553848055.608 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.608 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.608 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.608 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.608 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848055.609 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848055.609 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.609 * [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)))))) 1553848055.610 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 1553848055.610 * * [simplify]: iters left: 5 (5 enodes) 1553848055.613 * * [simplify]: iters left: 4 (22 enodes) 1553848055.617 * * [simplify]: iters left: 3 (29 enodes) 1553848055.621 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.621 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848055.621 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848055.621 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848055.622 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848055.622 * * [simplify]: Extracting #5: cost 1 inf + 455 1553848055.622 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848055.622 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848055.622 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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)))))) 1553848055.622 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 1553848055.623 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848055.623 * * [simplify]: iters left: 5 (5 enodes) 1553848055.624 * * [simplify]: iters left: 4 (20 enodes) 1553848055.628 * * [simplify]: iters left: 3 (25 enodes) 1553848055.631 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.631 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.631 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.631 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.631 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848055.632 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848055.632 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.632 * [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)))))) 1553848055.632 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 1553848055.632 * [simplify]: Simplifying (- (- 1 z) 1) 1553848055.632 * * [simplify]: iters left: 4 (4 enodes) 1553848055.634 * * [simplify]: iters left: 3 (21 enodes) 1553848055.638 * * [simplify]: iters left: 2 (39 enodes) 1553848055.645 * * [simplify]: iters left: 1 (51 enodes) 1553848055.652 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.652 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848055.653 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848055.653 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848055.653 * [simplify]: Simplified to (- z) 1553848055.654 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.654 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 1553848055.655 * [simplify]: Simplifying (- (- 1 z) 1) 1553848055.655 * * [simplify]: iters left: 4 (4 enodes) 1553848055.658 * * [simplify]: iters left: 3 (21 enodes) 1553848055.668 * * [simplify]: iters left: 2 (39 enodes) 1553848055.680 * * [simplify]: iters left: 1 (51 enodes) 1553848055.686 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.686 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848055.686 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848055.686 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848055.687 * [simplify]: Simplified to (- z) 1553848055.687 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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)) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.687 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 1553848055.687 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 1553848055.687 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 1553848055.687 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 1553848055.687 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 1553848055.688 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 1553848055.688 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 1553848055.688 * * [simplify]: iters left: 5 (6 enodes) 1553848055.689 * * [simplify]: iters left: 4 (23 enodes) 1553848055.693 * * [simplify]: iters left: 3 (34 enodes) 1553848055.698 * * [simplify]: iters left: 2 (39 enodes) 1553848055.703 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.703 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848055.703 * * [simplify]: Extracting #2: cost 12 inf + 2 1553848055.703 * * [simplify]: Extracting #3: cost 5 inf + 492 1553848055.704 * * [simplify]: Extracting #4: cost 1 inf + 869 1553848055.704 * * [simplify]: Extracting #5: cost 0 inf + 981 1553848055.704 * [simplify]: Simplified to (exp (- z)) 1553848055.704 * [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 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.704 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 1553848055.705 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 1553848055.705 * * [simplify]: iters left: 5 (6 enodes) 1553848055.707 * * [simplify]: iters left: 4 (25 enodes) 1553848055.713 * * [simplify]: iters left: 3 (43 enodes) 1553848055.727 * * [simplify]: iters left: 2 (69 enodes) 1553848055.748 * * [simplify]: iters left: 1 (117 enodes) 1553848055.828 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.829 * * [simplify]: Extracting #1: cost 23 inf + 0 1553848055.829 * * [simplify]: Extracting #2: cost 47 inf + 43 1553848055.829 * * [simplify]: Extracting #3: cost 56 inf + 270 1553848055.831 * * [simplify]: Extracting #4: cost 9 inf + 4884 1553848055.834 * * [simplify]: Extracting #5: cost 0 inf + 6053 1553848055.837 * * [simplify]: Extracting #6: cost 0 inf + 6011 1553848055.839 * [simplify]: Simplified to (exp (- z)) 1553848055.839 * [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 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.840 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 1553848055.840 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 1553848055.841 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 1553848055.841 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 1553848055.841 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 1553848055.841 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 1553848055.841 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 1553848055.841 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 1553848055.842 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 1553848055.842 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 1553848055.842 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 1553848055.842 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 1553848055.842 * * [simplify]: iters left: 5 (6 enodes) 1553848055.847 * * [simplify]: iters left: 4 (23 enodes) 1553848055.854 * * [simplify]: iters left: 3 (28 enodes) 1553848055.861 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.861 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.861 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.861 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.862 * * [simplify]: Extracting #4: cost 6 inf + 86 1553848055.862 * * [simplify]: Extracting #5: cost 1 inf + 454 1553848055.862 * * [simplify]: Extracting #6: cost 0 inf + 576 1553848055.862 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.862 * [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)) (sqrt 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.863 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 1553848055.863 * * [simplify]: iters left: 5 (6 enodes) 1553848055.868 * * [simplify]: iters left: 4 (25 enodes) 1553848055.876 * * [simplify]: iters left: 3 (34 enodes) 1553848055.885 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.885 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848055.885 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848055.885 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848055.885 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848055.885 * * [simplify]: Extracting #5: cost 2 inf + 373 1553848055.886 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848055.886 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848055.886 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.887 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 1553848055.887 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848055.887 * * [simplify]: iters left: 5 (5 enodes) 1553848055.890 * * [simplify]: iters left: 4 (20 enodes) 1553848055.896 * * [simplify]: iters left: 3 (25 enodes) 1553848055.903 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.903 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.903 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.903 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.903 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848055.903 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848055.904 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.904 * [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)))))) 1553848055.905 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 1553848055.905 * * [simplify]: iters left: 5 (5 enodes) 1553848055.908 * * [simplify]: iters left: 4 (22 enodes) 1553848055.915 * * [simplify]: iters left: 3 (29 enodes) 1553848055.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.923 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848055.923 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848055.923 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848055.923 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848055.923 * * [simplify]: Extracting #5: cost 1 inf + 455 1553848055.923 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848055.923 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848055.923 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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)))))) 1553848055.924 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 1553848055.927 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848055.927 * * [simplify]: iters left: 5 (5 enodes) 1553848055.929 * * [simplify]: iters left: 4 (20 enodes) 1553848055.932 * * [simplify]: iters left: 3 (25 enodes) 1553848055.936 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.936 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848055.936 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848055.936 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848055.936 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848055.936 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848055.936 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848055.936 * [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)))))) 1553848055.937 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 1553848055.937 * [simplify]: Simplifying (- (- 1 z) 1) 1553848055.937 * * [simplify]: iters left: 4 (4 enodes) 1553848055.938 * * [simplify]: iters left: 3 (21 enodes) 1553848055.942 * * [simplify]: iters left: 2 (39 enodes) 1553848055.949 * * [simplify]: iters left: 1 (51 enodes) 1553848055.957 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.957 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848055.957 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848055.958 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848055.958 * [simplify]: Simplified to (- z) 1553848055.958 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.959 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 1553848055.959 * [simplify]: Simplifying (- (- 1 z) 1) 1553848055.959 * * [simplify]: iters left: 4 (4 enodes) 1553848055.962 * * [simplify]: iters left: 3 (21 enodes) 1553848055.970 * * [simplify]: iters left: 2 (39 enodes) 1553848055.984 * * [simplify]: iters left: 1 (51 enodes) 1553848055.996 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848055.996 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848055.996 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848055.997 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848055.997 * [simplify]: Simplified to (- z) 1553848055.997 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848055.997 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 1553848055.998 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 1553848055.998 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 1553848055.998 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 1553848055.998 * * * * [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))))))> 1553848055.998 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 1553848055.998 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 1553848055.998 * * [simplify]: iters left: 5 (6 enodes) 1553848056.000 * * [simplify]: iters left: 4 (23 enodes) 1553848056.004 * * [simplify]: iters left: 3 (34 enodes) 1553848056.009 * * [simplify]: iters left: 2 (39 enodes) 1553848056.014 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.014 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848056.014 * * [simplify]: Extracting #2: cost 12 inf + 2 1553848056.014 * * [simplify]: Extracting #3: cost 5 inf + 492 1553848056.014 * * [simplify]: Extracting #4: cost 1 inf + 869 1553848056.014 * * [simplify]: Extracting #5: cost 0 inf + 981 1553848056.015 * [simplify]: Simplified to (exp (- z)) 1553848056.015 * [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 (+ (log (exp (- z))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848056.015 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 1553848056.015 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 1553848056.015 * * [simplify]: iters left: 5 (6 enodes) 1553848056.017 * * [simplify]: iters left: 4 (25 enodes) 1553848056.022 * * [simplify]: iters left: 3 (43 enodes) 1553848056.034 * * [simplify]: iters left: 2 (69 enodes) 1553848056.056 * * [simplify]: iters left: 1 (117 enodes) 1553848056.102 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.102 * * [simplify]: Extracting #1: cost 23 inf + 0 1553848056.103 * * [simplify]: Extracting #2: cost 47 inf + 43 1553848056.103 * * [simplify]: Extracting #3: cost 56 inf + 270 1553848056.105 * * [simplify]: Extracting #4: cost 9 inf + 4884 1553848056.107 * * [simplify]: Extracting #5: cost 0 inf + 6053 1553848056.110 * * [simplify]: Extracting #6: cost 0 inf + 6011 1553848056.113 * [simplify]: Simplified to (exp (- z)) 1553848056.113 * [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 (+ (log (exp (- z))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848056.114 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 1553848056.114 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 1553848056.114 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 1553848056.114 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 1553848056.114 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 1553848056.115 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 1553848056.115 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 1553848056.115 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 1553848056.115 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 1553848056.115 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 1553848056.115 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 1553848056.116 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 1553848056.116 * * [simplify]: iters left: 5 (6 enodes) 1553848056.121 * * [simplify]: iters left: 4 (23 enodes) 1553848056.127 * * [simplify]: iters left: 3 (28 enodes) 1553848056.139 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.139 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.139 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848056.139 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848056.139 * * [simplify]: Extracting #4: cost 6 inf + 86 1553848056.139 * * [simplify]: Extracting #5: cost 1 inf + 454 1553848056.140 * * [simplify]: Extracting #6: cost 0 inf + 576 1553848056.140 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848056.140 * [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)) (sqrt 1))) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848056.141 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 1553848056.141 * * [simplify]: iters left: 5 (6 enodes) 1553848056.147 * * [simplify]: iters left: 4 (25 enodes) 1553848056.155 * * [simplify]: iters left: 3 (34 enodes) 1553848056.164 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.164 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848056.164 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848056.164 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848056.164 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848056.165 * * [simplify]: Extracting #5: cost 2 inf + 373 1553848056.165 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848056.165 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848056.165 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) 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)) (sqrt 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)))))) 1553848056.165 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 1553848056.166 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848056.166 * * [simplify]: iters left: 5 (5 enodes) 1553848056.167 * * [simplify]: iters left: 4 (20 enodes) 1553848056.170 * * [simplify]: iters left: 3 (25 enodes) 1553848056.174 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.174 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.174 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848056.174 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848056.174 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848056.174 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848056.174 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848056.174 * [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)))))) 1553848056.175 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 1553848056.175 * * [simplify]: iters left: 5 (5 enodes) 1553848056.176 * * [simplify]: iters left: 4 (22 enodes) 1553848056.180 * * [simplify]: iters left: 3 (29 enodes) 1553848056.185 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.185 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848056.185 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848056.185 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848056.185 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848056.185 * * [simplify]: Extracting #5: cost 1 inf + 455 1553848056.185 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848056.185 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848056.185 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) 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)))))) 1553848056.186 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 1553848056.186 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848056.186 * * [simplify]: iters left: 5 (5 enodes) 1553848056.188 * * [simplify]: iters left: 4 (20 enodes) 1553848056.191 * * [simplify]: iters left: 3 (25 enodes) 1553848056.195 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.195 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.195 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848056.195 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848056.196 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848056.196 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848056.196 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848056.196 * [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)))))) 1553848056.197 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 1553848056.197 * [simplify]: Simplifying (- (- 1 z) 1) 1553848056.198 * * [simplify]: iters left: 4 (4 enodes) 1553848056.200 * * [simplify]: iters left: 3 (21 enodes) 1553848056.208 * * [simplify]: iters left: 2 (39 enodes) 1553848056.222 * * [simplify]: iters left: 1 (51 enodes) 1553848056.234 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.234 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848056.235 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848056.235 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848056.235 * [simplify]: Simplified to (- z) 1553848056.235 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) 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)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848056.236 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 1553848056.237 * [simplify]: Simplifying (- (- 1 z) 1) 1553848056.237 * * [simplify]: iters left: 4 (4 enodes) 1553848056.240 * * [simplify]: iters left: 3 (21 enodes) 1553848056.247 * * [simplify]: iters left: 2 (39 enodes) 1553848056.260 * * [simplify]: iters left: 1 (51 enodes) 1553848056.274 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.274 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848056.275 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848056.275 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848056.275 * [simplify]: Simplified to (- z) 1553848056.275 * [simplify]: Simplified (2 2 2 1 1 1 2 2 1 2) 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)) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8)))))) 1553848056.276 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 1553848056.276 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 1553848056.276 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 1553848056.277 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 1553848056.277 * * * * [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))))))> 1553848056.277 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 1553848056.277 * [simplify]: Simplifying (* -1 z) 1553848056.277 * * [simplify]: iters left: 2 (3 enodes) 1553848056.279 * * [simplify]: iters left: 1 (11 enodes) 1553848056.282 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.282 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.283 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.283 * [simplify]: Simplified to (- z) 1553848056.283 * [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)))))) 1553848056.284 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 1553848056.284 * [simplify]: Simplifying (* -1 z) 1553848056.284 * * [simplify]: iters left: 2 (3 enodes) 1553848056.286 * * [simplify]: iters left: 1 (11 enodes) 1553848056.287 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.287 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.287 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.287 * [simplify]: Simplified to (- z) 1553848056.287 * [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)))))) 1553848056.288 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 1553848056.288 * [simplify]: Simplifying (* -1 z) 1553848056.288 * * [simplify]: iters left: 2 (3 enodes) 1553848056.289 * * [simplify]: iters left: 1 (11 enodes) 1553848056.290 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.290 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.290 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.291 * [simplify]: Simplified to (- z) 1553848056.291 * [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)))))) 1553848056.291 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 1553848056.291 * [simplify]: Simplifying (* -1 z) 1553848056.291 * * [simplify]: iters left: 2 (3 enodes) 1553848056.292 * * [simplify]: iters left: 1 (11 enodes) 1553848056.294 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.294 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.294 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.294 * [simplify]: Simplified to (- z) 1553848056.294 * [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)))))) 1553848056.294 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 1553848056.294 * [simplify]: Simplifying (* -1 z) 1553848056.295 * * [simplify]: iters left: 2 (3 enodes) 1553848056.295 * * [simplify]: iters left: 1 (11 enodes) 1553848056.297 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.297 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.297 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.297 * [simplify]: Simplified to (- z) 1553848056.297 * [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)))))) 1553848056.297 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 1553848056.298 * [simplify]: Simplifying (* -1 z) 1553848056.298 * * [simplify]: iters left: 2 (3 enodes) 1553848056.299 * * [simplify]: iters left: 1 (11 enodes) 1553848056.300 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.300 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.300 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.300 * [simplify]: Simplified to (- z) 1553848056.300 * [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)))))) 1553848056.301 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 1553848056.301 * [simplify]: Simplifying (* -1 z) 1553848056.301 * * [simplify]: iters left: 2 (3 enodes) 1553848056.302 * * [simplify]: iters left: 1 (11 enodes) 1553848056.303 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.303 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.303 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.304 * [simplify]: Simplified to (- z) 1553848056.304 * [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)))))) 1553848056.304 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 1553848056.304 * [simplify]: Simplifying (* -1 z) 1553848056.304 * * [simplify]: iters left: 2 (3 enodes) 1553848056.305 * * [simplify]: iters left: 1 (11 enodes) 1553848056.307 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.307 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.307 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.307 * [simplify]: Simplified to (- z) 1553848056.307 * [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)))))) 1553848056.307 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 1553848056.307 * [simplify]: Simplifying (* -1 z) 1553848056.307 * * [simplify]: iters left: 2 (3 enodes) 1553848056.308 * * [simplify]: iters left: 1 (11 enodes) 1553848056.310 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.310 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.310 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.310 * [simplify]: Simplified to (- z) 1553848056.310 * [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)))))) 1553848056.310 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 1553848056.311 * [simplify]: Simplifying (* -1 z) 1553848056.311 * * [simplify]: iters left: 2 (3 enodes) 1553848056.311 * * [simplify]: iters left: 1 (11 enodes) 1553848056.313 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.313 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.313 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.313 * [simplify]: Simplified to (- z) 1553848056.313 * [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)))))) 1553848056.313 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 1553848056.314 * [simplify]: Simplifying (* -1 z) 1553848056.314 * * [simplify]: iters left: 2 (3 enodes) 1553848056.315 * * [simplify]: iters left: 1 (11 enodes) 1553848056.316 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.316 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.316 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.317 * [simplify]: Simplified to (- z) 1553848056.317 * [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)))))) 1553848056.317 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 1553848056.317 * [simplify]: Simplifying (* -1 z) 1553848056.317 * * [simplify]: iters left: 2 (3 enodes) 1553848056.318 * * [simplify]: iters left: 1 (11 enodes) 1553848056.320 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848056.320 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848056.320 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848056.320 * [simplify]: Simplified to (- z) 1553848056.320 * [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)))))) 1553848056.321 * * * [progress]: adding candidates to table 1553848060.647 * * [progress]: iteration 2 / 4 1553848060.647 * * * [progress]: picking best candidate 1553848060.679 * * * * [pick]: Picked #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848060.679 * * * [progress]: localizing error 1553848060.887 * * * [progress]: generating rewritten candidates 1553848060.887 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1553848060.887 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 1553848060.921 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1) 1553848060.973 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 1553848061.024 * * * [progress]: generating series expansions 1553848061.024 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1553848061.025 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 z) 1))) into (- z) 1553848061.025 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848061.025 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.025 * [taylor]: Taking taylor expansion of z in z 1553848061.025 * [backup-simplify]: Simplify 0 into 0 1553848061.025 * [backup-simplify]: Simplify 1 into 1 1553848061.025 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.025 * [taylor]: Taking taylor expansion of z in z 1553848061.025 * [backup-simplify]: Simplify 0 into 0 1553848061.025 * [backup-simplify]: Simplify 1 into 1 1553848061.026 * [backup-simplify]: Simplify (- 0) into 0 1553848061.026 * [backup-simplify]: Simplify 0 into 0 1553848061.026 * [backup-simplify]: Simplify (- 1) into -1 1553848061.026 * [backup-simplify]: Simplify -1 into -1 1553848061.026 * [backup-simplify]: Simplify (- 0) into 0 1553848061.027 * [backup-simplify]: Simplify 0 into 0 1553848061.027 * [backup-simplify]: Simplify (- 0) into 0 1553848061.027 * [backup-simplify]: Simplify 0 into 0 1553848061.027 * [backup-simplify]: Simplify (- 0) into 0 1553848061.027 * [backup-simplify]: Simplify 0 into 0 1553848061.028 * [backup-simplify]: Simplify (- 0) into 0 1553848061.028 * [backup-simplify]: Simplify 0 into 0 1553848061.028 * [backup-simplify]: Simplify (- 0) into 0 1553848061.028 * [backup-simplify]: Simplify 0 into 0 1553848061.029 * [backup-simplify]: Simplify (- 0) into 0 1553848061.029 * [backup-simplify]: Simplify 0 into 0 1553848061.029 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848061.029 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 z)) 1))) into (- (/ 1 z)) 1553848061.029 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848061.029 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.029 * [taylor]: Taking taylor expansion of z in z 1553848061.029 * [backup-simplify]: Simplify 0 into 0 1553848061.029 * [backup-simplify]: Simplify 1 into 1 1553848061.029 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.029 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.029 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.029 * [taylor]: Taking taylor expansion of z in z 1553848061.029 * [backup-simplify]: Simplify 0 into 0 1553848061.029 * [backup-simplify]: Simplify 1 into 1 1553848061.029 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.030 * [backup-simplify]: Simplify (- 1) into -1 1553848061.030 * [backup-simplify]: Simplify -1 into -1 1553848061.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.030 * [backup-simplify]: Simplify (- 0) into 0 1553848061.030 * [backup-simplify]: Simplify 0 into 0 1553848061.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.031 * [backup-simplify]: Simplify (- 0) into 0 1553848061.031 * [backup-simplify]: Simplify 0 into 0 1553848061.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.032 * [backup-simplify]: Simplify (- 0) into 0 1553848061.032 * [backup-simplify]: Simplify 0 into 0 1553848061.032 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.033 * [backup-simplify]: Simplify (- 0) into 0 1553848061.033 * [backup-simplify]: Simplify 0 into 0 1553848061.033 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.034 * [backup-simplify]: Simplify (- 0) into 0 1553848061.034 * [backup-simplify]: Simplify 0 into 0 1553848061.034 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.034 * [backup-simplify]: Simplify (- 0) into 0 1553848061.034 * [backup-simplify]: Simplify 0 into 0 1553848061.034 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848061.035 * [backup-simplify]: Simplify (posit16->real (real->posit16 (- (- 1 (/ 1 (- z))) 1))) into (/ 1 z) 1553848061.035 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848061.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.035 * [taylor]: Taking taylor expansion of z in z 1553848061.035 * [backup-simplify]: Simplify 0 into 0 1553848061.035 * [backup-simplify]: Simplify 1 into 1 1553848061.035 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.035 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.035 * [taylor]: Taking taylor expansion of z in z 1553848061.035 * [backup-simplify]: Simplify 0 into 0 1553848061.035 * [backup-simplify]: Simplify 1 into 1 1553848061.035 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.035 * [backup-simplify]: Simplify 1 into 1 1553848061.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.036 * [backup-simplify]: Simplify 0 into 0 1553848061.036 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.036 * [backup-simplify]: Simplify 0 into 0 1553848061.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.037 * [backup-simplify]: Simplify 0 into 0 1553848061.037 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.037 * [backup-simplify]: Simplify 0 into 0 1553848061.038 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.038 * [backup-simplify]: Simplify 0 into 0 1553848061.039 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.039 * [backup-simplify]: Simplify 0 into 0 1553848061.039 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848061.039 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 1 1) 1553848061.039 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553848061.039 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848061.039 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.039 * [taylor]: Taking taylor expansion of z in z 1553848061.039 * [backup-simplify]: Simplify 0 into 0 1553848061.039 * [backup-simplify]: Simplify 1 into 1 1553848061.039 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.039 * [taylor]: Taking taylor expansion of z in z 1553848061.039 * [backup-simplify]: Simplify 0 into 0 1553848061.039 * [backup-simplify]: Simplify 1 into 1 1553848061.039 * [backup-simplify]: Simplify (- 0) into 0 1553848061.039 * [backup-simplify]: Simplify 0 into 0 1553848061.039 * [backup-simplify]: Simplify (- 1) into -1 1553848061.039 * [backup-simplify]: Simplify -1 into -1 1553848061.040 * [backup-simplify]: Simplify (- 0) into 0 1553848061.040 * [backup-simplify]: Simplify 0 into 0 1553848061.040 * [backup-simplify]: Simplify (- 0) into 0 1553848061.040 * [backup-simplify]: Simplify 0 into 0 1553848061.040 * [backup-simplify]: Simplify (- 0) into 0 1553848061.040 * [backup-simplify]: Simplify 0 into 0 1553848061.040 * [backup-simplify]: Simplify (- 0) into 0 1553848061.040 * [backup-simplify]: Simplify 0 into 0 1553848061.041 * [backup-simplify]: Simplify (- 0) into 0 1553848061.041 * [backup-simplify]: Simplify 0 into 0 1553848061.041 * [backup-simplify]: Simplify (- 0) into 0 1553848061.041 * [backup-simplify]: Simplify 0 into 0 1553848061.041 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848061.041 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553848061.041 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848061.041 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.041 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.041 * [taylor]: Taking taylor expansion of z in z 1553848061.041 * [backup-simplify]: Simplify 0 into 0 1553848061.041 * [backup-simplify]: Simplify 1 into 1 1553848061.041 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.042 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.042 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.042 * [taylor]: Taking taylor expansion of z in z 1553848061.042 * [backup-simplify]: Simplify 0 into 0 1553848061.042 * [backup-simplify]: Simplify 1 into 1 1553848061.042 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.042 * [backup-simplify]: Simplify (- 1) into -1 1553848061.042 * [backup-simplify]: Simplify -1 into -1 1553848061.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.043 * [backup-simplify]: Simplify (- 0) into 0 1553848061.043 * [backup-simplify]: Simplify 0 into 0 1553848061.043 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.044 * [backup-simplify]: Simplify (- 0) into 0 1553848061.044 * [backup-simplify]: Simplify 0 into 0 1553848061.044 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.045 * [backup-simplify]: Simplify (- 0) into 0 1553848061.045 * [backup-simplify]: Simplify 0 into 0 1553848061.045 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.045 * [backup-simplify]: Simplify (- 0) into 0 1553848061.046 * [backup-simplify]: Simplify 0 into 0 1553848061.046 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.046 * [backup-simplify]: Simplify (- 0) into 0 1553848061.046 * [backup-simplify]: Simplify 0 into 0 1553848061.047 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.047 * [backup-simplify]: Simplify (- 0) into 0 1553848061.047 * [backup-simplify]: Simplify 0 into 0 1553848061.047 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848061.047 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553848061.047 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848061.047 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.047 * [taylor]: Taking taylor expansion of z in z 1553848061.047 * [backup-simplify]: Simplify 0 into 0 1553848061.047 * [backup-simplify]: Simplify 1 into 1 1553848061.048 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.048 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.048 * [taylor]: Taking taylor expansion of z in z 1553848061.048 * [backup-simplify]: Simplify 0 into 0 1553848061.048 * [backup-simplify]: Simplify 1 into 1 1553848061.048 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.048 * [backup-simplify]: Simplify 1 into 1 1553848061.048 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.048 * [backup-simplify]: Simplify 0 into 0 1553848061.049 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.049 * [backup-simplify]: Simplify 0 into 0 1553848061.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.050 * [backup-simplify]: Simplify 0 into 0 1553848061.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.050 * [backup-simplify]: Simplify 0 into 0 1553848061.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.051 * [backup-simplify]: Simplify 0 into 0 1553848061.051 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.051 * [backup-simplify]: Simplify 0 into 0 1553848061.051 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848061.051 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1) 1553848061.051 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553848061.051 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848061.051 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.051 * [taylor]: Taking taylor expansion of z in z 1553848061.052 * [backup-simplify]: Simplify 0 into 0 1553848061.052 * [backup-simplify]: Simplify 1 into 1 1553848061.052 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.052 * [taylor]: Taking taylor expansion of z in z 1553848061.052 * [backup-simplify]: Simplify 0 into 0 1553848061.052 * [backup-simplify]: Simplify 1 into 1 1553848061.052 * [backup-simplify]: Simplify (- 0) into 0 1553848061.052 * [backup-simplify]: Simplify 0 into 0 1553848061.052 * [backup-simplify]: Simplify (- 1) into -1 1553848061.052 * [backup-simplify]: Simplify -1 into -1 1553848061.052 * [backup-simplify]: Simplify (- 0) into 0 1553848061.052 * [backup-simplify]: Simplify 0 into 0 1553848061.053 * [backup-simplify]: Simplify (- 0) into 0 1553848061.053 * [backup-simplify]: Simplify 0 into 0 1553848061.053 * [backup-simplify]: Simplify (- 0) into 0 1553848061.053 * [backup-simplify]: Simplify 0 into 0 1553848061.053 * [backup-simplify]: Simplify (- 0) into 0 1553848061.053 * [backup-simplify]: Simplify 0 into 0 1553848061.053 * [backup-simplify]: Simplify (- 0) into 0 1553848061.053 * [backup-simplify]: Simplify 0 into 0 1553848061.054 * [backup-simplify]: Simplify (- 0) into 0 1553848061.054 * [backup-simplify]: Simplify 0 into 0 1553848061.054 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848061.054 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553848061.054 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848061.054 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.054 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.054 * [taylor]: Taking taylor expansion of z in z 1553848061.054 * [backup-simplify]: Simplify 0 into 0 1553848061.054 * [backup-simplify]: Simplify 1 into 1 1553848061.054 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.054 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.055 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.055 * [taylor]: Taking taylor expansion of z in z 1553848061.055 * [backup-simplify]: Simplify 0 into 0 1553848061.055 * [backup-simplify]: Simplify 1 into 1 1553848061.055 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.055 * [backup-simplify]: Simplify (- 1) into -1 1553848061.055 * [backup-simplify]: Simplify -1 into -1 1553848061.057 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.057 * [backup-simplify]: Simplify (- 0) into 0 1553848061.057 * [backup-simplify]: Simplify 0 into 0 1553848061.058 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.058 * [backup-simplify]: Simplify (- 0) into 0 1553848061.058 * [backup-simplify]: Simplify 0 into 0 1553848061.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.059 * [backup-simplify]: Simplify (- 0) into 0 1553848061.059 * [backup-simplify]: Simplify 0 into 0 1553848061.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.060 * [backup-simplify]: Simplify (- 0) into 0 1553848061.060 * [backup-simplify]: Simplify 0 into 0 1553848061.060 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.061 * [backup-simplify]: Simplify (- 0) into 0 1553848061.061 * [backup-simplify]: Simplify 0 into 0 1553848061.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.061 * [backup-simplify]: Simplify (- 0) into 0 1553848061.061 * [backup-simplify]: Simplify 0 into 0 1553848061.061 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848061.062 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553848061.062 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848061.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.062 * [taylor]: Taking taylor expansion of z in z 1553848061.062 * [backup-simplify]: Simplify 0 into 0 1553848061.062 * [backup-simplify]: Simplify 1 into 1 1553848061.062 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.062 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.062 * [taylor]: Taking taylor expansion of z in z 1553848061.062 * [backup-simplify]: Simplify 0 into 0 1553848061.062 * [backup-simplify]: Simplify 1 into 1 1553848061.062 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.062 * [backup-simplify]: Simplify 1 into 1 1553848061.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.063 * [backup-simplify]: Simplify 0 into 0 1553848061.063 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.063 * [backup-simplify]: Simplify 0 into 0 1553848061.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.064 * [backup-simplify]: Simplify 0 into 0 1553848061.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.064 * [backup-simplify]: Simplify 0 into 0 1553848061.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.065 * [backup-simplify]: Simplify 0 into 0 1553848061.065 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.065 * [backup-simplify]: Simplify 0 into 0 1553848061.066 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848061.066 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 2 2 1) 1553848061.066 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 1553848061.066 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 1553848061.066 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.066 * [taylor]: Taking taylor expansion of z in z 1553848061.066 * [backup-simplify]: Simplify 0 into 0 1553848061.066 * [backup-simplify]: Simplify 1 into 1 1553848061.066 * [taylor]: Taking taylor expansion of (- z) in z 1553848061.066 * [taylor]: Taking taylor expansion of z in z 1553848061.066 * [backup-simplify]: Simplify 0 into 0 1553848061.066 * [backup-simplify]: Simplify 1 into 1 1553848061.066 * [backup-simplify]: Simplify (- 0) into 0 1553848061.066 * [backup-simplify]: Simplify 0 into 0 1553848061.066 * [backup-simplify]: Simplify (- 1) into -1 1553848061.066 * [backup-simplify]: Simplify -1 into -1 1553848061.067 * [backup-simplify]: Simplify (- 0) into 0 1553848061.067 * [backup-simplify]: Simplify 0 into 0 1553848061.067 * [backup-simplify]: Simplify (- 0) into 0 1553848061.067 * [backup-simplify]: Simplify 0 into 0 1553848061.067 * [backup-simplify]: Simplify (- 0) into 0 1553848061.067 * [backup-simplify]: Simplify 0 into 0 1553848061.067 * [backup-simplify]: Simplify (- 0) into 0 1553848061.067 * [backup-simplify]: Simplify 0 into 0 1553848061.068 * [backup-simplify]: Simplify (- 0) into 0 1553848061.068 * [backup-simplify]: Simplify 0 into 0 1553848061.068 * [backup-simplify]: Simplify (- 0) into 0 1553848061.068 * [backup-simplify]: Simplify 0 into 0 1553848061.068 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 1553848061.068 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 1553848061.068 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 1553848061.068 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.068 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.068 * [taylor]: Taking taylor expansion of z in z 1553848061.068 * [backup-simplify]: Simplify 0 into 0 1553848061.068 * [backup-simplify]: Simplify 1 into 1 1553848061.068 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.068 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 1553848061.068 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.068 * [taylor]: Taking taylor expansion of z in z 1553848061.068 * [backup-simplify]: Simplify 0 into 0 1553848061.068 * [backup-simplify]: Simplify 1 into 1 1553848061.069 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.069 * [backup-simplify]: Simplify (- 1) into -1 1553848061.069 * [backup-simplify]: Simplify -1 into -1 1553848061.069 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.070 * [backup-simplify]: Simplify (- 0) into 0 1553848061.070 * [backup-simplify]: Simplify 0 into 0 1553848061.070 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.070 * [backup-simplify]: Simplify (- 0) into 0 1553848061.070 * [backup-simplify]: Simplify 0 into 0 1553848061.071 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.071 * [backup-simplify]: Simplify (- 0) into 0 1553848061.071 * [backup-simplify]: Simplify 0 into 0 1553848061.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.072 * [backup-simplify]: Simplify (- 0) into 0 1553848061.072 * [backup-simplify]: Simplify 0 into 0 1553848061.072 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.073 * [backup-simplify]: Simplify (- 0) into 0 1553848061.073 * [backup-simplify]: Simplify 0 into 0 1553848061.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.073 * [backup-simplify]: Simplify (- 0) into 0 1553848061.073 * [backup-simplify]: Simplify 0 into 0 1553848061.074 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 1553848061.074 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 1553848061.074 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 1553848061.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.074 * [taylor]: Taking taylor expansion of z in z 1553848061.074 * [backup-simplify]: Simplify 0 into 0 1553848061.074 * [backup-simplify]: Simplify 1 into 1 1553848061.074 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.074 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1553848061.074 * [taylor]: Taking taylor expansion of z in z 1553848061.074 * [backup-simplify]: Simplify 0 into 0 1553848061.074 * [backup-simplify]: Simplify 1 into 1 1553848061.074 * [backup-simplify]: Simplify (/ 1 1) into 1 1553848061.074 * [backup-simplify]: Simplify 1 into 1 1553848061.075 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553848061.075 * [backup-simplify]: Simplify 0 into 0 1553848061.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.076 * [backup-simplify]: Simplify 0 into 0 1553848061.076 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.076 * [backup-simplify]: Simplify 0 into 0 1553848061.077 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.077 * [backup-simplify]: Simplify 0 into 0 1553848061.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.078 * [backup-simplify]: Simplify 0 into 0 1553848061.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553848061.078 * [backup-simplify]: Simplify 0 into 0 1553848061.078 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 1553848061.078 * * * [progress]: simplifying candidates 1553848061.078 * * * * [progress]: [ 1 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 1) 8))))))> 1553848061.079 * * * * [progress]: [ 2 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 1553848061.079 * * * * [progress]: [ 3 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 8))))))> 1553848061.079 * * * * [progress]: [ 4 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) (cbrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 1553848061.079 * * * * [progress]: [ 5 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) (posit16->real (real->posit16 (- (- 1 z) 1)))) (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 1553848061.079 * * * * [progress]: [ 6 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (sqrt (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 1553848061.079 * * * * [progress]: [ 7 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) 8))))))> 1553848061.079 * * * * [progress]: [ 8 / 87 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 1553848061.079 * * * * [progress]: [ 9 / 87 ] simplifiying candidate # 1553848061.079 * [simplify]: Simplifying (- 1 z) 1553848061.080 * * [simplify]: iters left: 2 (3 enodes) 1553848061.081 * * [simplify]: iters left: 1 (13 enodes) 1553848061.083 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.083 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848061.083 * * [simplify]: Extracting #2: cost 3 inf + 43 1553848061.083 * * [simplify]: Extracting #3: cost 0 inf + 168 1553848061.083 * [simplify]: Simplified to (- 1 z) 1553848061.083 * [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 (+ (- (- 1 z) 1) 8)))))) 1553848061.084 * * * * [progress]: [ 10 / 87 ] simplifiying candidate #real (real->posit16 (log (/ (/ (exp 1) (exp z)) (exp 1))))) 8))))))> 1553848061.084 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 1553848061.084 * * [simplify]: iters left: 5 (6 enodes) 1553848061.085 * * [simplify]: iters left: 4 (23 enodes) 1553848061.089 * * [simplify]: iters left: 3 (34 enodes) 1553848061.099 * * [simplify]: iters left: 2 (39 enodes) 1553848061.109 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.109 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848061.110 * * [simplify]: Extracting #2: cost 12 inf + 2 1553848061.110 * * [simplify]: Extracting #3: cost 5 inf + 492 1553848061.110 * * [simplify]: Extracting #4: cost 1 inf + 869 1553848061.110 * * [simplify]: Extracting #5: cost 0 inf + 981 1553848061.111 * [simplify]: Simplified to (exp (- z)) 1553848061.111 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log (exp (- z))))) 8)))))) 1553848061.112 * * * * [progress]: [ 11 / 87 ] simplifiying candidate #real (real->posit16 (log (/ (exp (- 1 z)) (exp 1))))) 8))))))> 1553848061.112 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 1553848061.112 * * [simplify]: iters left: 5 (6 enodes) 1553848061.115 * * [simplify]: iters left: 4 (25 enodes) 1553848061.123 * * [simplify]: iters left: 3 (43 enodes) 1553848061.137 * * [simplify]: iters left: 2 (69 enodes) 1553848061.159 * * [simplify]: iters left: 1 (117 enodes) 1553848061.211 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.211 * * [simplify]: Extracting #1: cost 23 inf + 0 1553848061.212 * * [simplify]: Extracting #2: cost 47 inf + 43 1553848061.212 * * [simplify]: Extracting #3: cost 56 inf + 270 1553848061.214 * * [simplify]: Extracting #4: cost 9 inf + 4884 1553848061.217 * * [simplify]: Extracting #5: cost 0 inf + 6053 1553848061.218 * * [simplify]: Extracting #6: cost 0 inf + 6011 1553848061.219 * [simplify]: Simplified to (exp (- z)) 1553848061.219 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (log (exp (- z))))) 8)))))) 1553848061.220 * * * * [progress]: [ 12 / 87 ] simplifiying candidate #real (real->posit16 (pow (- (- 1 z) 1) 1))) 8))))))> 1553848061.220 * * * * [progress]: [ 13 / 87 ] simplifiying candidate #real (real->posit16 (exp (log (- (- 1 z) 1))))) 8))))))> 1553848061.220 * * * * [progress]: [ 14 / 87 ] simplifiying candidate #real (real->posit16 (log (exp (- (- 1 z) 1))))) 8))))))> 1553848061.220 * * * * [progress]: [ 15 / 87 ] simplifiying candidate #real (real->posit16 (* (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))))) 8))))))> 1553848061.220 * * * * [progress]: [ 16 / 87 ] simplifiying candidate #real (real->posit16 (cbrt (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1))))) 8))))))> 1553848061.220 * * * * [progress]: [ 17 / 87 ] simplifiying candidate #real (real->posit16 (* (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1))))) 8))))))> 1553848061.220 * * * * [progress]: [ 18 / 87 ] simplifiying candidate #real (real->posit16 (/ (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1)))))) 8))))))> 1553848061.221 * * * * [progress]: [ 19 / 87 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 1553848061.221 * * * * [progress]: [ 20 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 1553848061.221 * * * * [progress]: [ 21 / 87 ] simplifiying candidate #real (real->posit16 (/ (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1)))) 8))))))> 1553848061.221 * * * * [progress]: [ 22 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1))))) 8))))))> 1553848061.221 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 1553848061.221 * * [simplify]: iters left: 5 (6 enodes) 1553848061.224 * * [simplify]: iters left: 4 (23 enodes) 1553848061.227 * * [simplify]: iters left: 3 (28 enodes) 1553848061.231 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.231 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.231 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.231 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.232 * * [simplify]: Extracting #4: cost 6 inf + 86 1553848061.232 * * [simplify]: Extracting #5: cost 1 inf + 454 1553848061.232 * * [simplify]: Extracting #6: cost 0 inf + 576 1553848061.232 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.232 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) (sqrt 1))))) 8)))))) 1553848061.232 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 1553848061.233 * * [simplify]: iters left: 5 (6 enodes) 1553848061.235 * * [simplify]: iters left: 4 (25 enodes) 1553848061.240 * * [simplify]: iters left: 3 (34 enodes) 1553848061.244 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.244 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848061.244 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848061.244 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848061.244 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848061.244 * * [simplify]: Extracting #5: cost 2 inf + 373 1553848061.245 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848061.245 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848061.245 * [simplify]: Simplified (2 2 2 2 2 1 1 1 2) 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 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) 1)))) 8)))))) 1553848061.245 * * * * [progress]: [ 23 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 1553848061.245 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848061.246 * * [simplify]: iters left: 5 (5 enodes) 1553848061.247 * * [simplify]: iters left: 4 (20 enodes) 1553848061.251 * * [simplify]: iters left: 3 (25 enodes) 1553848061.258 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.258 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.258 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.258 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.258 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848061.259 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848061.259 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.259 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8)))))) 1553848061.260 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 1553848061.260 * * [simplify]: iters left: 5 (5 enodes) 1553848061.263 * * [simplify]: iters left: 4 (22 enodes) 1553848061.274 * * [simplify]: iters left: 3 (29 enodes) 1553848061.282 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.282 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848061.283 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848061.283 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848061.283 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848061.283 * * [simplify]: Extracting #5: cost 1 inf + 455 1553848061.283 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848061.283 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848061.284 * [simplify]: Simplified (2 2 2 2 2 1 1 1 2) 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 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8)))))) 1553848061.284 * * * * [progress]: [ 24 / 87 ] simplifiying candidate #real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8))))))> 1553848061.285 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848061.285 * * [simplify]: iters left: 5 (5 enodes) 1553848061.288 * * [simplify]: iters left: 4 (20 enodes) 1553848061.294 * * [simplify]: iters left: 3 (25 enodes) 1553848061.300 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.301 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.301 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.301 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.301 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848061.301 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848061.301 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.301 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (* (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1)))) 8)))))) 1553848061.302 * * * * [progress]: [ 25 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 1553848061.303 * [simplify]: Simplifying (- (- 1 z) 1) 1553848061.303 * * [simplify]: iters left: 4 (4 enodes) 1553848061.305 * * [simplify]: iters left: 3 (21 enodes) 1553848061.312 * * [simplify]: iters left: 2 (39 enodes) 1553848061.326 * * [simplify]: iters left: 1 (51 enodes) 1553848061.337 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.337 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848061.338 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848061.338 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848061.338 * [simplify]: Simplified to (- z) 1553848061.338 * [simplify]: Simplified (2 2 2 2 2 1 1 1 2) 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 (+ (posit16->real (real->posit16 (* 1 (- z)))) 8)))))) 1553848061.338 * * * * [progress]: [ 26 / 87 ] simplifiying candidate #real (real->posit16 (* 1 (- (- 1 z) 1)))) 8))))))> 1553848061.339 * [simplify]: Simplifying (- (- 1 z) 1) 1553848061.339 * * [simplify]: iters left: 4 (4 enodes) 1553848061.340 * * [simplify]: iters left: 3 (21 enodes) 1553848061.344 * * [simplify]: iters left: 2 (39 enodes) 1553848061.350 * * [simplify]: iters left: 1 (51 enodes) 1553848061.356 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.356 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848061.356 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848061.357 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848061.357 * [simplify]: Simplified to (- z) 1553848061.357 * [simplify]: Simplified (2 2 2 2 2 1 1 1 2) 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 (+ (posit16->real (real->posit16 (* 1 (- z)))) 8)))))) 1553848061.358 * * * * [progress]: [ 27 / 87 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 1553848061.358 * * * * [progress]: [ 28 / 87 ] simplifiying candidate #real (real->posit16 (+ 1 (- (- z) 1)))) 8))))))> 1553848061.358 * * * * [progress]: [ 29 / 87 ] simplifiying candidate #real (real->posit16 (- 1 (+ z 1)))) 8))))))> 1553848061.358 * * * * [progress]: [ 30 / 87 ] simplifiying candidate #real (real->posit16 (+ (- 1 z) (- 1)))) 8))))))> 1553848061.358 * * * * [progress]: [ 31 / 87 ] simplifiying candidate #real (real->posit16 (posit16->real (real->posit16 (- (- 1 z) 1))))) 8))))))> 1553848061.358 * * * * [progress]: [ 32 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.359 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 1553848061.359 * * [simplify]: iters left: 5 (6 enodes) 1553848061.362 * * [simplify]: iters left: 4 (23 enodes) 1553848061.369 * * [simplify]: iters left: 3 (34 enodes) 1553848061.380 * * [simplify]: iters left: 2 (39 enodes) 1553848061.388 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.388 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848061.388 * * [simplify]: Extracting #2: cost 12 inf + 2 1553848061.388 * * [simplify]: Extracting #3: cost 5 inf + 492 1553848061.389 * * [simplify]: Extracting #4: cost 1 inf + 869 1553848061.389 * * [simplify]: Extracting #5: cost 0 inf + 981 1553848061.389 * [simplify]: Simplified to (exp (- z)) 1553848061.389 * [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 (+ (log (exp (- z))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.389 * * * * [progress]: [ 33 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.390 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 1553848061.390 * * [simplify]: iters left: 5 (6 enodes) 1553848061.391 * * [simplify]: iters left: 4 (25 enodes) 1553848061.396 * * [simplify]: iters left: 3 (43 enodes) 1553848061.405 * * [simplify]: iters left: 2 (69 enodes) 1553848061.419 * * [simplify]: iters left: 1 (117 enodes) 1553848061.495 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.495 * * [simplify]: Extracting #1: cost 23 inf + 0 1553848061.495 * * [simplify]: Extracting #2: cost 47 inf + 43 1553848061.496 * * [simplify]: Extracting #3: cost 56 inf + 270 1553848061.498 * * [simplify]: Extracting #4: cost 9 inf + 4884 1553848061.500 * * [simplify]: Extracting #5: cost 0 inf + 6053 1553848061.503 * * [simplify]: Extracting #6: cost 0 inf + 6011 1553848061.506 * [simplify]: Simplified to (exp (- z)) 1553848061.506 * [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 (+ (log (exp (- z))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.506 * * * * [progress]: [ 34 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.507 * * * * [progress]: [ 35 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.507 * * * * [progress]: [ 36 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.507 * * * * [progress]: [ 37 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.507 * * * * [progress]: [ 38 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.507 * * * * [progress]: [ 39 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.507 * * * * [progress]: [ 40 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.508 * * * * [progress]: [ 41 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.508 * * * * [progress]: [ 42 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.508 * * * * [progress]: [ 43 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.508 * * * * [progress]: [ 44 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.508 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 1553848061.509 * * [simplify]: iters left: 5 (6 enodes) 1553848061.517 * * [simplify]: iters left: 4 (23 enodes) 1553848061.523 * * [simplify]: iters left: 3 (28 enodes) 1553848061.531 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.531 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.531 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.531 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.531 * * [simplify]: Extracting #4: cost 6 inf + 86 1553848061.531 * * [simplify]: Extracting #5: cost 1 inf + 454 1553848061.532 * * [simplify]: Extracting #6: cost 0 inf + 576 1553848061.532 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.532 * [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)) (sqrt 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.533 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 1553848061.533 * * [simplify]: iters left: 5 (6 enodes) 1553848061.538 * * [simplify]: iters left: 4 (25 enodes) 1553848061.546 * * [simplify]: iters left: 3 (34 enodes) 1553848061.555 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.556 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848061.556 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848061.556 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848061.556 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848061.556 * * [simplify]: Extracting #5: cost 2 inf + 373 1553848061.556 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848061.556 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848061.557 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.557 * * * * [progress]: [ 45 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.558 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848061.558 * * [simplify]: iters left: 5 (5 enodes) 1553848061.560 * * [simplify]: iters left: 4 (20 enodes) 1553848061.567 * * [simplify]: iters left: 3 (25 enodes) 1553848061.574 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.574 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.574 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.574 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.574 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848061.574 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848061.575 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.575 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.576 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 1553848061.576 * * [simplify]: iters left: 5 (5 enodes) 1553848061.579 * * [simplify]: iters left: 4 (22 enodes) 1553848061.585 * * [simplify]: iters left: 3 (29 enodes) 1553848061.589 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.589 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848061.589 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848061.589 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848061.589 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848061.590 * * [simplify]: Extracting #5: cost 1 inf + 455 1553848061.590 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848061.590 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848061.590 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.590 * * * * [progress]: [ 46 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.591 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848061.591 * * [simplify]: iters left: 5 (5 enodes) 1553848061.592 * * [simplify]: iters left: 4 (20 enodes) 1553848061.595 * * [simplify]: iters left: 3 (25 enodes) 1553848061.599 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.599 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.599 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.599 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.599 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848061.599 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848061.599 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.599 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.600 * * * * [progress]: [ 47 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.600 * [simplify]: Simplifying (- (- 1 z) 1) 1553848061.600 * * [simplify]: iters left: 4 (4 enodes) 1553848061.602 * * [simplify]: iters left: 3 (21 enodes) 1553848061.605 * * [simplify]: iters left: 2 (39 enodes) 1553848061.612 * * [simplify]: iters left: 1 (51 enodes) 1553848061.618 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.618 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848061.618 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848061.618 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848061.618 * [simplify]: Simplified to (- z) 1553848061.618 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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)) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.619 * * * * [progress]: [ 48 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.619 * [simplify]: Simplifying (- (- 1 z) 1) 1553848061.619 * * [simplify]: iters left: 4 (4 enodes) 1553848061.620 * * [simplify]: iters left: 3 (21 enodes) 1553848061.624 * * [simplify]: iters left: 2 (39 enodes) 1553848061.639 * * [simplify]: iters left: 1 (51 enodes) 1553848061.650 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.650 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848061.650 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848061.650 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848061.650 * [simplify]: Simplified to (- z) 1553848061.650 * [simplify]: Simplified (2 2 2 1 2 2 1 2) 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)) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.651 * * * * [progress]: [ 49 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.651 * * * * [progress]: [ 50 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.651 * * * * [progress]: [ 51 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.651 * * * * [progress]: [ 52 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.651 * * * * [progress]: [ 53 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.651 * * * * [progress]: [ 54 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.652 * [simplify]: Simplifying (/ (/ (exp 1) (exp z)) (exp 1)) 1553848061.652 * * [simplify]: iters left: 5 (6 enodes) 1553848061.653 * * [simplify]: iters left: 4 (23 enodes) 1553848061.657 * * [simplify]: iters left: 3 (34 enodes) 1553848061.662 * * [simplify]: iters left: 2 (39 enodes) 1553848061.667 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.667 * * [simplify]: Extracting #1: cost 8 inf + 0 1553848061.667 * * [simplify]: Extracting #2: cost 12 inf + 2 1553848061.667 * * [simplify]: Extracting #3: cost 5 inf + 492 1553848061.667 * * [simplify]: Extracting #4: cost 1 inf + 869 1553848061.667 * * [simplify]: Extracting #5: cost 0 inf + 981 1553848061.667 * [simplify]: Simplified to (exp (- z)) 1553848061.667 * [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 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.668 * * * * [progress]: [ 55 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.668 * [simplify]: Simplifying (/ (exp (- 1 z)) (exp 1)) 1553848061.668 * * [simplify]: iters left: 5 (6 enodes) 1553848061.670 * * [simplify]: iters left: 4 (25 enodes) 1553848061.674 * * [simplify]: iters left: 3 (43 enodes) 1553848061.682 * * [simplify]: iters left: 2 (69 enodes) 1553848061.692 * * [simplify]: iters left: 1 (117 enodes) 1553848061.741 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.741 * * [simplify]: Extracting #1: cost 23 inf + 0 1553848061.741 * * [simplify]: Extracting #2: cost 47 inf + 43 1553848061.741 * * [simplify]: Extracting #3: cost 56 inf + 270 1553848061.742 * * [simplify]: Extracting #4: cost 9 inf + 4884 1553848061.743 * * [simplify]: Extracting #5: cost 0 inf + 6053 1553848061.745 * * [simplify]: Extracting #6: cost 0 inf + 6011 1553848061.746 * [simplify]: Simplified to (exp (- z)) 1553848061.746 * [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 (+ (log (exp (- z))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.747 * * * * [progress]: [ 56 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 57 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 58 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 59 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 60 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 61 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 62 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 63 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 64 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.747 * * * * [progress]: [ 65 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.748 * * * * [progress]: [ 66 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.748 * [simplify]: Simplifying (+ (sqrt (- 1 z)) (sqrt 1)) 1553848061.748 * * [simplify]: iters left: 5 (6 enodes) 1553848061.751 * * [simplify]: iters left: 4 (23 enodes) 1553848061.754 * * [simplify]: iters left: 3 (28 enodes) 1553848061.757 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.757 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.757 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.757 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.758 * * [simplify]: Extracting #4: cost 6 inf + 86 1553848061.758 * * [simplify]: Extracting #5: cost 1 inf + 454 1553848061.758 * * [simplify]: Extracting #6: cost 0 inf + 576 1553848061.758 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.758 * [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)) (sqrt 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.759 * [simplify]: Simplifying (- (sqrt (- 1 z)) (sqrt 1)) 1553848061.759 * * [simplify]: iters left: 5 (6 enodes) 1553848061.762 * * [simplify]: iters left: 4 (25 enodes) 1553848061.766 * * [simplify]: iters left: 3 (34 enodes) 1553848061.771 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.771 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848061.771 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848061.771 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848061.771 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848061.771 * * [simplify]: Extracting #5: cost 2 inf + 373 1553848061.771 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848061.772 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848061.772 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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)) (sqrt 1)) (- (sqrt (- 1 z)) 1)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.772 * * * * [progress]: [ 67 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.773 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848061.773 * * [simplify]: iters left: 5 (5 enodes) 1553848061.776 * * [simplify]: iters left: 4 (20 enodes) 1553848061.782 * * [simplify]: iters left: 3 (25 enodes) 1553848061.787 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.787 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.787 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.787 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.787 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848061.787 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848061.787 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.787 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.788 * [simplify]: Simplifying (- (sqrt (- 1 z)) 1) 1553848061.788 * * [simplify]: iters left: 5 (5 enodes) 1553848061.790 * * [simplify]: iters left: 4 (22 enodes) 1553848061.793 * * [simplify]: iters left: 3 (29 enodes) 1553848061.797 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.797 * * [simplify]: Extracting #1: cost 5 inf + 0 1553848061.797 * * [simplify]: Extracting #2: cost 5 inf + 2 1553848061.798 * * [simplify]: Extracting #3: cost 8 inf + 2 1553848061.798 * * [simplify]: Extracting #4: cost 7 inf + 44 1553848061.798 * * [simplify]: Extracting #5: cost 1 inf + 455 1553848061.798 * * [simplify]: Extracting #6: cost 0 inf + 577 1553848061.798 * [simplify]: Simplified to (- (sqrt (- 1 z)) 1) 1553848061.798 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.799 * * * * [progress]: [ 68 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.799 * [simplify]: Simplifying (+ (sqrt (- 1 z)) 1) 1553848061.799 * * [simplify]: iters left: 5 (5 enodes) 1553848061.800 * * [simplify]: iters left: 4 (20 enodes) 1553848061.803 * * [simplify]: iters left: 3 (25 enodes) 1553848061.810 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.810 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.810 * * [simplify]: Extracting #2: cost 5 inf + 1 1553848061.810 * * [simplify]: Extracting #3: cost 8 inf + 1 1553848061.810 * * [simplify]: Extracting #4: cost 1 inf + 535 1553848061.811 * * [simplify]: Extracting #5: cost 0 inf + 576 1553848061.811 * [simplify]: Simplified to (+ (sqrt (- 1 z)) 1) 1553848061.811 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.811 * * * * [progress]: [ 69 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.811 * [simplify]: Simplifying (- (- 1 z) 1) 1553848061.811 * * [simplify]: iters left: 4 (4 enodes) 1553848061.813 * * [simplify]: iters left: 3 (21 enodes) 1553848061.816 * * [simplify]: iters left: 2 (39 enodes) 1553848061.823 * * [simplify]: iters left: 1 (51 enodes) 1553848061.829 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.829 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848061.829 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848061.829 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848061.829 * [simplify]: Simplified to (- z) 1553848061.830 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.830 * * * * [progress]: [ 70 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.830 * [simplify]: Simplifying (- (- 1 z) 1) 1553848061.830 * * [simplify]: iters left: 4 (4 enodes) 1553848061.832 * * [simplify]: iters left: 3 (21 enodes) 1553848061.836 * * [simplify]: iters left: 2 (39 enodes) 1553848061.842 * * [simplify]: iters left: 1 (51 enodes) 1553848061.848 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.848 * * [simplify]: Extracting #1: cost 10 inf + 0 1553848061.848 * * [simplify]: Extracting #2: cost 6 inf + 129 1553848061.848 * * [simplify]: Extracting #3: cost 0 inf + 420 1553848061.848 * [simplify]: Simplified to (- z) 1553848061.849 * [simplify]: Simplified (2 2 2 1 1 2 2 1 2) 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)) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.849 * * * * [progress]: [ 71 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.849 * * * * [progress]: [ 72 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.849 * * * * [progress]: [ 73 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.850 * * * * [progress]: [ 74 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.850 * * * * [progress]: [ 75 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.850 * * * * [progress]: [ 76 / 87 ] simplifiying candidate # 1553848061.850 * [simplify]: Simplifying (* -1 z) 1553848061.850 * * [simplify]: iters left: 2 (3 enodes) 1553848061.851 * * [simplify]: iters left: 1 (11 enodes) 1553848061.853 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.853 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.853 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.853 * [simplify]: Simplified to (- z) 1553848061.853 * [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)))))) 1553848061.854 * * * * [progress]: [ 77 / 87 ] simplifiying candidate # 1553848061.854 * [simplify]: Simplifying (* -1 z) 1553848061.854 * * [simplify]: iters left: 2 (3 enodes) 1553848061.855 * * [simplify]: iters left: 1 (11 enodes) 1553848061.856 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.856 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.856 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.857 * [simplify]: Simplified to (- z) 1553848061.857 * [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)))))) 1553848061.857 * * * * [progress]: [ 78 / 87 ] simplifiying candidate # 1553848061.857 * [simplify]: Simplifying (* -1 z) 1553848061.857 * * [simplify]: iters left: 2 (3 enodes) 1553848061.858 * * [simplify]: iters left: 1 (11 enodes) 1553848061.860 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.860 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.860 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.860 * [simplify]: Simplified to (- z) 1553848061.860 * [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)))))) 1553848061.860 * * * * [progress]: [ 79 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 1553848061.860 * [simplify]: Simplifying (* -1 z) 1553848061.861 * * [simplify]: iters left: 2 (3 enodes) 1553848061.862 * * [simplify]: iters left: 1 (11 enodes) 1553848061.863 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.863 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.863 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.863 * [simplify]: Simplified to (- z) 1553848061.863 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- z))) 8)))))) 1553848061.864 * * * * [progress]: [ 80 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 1553848061.864 * [simplify]: Simplifying (* -1 z) 1553848061.864 * * [simplify]: iters left: 2 (3 enodes) 1553848061.865 * * [simplify]: iters left: 1 (11 enodes) 1553848061.866 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.866 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.866 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.866 * [simplify]: Simplified to (- z) 1553848061.867 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- z))) 8)))))) 1553848061.867 * * * * [progress]: [ 81 / 87 ] simplifiying candidate #real (real->posit16 (* -1 z))) 8))))))> 1553848061.867 * [simplify]: Simplifying (* -1 z) 1553848061.867 * * [simplify]: iters left: 2 (3 enodes) 1553848061.868 * * [simplify]: iters left: 1 (11 enodes) 1553848061.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.871 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.871 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.871 * [simplify]: Simplified to (- z) 1553848061.871 * [simplify]: Simplified (2 2 2 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 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (posit16->real (real->posit16 (- z))) 8)))))) 1553848061.872 * * * * [progress]: [ 82 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.872 * [simplify]: Simplifying (* -1 z) 1553848061.872 * * [simplify]: iters left: 2 (3 enodes) 1553848061.874 * * [simplify]: iters left: 1 (11 enodes) 1553848061.877 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.877 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.877 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.877 * [simplify]: Simplified to (- z) 1553848061.878 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.878 * * * * [progress]: [ 83 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.879 * [simplify]: Simplifying (* -1 z) 1553848061.879 * * [simplify]: iters left: 2 (3 enodes) 1553848061.881 * * [simplify]: iters left: 1 (11 enodes) 1553848061.884 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.884 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.884 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.884 * [simplify]: Simplified to (- z) 1553848061.884 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.885 * * * * [progress]: [ 84 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.885 * [simplify]: Simplifying (* -1 z) 1553848061.885 * * [simplify]: iters left: 2 (3 enodes) 1553848061.886 * * [simplify]: iters left: 1 (11 enodes) 1553848061.887 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.888 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.888 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.888 * [simplify]: Simplified to (- z) 1553848061.888 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.888 * * * * [progress]: [ 85 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.888 * [simplify]: Simplifying (* -1 z) 1553848061.888 * * [simplify]: iters left: 2 (3 enodes) 1553848061.889 * * [simplify]: iters left: 1 (11 enodes) 1553848061.891 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.891 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.891 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.891 * [simplify]: Simplified to (- z) 1553848061.891 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.891 * * * * [progress]: [ 86 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.892 * [simplify]: Simplifying (* -1 z) 1553848061.892 * * [simplify]: iters left: 2 (3 enodes) 1553848061.892 * * [simplify]: iters left: 1 (11 enodes) 1553848061.894 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.894 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.894 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.894 * [simplify]: Simplified to (- z) 1553848061.894 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.895 * * * * [progress]: [ 87 / 87 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 1553848061.895 * [simplify]: Simplifying (* -1 z) 1553848061.895 * * [simplify]: iters left: 2 (3 enodes) 1553848061.896 * * [simplify]: iters left: 1 (11 enodes) 1553848061.897 * * [simplify]: Extracting #0: cost 1 inf + 0 1553848061.897 * * [simplify]: Extracting #1: cost 4 inf + 0 1553848061.897 * * [simplify]: Extracting #2: cost 0 inf + 84 1553848061.897 * [simplify]: Simplified to (- z) 1553848061.897 * [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 (+ (posit16->real (real->posit16 (- (- 1 z) 1))) 8)))))) 1553848061.898 * * * [progress]: adding candidates to table 1553848066.781 * [progress]: [Phase 3 of 3] Extracting. 1553848066.781 * * [regime]: Finding splitpoints for: (#real (real->posit16 (- (- 1 z) 1))) 8))))))> #) 1553848066.793 * * * [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)))))) 1553848066.794 * * * * [regimes]: Trying to branch on z from (#real (real->posit16 (- (- 1 z) 1))) 8))))))> #) 1553848066.850 * * * * [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))) 8))))))> #) 1553848066.986 * * * [regime]: Found split indices: #