19.544 * [progress]: [Phase 1 of 3] Setting up. 0.003 * * * [progress]: [1/2] Preparing points 1.640 * * * [progress]: [2/2] Setting up program. 1.663 * [progress]: [Phase 2 of 3] Improving. 1.663 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1.664 * [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))))) 1.664 * * [simplify]: iteration 1: (60 enodes) 1.689 * * [simplify]: iteration 2: (155 enodes) 1.788 * * [simplify]: iteration 3: (614 enodes) 2.435 * * [simplify]: Extracting #0: cost 1 inf + 0 2.435 * * [simplify]: Extracting #1: cost 87 inf + 0 2.436 * * [simplify]: Extracting #2: cost 548 inf + 1 2.439 * * [simplify]: Extracting #3: cost 1051 inf + 2 2.444 * * [simplify]: Extracting #4: cost 1118 inf + 1610 2.458 * * [simplify]: Extracting #5: cost 994 inf + 17792 2.491 * * [simplify]: Extracting #6: cost 700 inf + 129289 2.678 * * [simplify]: Extracting #7: cost 160 inf + 607953 2.923 * * [simplify]: Extracting #8: cost 0 inf + 782056 3.167 * * [simplify]: Extracting #9: cost 0 inf + 776292 3.469 * * [simplify]: Extracting #10: cost 0 inf + 776135 3.747 * [simplify]: Simplified to: (* (* (+ (+ (+ (/ -0.13857109526572012 (- 6 z)) (/ 12.507343278686905 (+ (- 6 z) -1))) (+ (+ (+ (/ 771.3234287776531 (+ 2 (- 1 z))) (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z)))) (/ -176.6150291621406 (- 4 z))) (/ -1259.1392167224028 (- 2 z)))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ 9.984369578019572e-06 (- 7 z)))) (* (sqrt (* 2 PI)) (/ PI (sin (* PI z))))) (/ (pow (+ (- 7 z) 0.5) (+ 0.5 (- 0 z))) (exp (+ (- 7 z) 0.5)))) 3.774 * * [progress]: iteration 1 / 4 3.774 * * * [progress]: picking best candidate 3.809 * * * * [pick]: Picked # 3.809 * * * [progress]: localizing error 3.979 * * * [progress]: generating rewritten candidates 3.979 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 4.009 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 4.053 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 4.083 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1) 4.126 * * * [progress]: generating series expansions 4.126 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 4.126 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 4.126 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.126 * [taylor]: Taking taylor expansion of (- z) in z 4.126 * [taylor]: Taking taylor expansion of z in z 4.126 * [backup-simplify]: Simplify 0 into 0 4.126 * [backup-simplify]: Simplify 1 into 1 4.126 * [taylor]: Taking taylor expansion of (- z) in z 4.126 * [taylor]: Taking taylor expansion of z in z 4.127 * [backup-simplify]: Simplify 0 into 0 4.127 * [backup-simplify]: Simplify 1 into 1 4.127 * [backup-simplify]: Simplify (- 0) into 0 4.127 * [backup-simplify]: Simplify 0 into 0 4.128 * [backup-simplify]: Simplify (- 1) into -1 4.128 * [backup-simplify]: Simplify -1 into -1 4.128 * [backup-simplify]: Simplify (- 0) into 0 4.128 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify (- 0) into 0 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify (- 0) into 0 4.129 * [backup-simplify]: Simplify 0 into 0 4.129 * [backup-simplify]: Simplify (- 0) into 0 4.129 * [backup-simplify]: Simplify 0 into 0 4.130 * [backup-simplify]: Simplify (- 0) into 0 4.130 * [backup-simplify]: Simplify 0 into 0 4.130 * [backup-simplify]: Simplify (- 0) into 0 4.130 * [backup-simplify]: Simplify 0 into 0 4.130 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 4.130 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 4.130 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.130 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.130 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.130 * [taylor]: Taking taylor expansion of z in z 4.130 * [backup-simplify]: Simplify 0 into 0 4.130 * [backup-simplify]: Simplify 1 into 1 4.131 * [backup-simplify]: Simplify (/ 1 1) into 1 4.131 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.131 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.131 * [taylor]: Taking taylor expansion of z in z 4.131 * [backup-simplify]: Simplify 0 into 0 4.131 * [backup-simplify]: Simplify 1 into 1 4.131 * [backup-simplify]: Simplify (/ 1 1) into 1 4.131 * [backup-simplify]: Simplify (- 1) into -1 4.131 * [backup-simplify]: Simplify -1 into -1 4.132 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.132 * [backup-simplify]: Simplify (- 0) into 0 4.132 * [backup-simplify]: Simplify 0 into 0 4.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.133 * [backup-simplify]: Simplify (- 0) into 0 4.133 * [backup-simplify]: Simplify 0 into 0 4.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.134 * [backup-simplify]: Simplify (- 0) into 0 4.134 * [backup-simplify]: Simplify 0 into 0 4.134 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.135 * [backup-simplify]: Simplify (- 0) into 0 4.135 * [backup-simplify]: Simplify 0 into 0 4.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.136 * [backup-simplify]: Simplify (- 0) into 0 4.136 * [backup-simplify]: Simplify 0 into 0 4.136 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.137 * [backup-simplify]: Simplify (- 0) into 0 4.137 * [backup-simplify]: Simplify 0 into 0 4.137 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 4.137 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 4.137 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.137 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.137 * [taylor]: Taking taylor expansion of z in z 4.137 * [backup-simplify]: Simplify 0 into 0 4.137 * [backup-simplify]: Simplify 1 into 1 4.137 * [backup-simplify]: Simplify (/ 1 1) into 1 4.137 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.137 * [taylor]: Taking taylor expansion of z in z 4.137 * [backup-simplify]: Simplify 0 into 0 4.137 * [backup-simplify]: Simplify 1 into 1 4.138 * [backup-simplify]: Simplify (/ 1 1) into 1 4.138 * [backup-simplify]: Simplify 1 into 1 4.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.138 * [backup-simplify]: Simplify 0 into 0 4.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.139 * [backup-simplify]: Simplify 0 into 0 4.139 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.139 * [backup-simplify]: Simplify 0 into 0 4.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.140 * [backup-simplify]: Simplify 0 into 0 4.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.141 * [backup-simplify]: Simplify 0 into 0 4.141 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.141 * [backup-simplify]: Simplify 0 into 0 4.141 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 4.142 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 4.142 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 4.142 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.142 * [taylor]: Taking taylor expansion of (- z) in z 4.142 * [taylor]: Taking taylor expansion of z in z 4.142 * [backup-simplify]: Simplify 0 into 0 4.142 * [backup-simplify]: Simplify 1 into 1 4.142 * [taylor]: Taking taylor expansion of (- z) in z 4.142 * [taylor]: Taking taylor expansion of z in z 4.142 * [backup-simplify]: Simplify 0 into 0 4.142 * [backup-simplify]: Simplify 1 into 1 4.142 * [backup-simplify]: Simplify (- 0) into 0 4.142 * [backup-simplify]: Simplify 0 into 0 4.142 * [backup-simplify]: Simplify (- 1) into -1 4.142 * [backup-simplify]: Simplify -1 into -1 4.143 * [backup-simplify]: Simplify (- 0) into 0 4.143 * [backup-simplify]: Simplify 0 into 0 4.143 * [backup-simplify]: Simplify (- 0) into 0 4.143 * [backup-simplify]: Simplify 0 into 0 4.143 * [backup-simplify]: Simplify (- 0) into 0 4.143 * [backup-simplify]: Simplify 0 into 0 4.143 * [backup-simplify]: Simplify (- 0) into 0 4.144 * [backup-simplify]: Simplify 0 into 0 4.144 * [backup-simplify]: Simplify (- 0) into 0 4.144 * [backup-simplify]: Simplify 0 into 0 4.144 * [backup-simplify]: Simplify (- 0) into 0 4.144 * [backup-simplify]: Simplify 0 into 0 4.144 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 4.144 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 4.144 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.144 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.144 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.144 * [taylor]: Taking taylor expansion of z in z 4.144 * [backup-simplify]: Simplify 0 into 0 4.144 * [backup-simplify]: Simplify 1 into 1 4.145 * [backup-simplify]: Simplify (/ 1 1) into 1 4.145 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.145 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.145 * [taylor]: Taking taylor expansion of z in z 4.145 * [backup-simplify]: Simplify 0 into 0 4.145 * [backup-simplify]: Simplify 1 into 1 4.145 * [backup-simplify]: Simplify (/ 1 1) into 1 4.145 * [backup-simplify]: Simplify (- 1) into -1 4.145 * [backup-simplify]: Simplify -1 into -1 4.146 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.146 * [backup-simplify]: Simplify (- 0) into 0 4.146 * [backup-simplify]: Simplify 0 into 0 4.147 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.147 * [backup-simplify]: Simplify (- 0) into 0 4.147 * [backup-simplify]: Simplify 0 into 0 4.148 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.148 * [backup-simplify]: Simplify (- 0) into 0 4.148 * [backup-simplify]: Simplify 0 into 0 4.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.149 * [backup-simplify]: Simplify (- 0) into 0 4.149 * [backup-simplify]: Simplify 0 into 0 4.149 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.150 * [backup-simplify]: Simplify (- 0) into 0 4.150 * [backup-simplify]: Simplify 0 into 0 4.150 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.151 * [backup-simplify]: Simplify (- 0) into 0 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 4.151 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 4.151 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.151 * [taylor]: Taking taylor expansion of z in z 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify 1 into 1 4.151 * [backup-simplify]: Simplify (/ 1 1) into 1 4.151 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.151 * [taylor]: Taking taylor expansion of z in z 4.151 * [backup-simplify]: Simplify 0 into 0 4.151 * [backup-simplify]: Simplify 1 into 1 4.151 * [backup-simplify]: Simplify (/ 1 1) into 1 4.152 * [backup-simplify]: Simplify 1 into 1 4.152 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.152 * [backup-simplify]: Simplify 0 into 0 4.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.153 * [backup-simplify]: Simplify 0 into 0 4.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.153 * [backup-simplify]: Simplify 0 into 0 4.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.154 * [backup-simplify]: Simplify 0 into 0 4.154 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.155 * [backup-simplify]: Simplify 0 into 0 4.155 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.155 * [backup-simplify]: Simplify 0 into 0 4.155 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 4.155 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 4.155 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 4.155 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.155 * [taylor]: Taking taylor expansion of (- z) in z 4.155 * [taylor]: Taking taylor expansion of z in z 4.155 * [backup-simplify]: Simplify 0 into 0 4.155 * [backup-simplify]: Simplify 1 into 1 4.155 * [taylor]: Taking taylor expansion of (- z) in z 4.155 * [taylor]: Taking taylor expansion of z in z 4.155 * [backup-simplify]: Simplify 0 into 0 4.156 * [backup-simplify]: Simplify 1 into 1 4.156 * [backup-simplify]: Simplify (- 0) into 0 4.156 * [backup-simplify]: Simplify 0 into 0 4.156 * [backup-simplify]: Simplify (- 1) into -1 4.156 * [backup-simplify]: Simplify -1 into -1 4.156 * [backup-simplify]: Simplify (- 0) into 0 4.156 * [backup-simplify]: Simplify 0 into 0 4.157 * [backup-simplify]: Simplify (- 0) into 0 4.157 * [backup-simplify]: Simplify 0 into 0 4.157 * [backup-simplify]: Simplify (- 0) into 0 4.157 * [backup-simplify]: Simplify 0 into 0 4.157 * [backup-simplify]: Simplify (- 0) into 0 4.157 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify (- 0) into 0 4.158 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify (- 0) into 0 4.158 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 4.158 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 4.158 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.158 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.158 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.158 * [taylor]: Taking taylor expansion of z in z 4.158 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify 1 into 1 4.158 * [backup-simplify]: Simplify (/ 1 1) into 1 4.158 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.158 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.158 * [taylor]: Taking taylor expansion of z in z 4.158 * [backup-simplify]: Simplify 0 into 0 4.158 * [backup-simplify]: Simplify 1 into 1 4.159 * [backup-simplify]: Simplify (/ 1 1) into 1 4.159 * [backup-simplify]: Simplify (- 1) into -1 4.159 * [backup-simplify]: Simplify -1 into -1 4.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.160 * [backup-simplify]: Simplify (- 0) into 0 4.160 * [backup-simplify]: Simplify 0 into 0 4.161 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.161 * [backup-simplify]: Simplify (- 0) into 0 4.161 * [backup-simplify]: Simplify 0 into 0 4.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.162 * [backup-simplify]: Simplify (- 0) into 0 4.162 * [backup-simplify]: Simplify 0 into 0 4.163 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.163 * [backup-simplify]: Simplify (- 0) into 0 4.163 * [backup-simplify]: Simplify 0 into 0 4.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.164 * [backup-simplify]: Simplify (- 0) into 0 4.164 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.165 * [backup-simplify]: Simplify (- 0) into 0 4.165 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 4.165 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 4.165 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.165 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.165 * [taylor]: Taking taylor expansion of z in z 4.165 * [backup-simplify]: Simplify 0 into 0 4.165 * [backup-simplify]: Simplify 1 into 1 4.166 * [backup-simplify]: Simplify (/ 1 1) into 1 4.166 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.166 * [taylor]: Taking taylor expansion of z in z 4.166 * [backup-simplify]: Simplify 0 into 0 4.166 * [backup-simplify]: Simplify 1 into 1 4.166 * [backup-simplify]: Simplify (/ 1 1) into 1 4.166 * [backup-simplify]: Simplify 1 into 1 4.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.167 * [backup-simplify]: Simplify 0 into 0 4.167 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.167 * [backup-simplify]: Simplify 0 into 0 4.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.168 * [backup-simplify]: Simplify 0 into 0 4.168 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.168 * [backup-simplify]: Simplify 0 into 0 4.169 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.169 * [backup-simplify]: Simplify 0 into 0 4.170 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.170 * [backup-simplify]: Simplify 0 into 0 4.171 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 4.171 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1) 4.171 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 4.171 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 4.171 * [taylor]: Taking taylor expansion of (- z) in z 4.171 * [taylor]: Taking taylor expansion of z in z 4.171 * [backup-simplify]: Simplify 0 into 0 4.171 * [backup-simplify]: Simplify 1 into 1 4.171 * [taylor]: Taking taylor expansion of (- z) in z 4.171 * [taylor]: Taking taylor expansion of z in z 4.171 * [backup-simplify]: Simplify 0 into 0 4.171 * [backup-simplify]: Simplify 1 into 1 4.171 * [backup-simplify]: Simplify (- 0) into 0 4.171 * [backup-simplify]: Simplify 0 into 0 4.172 * [backup-simplify]: Simplify (- 1) into -1 4.172 * [backup-simplify]: Simplify -1 into -1 4.172 * [backup-simplify]: Simplify (- 0) into 0 4.172 * [backup-simplify]: Simplify 0 into 0 4.173 * [backup-simplify]: Simplify (- 0) into 0 4.173 * [backup-simplify]: Simplify 0 into 0 4.173 * [backup-simplify]: Simplify (- 0) into 0 4.173 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify (- 0) into 0 4.174 * [backup-simplify]: Simplify 0 into 0 4.174 * [backup-simplify]: Simplify (- 0) into 0 4.174 * [backup-simplify]: Simplify 0 into 0 4.175 * [backup-simplify]: Simplify (- 0) into 0 4.175 * [backup-simplify]: Simplify 0 into 0 4.175 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 4.175 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 4.175 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 4.175 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.175 * [taylor]: Taking taylor expansion of z in z 4.175 * [backup-simplify]: Simplify 0 into 0 4.175 * [backup-simplify]: Simplify 1 into 1 4.175 * [backup-simplify]: Simplify (/ 1 1) into 1 4.175 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 4.175 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.175 * [taylor]: Taking taylor expansion of z in z 4.175 * [backup-simplify]: Simplify 0 into 0 4.175 * [backup-simplify]: Simplify 1 into 1 4.176 * [backup-simplify]: Simplify (/ 1 1) into 1 4.176 * [backup-simplify]: Simplify (- 1) into -1 4.176 * [backup-simplify]: Simplify -1 into -1 4.177 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.177 * [backup-simplify]: Simplify (- 0) into 0 4.177 * [backup-simplify]: Simplify 0 into 0 4.178 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.179 * [backup-simplify]: Simplify (- 0) into 0 4.179 * [backup-simplify]: Simplify 0 into 0 4.180 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.180 * [backup-simplify]: Simplify (- 0) into 0 4.180 * [backup-simplify]: Simplify 0 into 0 4.181 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.181 * [backup-simplify]: Simplify (- 0) into 0 4.182 * [backup-simplify]: Simplify 0 into 0 4.183 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.183 * [backup-simplify]: Simplify (- 0) into 0 4.183 * [backup-simplify]: Simplify 0 into 0 4.184 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.184 * [backup-simplify]: Simplify (- 0) into 0 4.184 * [backup-simplify]: Simplify 0 into 0 4.185 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 4.185 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 4.185 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 4.185 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.185 * [taylor]: Taking taylor expansion of z in z 4.185 * [backup-simplify]: Simplify 0 into 0 4.185 * [backup-simplify]: Simplify 1 into 1 4.186 * [backup-simplify]: Simplify (/ 1 1) into 1 4.186 * [taylor]: Taking taylor expansion of (/ 1 z) in z 4.186 * [taylor]: Taking taylor expansion of z in z 4.186 * [backup-simplify]: Simplify 0 into 0 4.186 * [backup-simplify]: Simplify 1 into 1 4.186 * [backup-simplify]: Simplify (/ 1 1) into 1 4.186 * [backup-simplify]: Simplify 1 into 1 4.187 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 4.187 * [backup-simplify]: Simplify 0 into 0 4.188 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.188 * [backup-simplify]: Simplify 0 into 0 4.189 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.189 * [backup-simplify]: Simplify 0 into 0 4.190 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.191 * [backup-simplify]: Simplify 0 into 0 4.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.192 * [backup-simplify]: Simplify 0 into 0 4.193 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 4.193 * [backup-simplify]: Simplify 0 into 0 4.193 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 4.193 * * * [progress]: simplifying candidates 4.193 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 4.193 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 4.193 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 4.193 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 4.194 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 4.194 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 4.194 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 4.194 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 4.194 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 4.194 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 4.195 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 4.195 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 4.195 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 4.195 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 4.195 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 4.195 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 4.196 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 4.196 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 4.196 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 4.196 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 4.196 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 4.196 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 4.196 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 4.197 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 4.197 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 4.197 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 4.197 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 4.197 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 4.197 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 4.198 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 4.198 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 4.198 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 4.198 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 4.198 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 4.198 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 4.198 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 4.199 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 4.199 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 4.199 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 4.199 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 4.199 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 4.199 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 4.200 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 4.200 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 4.200 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 4.200 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 4.200 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 4.200 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 4.200 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 4.201 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 4.201 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 4.201 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 4.201 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 4.201 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 4.201 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 4.202 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 4.202 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 4.202 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 4.202 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 4.202 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 4.202 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 4.203 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 4.203 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 4.203 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 4.203 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 4.203 * * * * [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))))))> 4.203 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 4.203 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 4.204 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 4.204 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 4.204 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 4.204 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 4.204 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 4.204 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 4.205 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 4.205 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 4.205 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 4.205 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 4.205 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 4.205 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 4.205 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 4.206 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 4.206 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 4.206 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 4.206 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 4.206 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 4.206 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 4.207 * * * * [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))))))> 4.207 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 4.207 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 4.207 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 4.207 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 4.207 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 4.207 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 4.208 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 4.208 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 4.208 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 4.208 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 4.208 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 4.208 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 4.210 * [simplify]: Simplifying: (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 4.212 * * [simplify]: iteration 1: (41 enodes) 4.234 * * [simplify]: iteration 2: (80 enodes) 4.266 * * [simplify]: iteration 3: (196 enodes) 4.369 * * [simplify]: iteration 4: (452 enodes) 4.615 * * [simplify]: iteration 5: (1219 enodes) 6.071 * * [simplify]: Extracting #0: cost 17 inf + 0 6.072 * * [simplify]: Extracting #1: cost 252 inf + 1 6.075 * * [simplify]: Extracting #2: cost 566 inf + 3841 6.091 * * [simplify]: Extracting #3: cost 270 inf + 52269 6.128 * * [simplify]: Extracting #4: cost 51 inf + 92666 6.175 * * [simplify]: Extracting #5: cost 8 inf + 110198 6.204 * * [simplify]: Extracting #6: cost 0 inf + 115195 6.243 * [simplify]: Simplified to: (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) 6.296 * * * [progress]: adding candidates to table 10.434 * * [progress]: iteration 2 / 4 10.434 * * * [progress]: picking best candidate 10.486 * * * * [pick]: Picked # 10.486 * * * [progress]: localizing error 10.690 * * * [progress]: generating rewritten candidates 10.690 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 10.743 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 10.792 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 10.823 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1 2 1) 10.848 * * * [progress]: generating series expansions 10.848 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 10.848 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 10.849 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.849 * [taylor]: Taking taylor expansion of (- z) in z 10.849 * [taylor]: Taking taylor expansion of z in z 10.849 * [backup-simplify]: Simplify 0 into 0 10.849 * [backup-simplify]: Simplify 1 into 1 10.849 * [taylor]: Taking taylor expansion of (- z) in z 10.849 * [taylor]: Taking taylor expansion of z in z 10.849 * [backup-simplify]: Simplify 0 into 0 10.849 * [backup-simplify]: Simplify 1 into 1 10.849 * [backup-simplify]: Simplify (- 0) into 0 10.849 * [backup-simplify]: Simplify 0 into 0 10.850 * [backup-simplify]: Simplify (- 1) into -1 10.850 * [backup-simplify]: Simplify -1 into -1 10.850 * [backup-simplify]: Simplify (- 0) into 0 10.850 * [backup-simplify]: Simplify 0 into 0 10.851 * [backup-simplify]: Simplify (- 0) into 0 10.851 * [backup-simplify]: Simplify 0 into 0 10.851 * [backup-simplify]: Simplify (- 0) into 0 10.851 * [backup-simplify]: Simplify 0 into 0 10.852 * [backup-simplify]: Simplify (- 0) into 0 10.852 * [backup-simplify]: Simplify 0 into 0 10.852 * [backup-simplify]: Simplify (- 0) into 0 10.852 * [backup-simplify]: Simplify 0 into 0 10.852 * [backup-simplify]: Simplify (- 0) into 0 10.852 * [backup-simplify]: Simplify 0 into 0 10.852 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.853 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 10.853 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.853 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.853 * [taylor]: Taking taylor expansion of z in z 10.853 * [backup-simplify]: Simplify 0 into 0 10.853 * [backup-simplify]: Simplify 1 into 1 10.853 * [backup-simplify]: Simplify (/ 1 1) into 1 10.853 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.853 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.853 * [taylor]: Taking taylor expansion of z in z 10.853 * [backup-simplify]: Simplify 0 into 0 10.853 * [backup-simplify]: Simplify 1 into 1 10.854 * [backup-simplify]: Simplify (/ 1 1) into 1 10.854 * [backup-simplify]: Simplify (- 1) into -1 10.854 * [backup-simplify]: Simplify -1 into -1 10.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.855 * [backup-simplify]: Simplify (- 0) into 0 10.855 * [backup-simplify]: Simplify 0 into 0 10.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.857 * [backup-simplify]: Simplify (- 0) into 0 10.857 * [backup-simplify]: Simplify 0 into 0 10.858 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.858 * [backup-simplify]: Simplify (- 0) into 0 10.858 * [backup-simplify]: Simplify 0 into 0 10.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.860 * [backup-simplify]: Simplify (- 0) into 0 10.860 * [backup-simplify]: Simplify 0 into 0 10.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.861 * [backup-simplify]: Simplify (- 0) into 0 10.861 * [backup-simplify]: Simplify 0 into 0 10.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.862 * [backup-simplify]: Simplify (- 0) into 0 10.862 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.863 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 10.863 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.863 * [taylor]: Taking taylor expansion of z in z 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 1 into 1 10.863 * [backup-simplify]: Simplify (/ 1 1) into 1 10.863 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.863 * [taylor]: Taking taylor expansion of z in z 10.863 * [backup-simplify]: Simplify 0 into 0 10.863 * [backup-simplify]: Simplify 1 into 1 10.864 * [backup-simplify]: Simplify (/ 1 1) into 1 10.864 * [backup-simplify]: Simplify 1 into 1 10.865 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.865 * [backup-simplify]: Simplify 0 into 0 10.866 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.866 * [backup-simplify]: Simplify 0 into 0 10.867 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.867 * [backup-simplify]: Simplify 0 into 0 10.868 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.868 * [backup-simplify]: Simplify 0 into 0 10.869 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.869 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.870 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.870 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 10.870 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 10.870 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.870 * [taylor]: Taking taylor expansion of (- z) in z 10.870 * [taylor]: Taking taylor expansion of z in z 10.870 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify 1 into 1 10.870 * [taylor]: Taking taylor expansion of (- z) in z 10.870 * [taylor]: Taking taylor expansion of z in z 10.870 * [backup-simplify]: Simplify 0 into 0 10.870 * [backup-simplify]: Simplify 1 into 1 10.871 * [backup-simplify]: Simplify (- 0) into 0 10.871 * [backup-simplify]: Simplify 0 into 0 10.871 * [backup-simplify]: Simplify (- 1) into -1 10.871 * [backup-simplify]: Simplify -1 into -1 10.872 * [backup-simplify]: Simplify (- 0) into 0 10.872 * [backup-simplify]: Simplify 0 into 0 10.872 * [backup-simplify]: Simplify (- 0) into 0 10.872 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify (- 0) into 0 10.873 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify (- 0) into 0 10.873 * [backup-simplify]: Simplify 0 into 0 10.873 * [backup-simplify]: Simplify (- 0) into 0 10.873 * [backup-simplify]: Simplify 0 into 0 10.874 * [backup-simplify]: Simplify (- 0) into 0 10.874 * [backup-simplify]: Simplify 0 into 0 10.874 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.874 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 10.874 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.874 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.874 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.874 * [taylor]: Taking taylor expansion of z in z 10.874 * [backup-simplify]: Simplify 0 into 0 10.874 * [backup-simplify]: Simplify 1 into 1 10.875 * [backup-simplify]: Simplify (/ 1 1) into 1 10.875 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.875 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.875 * [taylor]: Taking taylor expansion of z in z 10.875 * [backup-simplify]: Simplify 0 into 0 10.875 * [backup-simplify]: Simplify 1 into 1 10.875 * [backup-simplify]: Simplify (/ 1 1) into 1 10.876 * [backup-simplify]: Simplify (- 1) into -1 10.876 * [backup-simplify]: Simplify -1 into -1 10.876 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.877 * [backup-simplify]: Simplify (- 0) into 0 10.877 * [backup-simplify]: Simplify 0 into 0 10.877 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.878 * [backup-simplify]: Simplify (- 0) into 0 10.878 * [backup-simplify]: Simplify 0 into 0 10.878 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.878 * [backup-simplify]: Simplify (- 0) into 0 10.879 * [backup-simplify]: Simplify 0 into 0 10.879 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.879 * [backup-simplify]: Simplify (- 0) into 0 10.879 * [backup-simplify]: Simplify 0 into 0 10.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.880 * [backup-simplify]: Simplify (- 0) into 0 10.880 * [backup-simplify]: Simplify 0 into 0 10.881 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.881 * [backup-simplify]: Simplify (- 0) into 0 10.881 * [backup-simplify]: Simplify 0 into 0 10.881 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.881 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 10.881 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.881 * [taylor]: Taking taylor expansion of z in z 10.881 * [backup-simplify]: Simplify 0 into 0 10.881 * [backup-simplify]: Simplify 1 into 1 10.882 * [backup-simplify]: Simplify (/ 1 1) into 1 10.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.882 * [taylor]: Taking taylor expansion of z in z 10.882 * [backup-simplify]: Simplify 0 into 0 10.882 * [backup-simplify]: Simplify 1 into 1 10.882 * [backup-simplify]: Simplify (/ 1 1) into 1 10.882 * [backup-simplify]: Simplify 1 into 1 10.882 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.883 * [backup-simplify]: Simplify 0 into 0 10.883 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.883 * [backup-simplify]: Simplify 0 into 0 10.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.884 * [backup-simplify]: Simplify 0 into 0 10.884 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.884 * [backup-simplify]: Simplify 0 into 0 10.885 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.885 * [backup-simplify]: Simplify 0 into 0 10.886 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.886 * [backup-simplify]: Simplify 0 into 0 10.886 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.886 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 10.886 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 10.886 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.886 * [taylor]: Taking taylor expansion of (- z) in z 10.886 * [taylor]: Taking taylor expansion of z in z 10.886 * [backup-simplify]: Simplify 0 into 0 10.886 * [backup-simplify]: Simplify 1 into 1 10.886 * [taylor]: Taking taylor expansion of (- z) in z 10.886 * [taylor]: Taking taylor expansion of z in z 10.886 * [backup-simplify]: Simplify 0 into 0 10.886 * [backup-simplify]: Simplify 1 into 1 10.886 * [backup-simplify]: Simplify (- 0) into 0 10.886 * [backup-simplify]: Simplify 0 into 0 10.887 * [backup-simplify]: Simplify (- 1) into -1 10.887 * [backup-simplify]: Simplify -1 into -1 10.887 * [backup-simplify]: Simplify (- 0) into 0 10.887 * [backup-simplify]: Simplify 0 into 0 10.887 * [backup-simplify]: Simplify (- 0) into 0 10.887 * [backup-simplify]: Simplify 0 into 0 10.887 * [backup-simplify]: Simplify (- 0) into 0 10.888 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify (- 0) into 0 10.888 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify (- 0) into 0 10.888 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify (- 0) into 0 10.888 * [backup-simplify]: Simplify 0 into 0 10.888 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.889 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 10.889 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.889 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.889 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.889 * [taylor]: Taking taylor expansion of z in z 10.889 * [backup-simplify]: Simplify 0 into 0 10.889 * [backup-simplify]: Simplify 1 into 1 10.889 * [backup-simplify]: Simplify (/ 1 1) into 1 10.889 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.889 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.889 * [taylor]: Taking taylor expansion of z in z 10.889 * [backup-simplify]: Simplify 0 into 0 10.889 * [backup-simplify]: Simplify 1 into 1 10.889 * [backup-simplify]: Simplify (/ 1 1) into 1 10.890 * [backup-simplify]: Simplify (- 1) into -1 10.890 * [backup-simplify]: Simplify -1 into -1 10.890 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.890 * [backup-simplify]: Simplify (- 0) into 0 10.890 * [backup-simplify]: Simplify 0 into 0 10.891 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.891 * [backup-simplify]: Simplify (- 0) into 0 10.891 * [backup-simplify]: Simplify 0 into 0 10.892 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.892 * [backup-simplify]: Simplify (- 0) into 0 10.892 * [backup-simplify]: Simplify 0 into 0 10.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.893 * [backup-simplify]: Simplify (- 0) into 0 10.893 * [backup-simplify]: Simplify 0 into 0 10.893 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.894 * [backup-simplify]: Simplify (- 0) into 0 10.894 * [backup-simplify]: Simplify 0 into 0 10.894 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.895 * [backup-simplify]: Simplify (- 0) into 0 10.895 * [backup-simplify]: Simplify 0 into 0 10.895 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.895 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 10.895 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.895 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.895 * [taylor]: Taking taylor expansion of z in z 10.895 * [backup-simplify]: Simplify 0 into 0 10.895 * [backup-simplify]: Simplify 1 into 1 10.895 * [backup-simplify]: Simplify (/ 1 1) into 1 10.895 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.895 * [taylor]: Taking taylor expansion of z in z 10.895 * [backup-simplify]: Simplify 0 into 0 10.895 * [backup-simplify]: Simplify 1 into 1 10.895 * [backup-simplify]: Simplify (/ 1 1) into 1 10.896 * [backup-simplify]: Simplify 1 into 1 10.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.898 * [backup-simplify]: Simplify 0 into 0 10.898 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.898 * [backup-simplify]: Simplify 0 into 0 10.899 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.899 * [backup-simplify]: Simplify 0 into 0 10.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.900 * [backup-simplify]: Simplify 0 into 0 10.900 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.900 * [backup-simplify]: Simplify 0 into 0 10.901 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.901 * [backup-simplify]: Simplify 0 into 0 10.901 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.901 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1 2 1) 10.901 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 10.901 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 10.901 * [taylor]: Taking taylor expansion of (- z) in z 10.901 * [taylor]: Taking taylor expansion of z in z 10.901 * [backup-simplify]: Simplify 0 into 0 10.901 * [backup-simplify]: Simplify 1 into 1 10.901 * [taylor]: Taking taylor expansion of (- z) in z 10.901 * [taylor]: Taking taylor expansion of z in z 10.901 * [backup-simplify]: Simplify 0 into 0 10.901 * [backup-simplify]: Simplify 1 into 1 10.902 * [backup-simplify]: Simplify (- 0) into 0 10.902 * [backup-simplify]: Simplify 0 into 0 10.902 * [backup-simplify]: Simplify (- 1) into -1 10.902 * [backup-simplify]: Simplify -1 into -1 10.902 * [backup-simplify]: Simplify (- 0) into 0 10.902 * [backup-simplify]: Simplify 0 into 0 10.902 * [backup-simplify]: Simplify (- 0) into 0 10.902 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify (- 0) into 0 10.903 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify (- 0) into 0 10.903 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify (- 0) into 0 10.903 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify (- 0) into 0 10.903 * [backup-simplify]: Simplify 0 into 0 10.903 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 10.904 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 10.904 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 10.904 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.904 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.904 * [taylor]: Taking taylor expansion of z in z 10.904 * [backup-simplify]: Simplify 0 into 0 10.904 * [backup-simplify]: Simplify 1 into 1 10.904 * [backup-simplify]: Simplify (/ 1 1) into 1 10.904 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 10.904 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.904 * [taylor]: Taking taylor expansion of z in z 10.904 * [backup-simplify]: Simplify 0 into 0 10.904 * [backup-simplify]: Simplify 1 into 1 10.904 * [backup-simplify]: Simplify (/ 1 1) into 1 10.905 * [backup-simplify]: Simplify (- 1) into -1 10.905 * [backup-simplify]: Simplify -1 into -1 10.905 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.906 * [backup-simplify]: Simplify (- 0) into 0 10.906 * [backup-simplify]: Simplify 0 into 0 10.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.907 * [backup-simplify]: Simplify (- 0) into 0 10.907 * [backup-simplify]: Simplify 0 into 0 10.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.908 * [backup-simplify]: Simplify (- 0) into 0 10.909 * [backup-simplify]: Simplify 0 into 0 10.909 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.910 * [backup-simplify]: Simplify (- 0) into 0 10.910 * [backup-simplify]: Simplify 0 into 0 10.911 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.911 * [backup-simplify]: Simplify (- 0) into 0 10.911 * [backup-simplify]: Simplify 0 into 0 10.912 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.913 * [backup-simplify]: Simplify (- 0) into 0 10.913 * [backup-simplify]: Simplify 0 into 0 10.913 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 10.913 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 10.913 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 10.913 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.913 * [taylor]: Taking taylor expansion of z in z 10.913 * [backup-simplify]: Simplify 0 into 0 10.913 * [backup-simplify]: Simplify 1 into 1 10.914 * [backup-simplify]: Simplify (/ 1 1) into 1 10.914 * [taylor]: Taking taylor expansion of (/ 1 z) in z 10.914 * [taylor]: Taking taylor expansion of z in z 10.914 * [backup-simplify]: Simplify 0 into 0 10.914 * [backup-simplify]: Simplify 1 into 1 10.914 * [backup-simplify]: Simplify (/ 1 1) into 1 10.914 * [backup-simplify]: Simplify 1 into 1 10.915 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 10.915 * [backup-simplify]: Simplify 0 into 0 10.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.917 * [backup-simplify]: Simplify 0 into 0 10.918 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.918 * [backup-simplify]: Simplify 0 into 0 10.919 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.919 * [backup-simplify]: Simplify 0 into 0 10.920 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.920 * [backup-simplify]: Simplify 0 into 0 10.921 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 10.921 * [backup-simplify]: Simplify 0 into 0 10.921 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 10.921 * * * [progress]: simplifying candidates 10.921 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 10.921 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 10.922 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 10.922 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 10.922 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 10.922 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 10.922 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 10.922 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 10.923 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 10.923 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 10.923 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 10.923 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 10.923 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 10.923 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 10.924 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 10.924 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 10.924 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 10.924 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 10.924 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 10.924 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 10.924 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 10.925 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 10.925 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 10.925 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 10.925 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 10.925 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 10.925 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 10.926 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 10.926 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 10.926 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 10.926 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 10.926 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 10.927 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 10.927 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 10.927 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 10.927 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 10.927 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 10.927 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 10.928 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 10.928 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 10.928 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 10.928 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 10.928 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 10.928 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 10.928 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 10.929 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 10.929 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 10.929 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 10.929 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 10.929 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 10.929 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 10.930 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 10.930 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 10.930 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 10.930 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 10.930 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 10.930 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 10.931 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 10.931 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 10.931 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 10.931 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 10.931 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 10.931 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 10.932 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 10.932 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 10.932 * * * * [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))))))> 10.932 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 10.932 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 10.932 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 10.933 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 10.933 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 10.933 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 10.933 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 10.933 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 10.933 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 10.934 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 10.934 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 10.934 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 10.934 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 10.934 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 10.934 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 10.935 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 10.935 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 10.935 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 10.935 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 10.935 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 10.935 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 10.936 * * * * [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))))))> 10.936 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 10.936 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 10.936 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 10.936 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 10.936 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 10.937 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 10.937 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 10.937 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 10.937 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 10.937 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 10.937 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 10.937 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 10.938 * [simplify]: Simplifying: (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 10.939 * * [simplify]: iteration 1: (41 enodes) 10.948 * * [simplify]: iteration 2: (80 enodes) 10.964 * * [simplify]: iteration 3: (196 enodes) 11.038 * * [simplify]: iteration 4: (452 enodes) 11.278 * * [simplify]: iteration 5: (1219 enodes) 12.588 * * [simplify]: Extracting #0: cost 17 inf + 0 12.589 * * [simplify]: Extracting #1: cost 252 inf + 1 12.591 * * [simplify]: Extracting #2: cost 566 inf + 3841 12.613 * * [simplify]: Extracting #3: cost 270 inf + 52269 12.656 * * [simplify]: Extracting #4: cost 51 inf + 92666 12.704 * * [simplify]: Extracting #5: cost 8 inf + 110198 12.750 * * [simplify]: Extracting #6: cost 0 inf + 115195 12.797 * [simplify]: Simplified to: (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) 12.876 * * * [progress]: adding candidates to table 17.226 * * [progress]: iteration 3 / 4 17.226 * * * [progress]: picking best candidate 17.297 * * * * [pick]: Picked # 17.297 * * * [progress]: localizing error 17.567 * * * [progress]: generating rewritten candidates 17.568 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 17.619 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1) 17.671 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 2 2 1) 17.701 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 1 1 2 2 1 2 1 2 1) 17.729 * * * [progress]: generating series expansions 17.729 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 17.729 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 17.729 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 17.729 * [taylor]: Taking taylor expansion of (- z) in z 17.729 * [taylor]: Taking taylor expansion of z in z 17.729 * [backup-simplify]: Simplify 0 into 0 17.729 * [backup-simplify]: Simplify 1 into 1 17.729 * [taylor]: Taking taylor expansion of (- z) in z 17.729 * [taylor]: Taking taylor expansion of z in z 17.729 * [backup-simplify]: Simplify 0 into 0 17.729 * [backup-simplify]: Simplify 1 into 1 17.730 * [backup-simplify]: Simplify (- 0) into 0 17.730 * [backup-simplify]: Simplify 0 into 0 17.730 * [backup-simplify]: Simplify (- 1) into -1 17.731 * [backup-simplify]: Simplify -1 into -1 17.731 * [backup-simplify]: Simplify (- 0) into 0 17.731 * [backup-simplify]: Simplify 0 into 0 17.731 * [backup-simplify]: Simplify (- 0) into 0 17.731 * [backup-simplify]: Simplify 0 into 0 17.732 * [backup-simplify]: Simplify (- 0) into 0 17.732 * [backup-simplify]: Simplify 0 into 0 17.732 * [backup-simplify]: Simplify (- 0) into 0 17.732 * [backup-simplify]: Simplify 0 into 0 17.732 * [backup-simplify]: Simplify (- 0) into 0 17.732 * [backup-simplify]: Simplify 0 into 0 17.732 * [backup-simplify]: Simplify (- 0) into 0 17.732 * [backup-simplify]: Simplify 0 into 0 17.732 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 17.733 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 17.733 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 17.733 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.733 * [taylor]: Taking taylor expansion of z in z 17.733 * [backup-simplify]: Simplify 0 into 0 17.733 * [backup-simplify]: Simplify 1 into 1 17.733 * [backup-simplify]: Simplify (/ 1 1) into 1 17.733 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.733 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.733 * [taylor]: Taking taylor expansion of z in z 17.733 * [backup-simplify]: Simplify 0 into 0 17.733 * [backup-simplify]: Simplify 1 into 1 17.733 * [backup-simplify]: Simplify (/ 1 1) into 1 17.734 * [backup-simplify]: Simplify (- 1) into -1 17.734 * [backup-simplify]: Simplify -1 into -1 17.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.734 * [backup-simplify]: Simplify (- 0) into 0 17.734 * [backup-simplify]: Simplify 0 into 0 17.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.735 * [backup-simplify]: Simplify (- 0) into 0 17.735 * [backup-simplify]: Simplify 0 into 0 17.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.736 * [backup-simplify]: Simplify (- 0) into 0 17.736 * [backup-simplify]: Simplify 0 into 0 17.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.737 * [backup-simplify]: Simplify (- 0) into 0 17.737 * [backup-simplify]: Simplify 0 into 0 17.737 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.738 * [backup-simplify]: Simplify (- 0) into 0 17.738 * [backup-simplify]: Simplify 0 into 0 17.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.738 * [backup-simplify]: Simplify (- 0) into 0 17.738 * [backup-simplify]: Simplify 0 into 0 17.739 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 17.739 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 17.739 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 17.739 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.739 * [taylor]: Taking taylor expansion of z in z 17.739 * [backup-simplify]: Simplify 0 into 0 17.739 * [backup-simplify]: Simplify 1 into 1 17.739 * [backup-simplify]: Simplify (/ 1 1) into 1 17.739 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.739 * [taylor]: Taking taylor expansion of z in z 17.739 * [backup-simplify]: Simplify 0 into 0 17.739 * [backup-simplify]: Simplify 1 into 1 17.739 * [backup-simplify]: Simplify (/ 1 1) into 1 17.739 * [backup-simplify]: Simplify 1 into 1 17.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.740 * [backup-simplify]: Simplify 0 into 0 17.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.740 * [backup-simplify]: Simplify 0 into 0 17.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.741 * [backup-simplify]: Simplify 0 into 0 17.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.742 * [backup-simplify]: Simplify 0 into 0 17.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.742 * [backup-simplify]: Simplify 0 into 0 17.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.743 * [backup-simplify]: Simplify 0 into 0 17.743 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 17.743 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1) 17.743 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 17.743 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 17.743 * [taylor]: Taking taylor expansion of (- z) in z 17.743 * [taylor]: Taking taylor expansion of z in z 17.743 * [backup-simplify]: Simplify 0 into 0 17.743 * [backup-simplify]: Simplify 1 into 1 17.743 * [taylor]: Taking taylor expansion of (- z) in z 17.743 * [taylor]: Taking taylor expansion of z in z 17.743 * [backup-simplify]: Simplify 0 into 0 17.743 * [backup-simplify]: Simplify 1 into 1 17.744 * [backup-simplify]: Simplify (- 0) into 0 17.744 * [backup-simplify]: Simplify 0 into 0 17.744 * [backup-simplify]: Simplify (- 1) into -1 17.744 * [backup-simplify]: Simplify -1 into -1 17.744 * [backup-simplify]: Simplify (- 0) into 0 17.744 * [backup-simplify]: Simplify 0 into 0 17.746 * [backup-simplify]: Simplify (- 0) into 0 17.746 * [backup-simplify]: Simplify 0 into 0 17.746 * [backup-simplify]: Simplify (- 0) into 0 17.746 * [backup-simplify]: Simplify 0 into 0 17.747 * [backup-simplify]: Simplify (- 0) into 0 17.747 * [backup-simplify]: Simplify 0 into 0 17.747 * [backup-simplify]: Simplify (- 0) into 0 17.747 * [backup-simplify]: Simplify 0 into 0 17.747 * [backup-simplify]: Simplify (- 0) into 0 17.747 * [backup-simplify]: Simplify 0 into 0 17.747 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 17.747 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 17.747 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 17.747 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.747 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.747 * [taylor]: Taking taylor expansion of z in z 17.747 * [backup-simplify]: Simplify 0 into 0 17.747 * [backup-simplify]: Simplify 1 into 1 17.748 * [backup-simplify]: Simplify (/ 1 1) into 1 17.748 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.748 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.748 * [taylor]: Taking taylor expansion of z in z 17.748 * [backup-simplify]: Simplify 0 into 0 17.748 * [backup-simplify]: Simplify 1 into 1 17.748 * [backup-simplify]: Simplify (/ 1 1) into 1 17.748 * [backup-simplify]: Simplify (- 1) into -1 17.748 * [backup-simplify]: Simplify -1 into -1 17.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.749 * [backup-simplify]: Simplify (- 0) into 0 17.749 * [backup-simplify]: Simplify 0 into 0 17.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.750 * [backup-simplify]: Simplify (- 0) into 0 17.750 * [backup-simplify]: Simplify 0 into 0 17.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.751 * [backup-simplify]: Simplify (- 0) into 0 17.751 * [backup-simplify]: Simplify 0 into 0 17.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.752 * [backup-simplify]: Simplify (- 0) into 0 17.752 * [backup-simplify]: Simplify 0 into 0 17.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.752 * [backup-simplify]: Simplify (- 0) into 0 17.752 * [backup-simplify]: Simplify 0 into 0 17.753 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.753 * [backup-simplify]: Simplify (- 0) into 0 17.753 * [backup-simplify]: Simplify 0 into 0 17.753 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 17.753 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 17.753 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 17.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.754 * [taylor]: Taking taylor expansion of z in z 17.754 * [backup-simplify]: Simplify 0 into 0 17.754 * [backup-simplify]: Simplify 1 into 1 17.754 * [backup-simplify]: Simplify (/ 1 1) into 1 17.754 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.754 * [taylor]: Taking taylor expansion of z in z 17.754 * [backup-simplify]: Simplify 0 into 0 17.754 * [backup-simplify]: Simplify 1 into 1 17.754 * [backup-simplify]: Simplify (/ 1 1) into 1 17.754 * [backup-simplify]: Simplify 1 into 1 17.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.755 * [backup-simplify]: Simplify 0 into 0 17.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.755 * [backup-simplify]: Simplify 0 into 0 17.756 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.756 * [backup-simplify]: Simplify 0 into 0 17.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.757 * [backup-simplify]: Simplify 0 into 0 17.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.757 * [backup-simplify]: Simplify 0 into 0 17.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.758 * [backup-simplify]: Simplify 0 into 0 17.758 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 17.758 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 2 2 1) 17.758 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 17.758 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 17.758 * [taylor]: Taking taylor expansion of (- z) in z 17.758 * [taylor]: Taking taylor expansion of z in z 17.758 * [backup-simplify]: Simplify 0 into 0 17.758 * [backup-simplify]: Simplify 1 into 1 17.758 * [taylor]: Taking taylor expansion of (- z) in z 17.758 * [taylor]: Taking taylor expansion of z in z 17.758 * [backup-simplify]: Simplify 0 into 0 17.758 * [backup-simplify]: Simplify 1 into 1 17.759 * [backup-simplify]: Simplify (- 0) into 0 17.759 * [backup-simplify]: Simplify 0 into 0 17.759 * [backup-simplify]: Simplify (- 1) into -1 17.759 * [backup-simplify]: Simplify -1 into -1 17.759 * [backup-simplify]: Simplify (- 0) into 0 17.759 * [backup-simplify]: Simplify 0 into 0 17.759 * [backup-simplify]: Simplify (- 0) into 0 17.760 * [backup-simplify]: Simplify 0 into 0 17.760 * [backup-simplify]: Simplify (- 0) into 0 17.760 * [backup-simplify]: Simplify 0 into 0 17.760 * [backup-simplify]: Simplify (- 0) into 0 17.760 * [backup-simplify]: Simplify 0 into 0 17.760 * [backup-simplify]: Simplify (- 0) into 0 17.760 * [backup-simplify]: Simplify 0 into 0 17.761 * [backup-simplify]: Simplify (- 0) into 0 17.761 * [backup-simplify]: Simplify 0 into 0 17.761 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 17.761 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 17.761 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 17.761 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.761 * [taylor]: Taking taylor expansion of z in z 17.761 * [backup-simplify]: Simplify 0 into 0 17.761 * [backup-simplify]: Simplify 1 into 1 17.761 * [backup-simplify]: Simplify (/ 1 1) into 1 17.761 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.761 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.761 * [taylor]: Taking taylor expansion of z in z 17.761 * [backup-simplify]: Simplify 0 into 0 17.761 * [backup-simplify]: Simplify 1 into 1 17.762 * [backup-simplify]: Simplify (/ 1 1) into 1 17.762 * [backup-simplify]: Simplify (- 1) into -1 17.762 * [backup-simplify]: Simplify -1 into -1 17.763 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.763 * [backup-simplify]: Simplify (- 0) into 0 17.763 * [backup-simplify]: Simplify 0 into 0 17.764 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.765 * [backup-simplify]: Simplify (- 0) into 0 17.765 * [backup-simplify]: Simplify 0 into 0 17.766 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.766 * [backup-simplify]: Simplify (- 0) into 0 17.766 * [backup-simplify]: Simplify 0 into 0 17.767 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.768 * [backup-simplify]: Simplify (- 0) into 0 17.768 * [backup-simplify]: Simplify 0 into 0 17.768 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.769 * [backup-simplify]: Simplify (- 0) into 0 17.769 * [backup-simplify]: Simplify 0 into 0 17.770 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.770 * [backup-simplify]: Simplify (- 0) into 0 17.770 * [backup-simplify]: Simplify 0 into 0 17.770 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 17.770 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 17.771 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 17.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.771 * [taylor]: Taking taylor expansion of z in z 17.771 * [backup-simplify]: Simplify 0 into 0 17.771 * [backup-simplify]: Simplify 1 into 1 17.771 * [backup-simplify]: Simplify (/ 1 1) into 1 17.771 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.771 * [taylor]: Taking taylor expansion of z in z 17.771 * [backup-simplify]: Simplify 0 into 0 17.771 * [backup-simplify]: Simplify 1 into 1 17.772 * [backup-simplify]: Simplify (/ 1 1) into 1 17.772 * [backup-simplify]: Simplify 1 into 1 17.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.773 * [backup-simplify]: Simplify 0 into 0 17.773 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.773 * [backup-simplify]: Simplify 0 into 0 17.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.774 * [backup-simplify]: Simplify 0 into 0 17.774 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.774 * [backup-simplify]: Simplify 0 into 0 17.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.775 * [backup-simplify]: Simplify 0 into 0 17.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.776 * [backup-simplify]: Simplify 0 into 0 17.776 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 17.776 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 1 1 2 2 1 2 1 2 1) 17.776 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 17.776 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 17.776 * [taylor]: Taking taylor expansion of (- z) in z 17.776 * [taylor]: Taking taylor expansion of z in z 17.776 * [backup-simplify]: Simplify 0 into 0 17.776 * [backup-simplify]: Simplify 1 into 1 17.776 * [taylor]: Taking taylor expansion of (- z) in z 17.776 * [taylor]: Taking taylor expansion of z in z 17.776 * [backup-simplify]: Simplify 0 into 0 17.776 * [backup-simplify]: Simplify 1 into 1 17.776 * [backup-simplify]: Simplify (- 0) into 0 17.776 * [backup-simplify]: Simplify 0 into 0 17.777 * [backup-simplify]: Simplify (- 1) into -1 17.777 * [backup-simplify]: Simplify -1 into -1 17.777 * [backup-simplify]: Simplify (- 0) into 0 17.777 * [backup-simplify]: Simplify 0 into 0 17.777 * [backup-simplify]: Simplify (- 0) into 0 17.777 * [backup-simplify]: Simplify 0 into 0 17.777 * [backup-simplify]: Simplify (- 0) into 0 17.777 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify (- 0) into 0 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify (- 0) into 0 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify (- 0) into 0 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 17.778 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 17.778 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 17.778 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.778 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.778 * [taylor]: Taking taylor expansion of z in z 17.778 * [backup-simplify]: Simplify 0 into 0 17.778 * [backup-simplify]: Simplify 1 into 1 17.779 * [backup-simplify]: Simplify (/ 1 1) into 1 17.779 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 17.779 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.779 * [taylor]: Taking taylor expansion of z in z 17.779 * [backup-simplify]: Simplify 0 into 0 17.779 * [backup-simplify]: Simplify 1 into 1 17.779 * [backup-simplify]: Simplify (/ 1 1) into 1 17.779 * [backup-simplify]: Simplify (- 1) into -1 17.779 * [backup-simplify]: Simplify -1 into -1 17.780 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.780 * [backup-simplify]: Simplify (- 0) into 0 17.780 * [backup-simplify]: Simplify 0 into 0 17.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.781 * [backup-simplify]: Simplify (- 0) into 0 17.781 * [backup-simplify]: Simplify 0 into 0 17.781 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.782 * [backup-simplify]: Simplify (- 0) into 0 17.782 * [backup-simplify]: Simplify 0 into 0 17.782 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.783 * [backup-simplify]: Simplify (- 0) into 0 17.783 * [backup-simplify]: Simplify 0 into 0 17.783 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.783 * [backup-simplify]: Simplify (- 0) into 0 17.783 * [backup-simplify]: Simplify 0 into 0 17.784 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.784 * [backup-simplify]: Simplify (- 0) into 0 17.784 * [backup-simplify]: Simplify 0 into 0 17.784 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 17.784 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 17.784 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 17.784 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.784 * [taylor]: Taking taylor expansion of z in z 17.785 * [backup-simplify]: Simplify 0 into 0 17.785 * [backup-simplify]: Simplify 1 into 1 17.785 * [backup-simplify]: Simplify (/ 1 1) into 1 17.785 * [taylor]: Taking taylor expansion of (/ 1 z) in z 17.785 * [taylor]: Taking taylor expansion of z in z 17.785 * [backup-simplify]: Simplify 0 into 0 17.785 * [backup-simplify]: Simplify 1 into 1 17.785 * [backup-simplify]: Simplify (/ 1 1) into 1 17.785 * [backup-simplify]: Simplify 1 into 1 17.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 17.786 * [backup-simplify]: Simplify 0 into 0 17.786 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.786 * [backup-simplify]: Simplify 0 into 0 17.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.787 * [backup-simplify]: Simplify 0 into 0 17.787 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.787 * [backup-simplify]: Simplify 0 into 0 17.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.788 * [backup-simplify]: Simplify 0 into 0 17.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 17.789 * [backup-simplify]: Simplify 0 into 0 17.789 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 17.789 * * * [progress]: simplifying candidates 17.789 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 17.789 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 17.789 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 17.789 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 17.789 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 17.789 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 17.789 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 17.790 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 17.791 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 17.791 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 17.792 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 17.793 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 17.793 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 17.794 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 17.795 * * * * [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))))))> 17.795 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 17.795 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 17.796 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 17.797 * * * * [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))))))> 17.797 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 17.797 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 17.798 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 17.798 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 17.798 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 17.798 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 17.798 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 17.798 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 17.799 * [simplify]: Simplifying: (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 17.799 * * [simplify]: iteration 1: (41 enodes) 17.813 * * [simplify]: iteration 2: (80 enodes) 17.844 * * [simplify]: iteration 3: (196 enodes) 17.924 * * [simplify]: iteration 4: (452 enodes) 18.192 * * [simplify]: iteration 5: (1219 enodes) 19.732 * * [simplify]: Extracting #0: cost 17 inf + 0 19.732 * * [simplify]: Extracting #1: cost 252 inf + 1 19.735 * * [simplify]: Extracting #2: cost 566 inf + 3841 19.746 * * [simplify]: Extracting #3: cost 270 inf + 52269 19.788 * * [simplify]: Extracting #4: cost 51 inf + 92666 19.839 * * [simplify]: Extracting #5: cost 8 inf + 110198 19.875 * * [simplify]: Extracting #6: cost 0 inf + 115195 19.908 * [simplify]: Simplified to: (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) 19.996 * * * [progress]: adding candidates to table 25.183 * * [progress]: iteration 4 / 4 25.184 * * * [progress]: picking best candidate 25.265 * * * * [pick]: Picked # 25.265 * * * [progress]: localizing error 25.478 * * * [progress]: generating rewritten candidates 25.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 25.516 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2 1 2 1) 25.567 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 2 2 1 1 2 1) 25.620 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 2 1 1 1 1) 25.658 * * * [progress]: generating series expansions 25.658 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 25.658 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 25.658 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 25.658 * [taylor]: Taking taylor expansion of (- z) in z 25.658 * [taylor]: Taking taylor expansion of z in z 25.659 * [backup-simplify]: Simplify 0 into 0 25.659 * [backup-simplify]: Simplify 1 into 1 25.659 * [taylor]: Taking taylor expansion of (- z) in z 25.659 * [taylor]: Taking taylor expansion of z in z 25.659 * [backup-simplify]: Simplify 0 into 0 25.659 * [backup-simplify]: Simplify 1 into 1 25.659 * [backup-simplify]: Simplify (- 0) into 0 25.659 * [backup-simplify]: Simplify 0 into 0 25.660 * [backup-simplify]: Simplify (- 1) into -1 25.660 * [backup-simplify]: Simplify -1 into -1 25.660 * [backup-simplify]: Simplify (- 0) into 0 25.660 * [backup-simplify]: Simplify 0 into 0 25.660 * [backup-simplify]: Simplify (- 0) into 0 25.660 * [backup-simplify]: Simplify 0 into 0 25.660 * [backup-simplify]: Simplify (- 0) into 0 25.660 * [backup-simplify]: Simplify 0 into 0 25.661 * [backup-simplify]: Simplify (- 0) into 0 25.661 * [backup-simplify]: Simplify 0 into 0 25.661 * [backup-simplify]: Simplify (- 0) into 0 25.661 * [backup-simplify]: Simplify 0 into 0 25.661 * [backup-simplify]: Simplify (- 0) into 0 25.661 * [backup-simplify]: Simplify 0 into 0 25.661 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 25.661 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 25.662 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 25.662 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.662 * [taylor]: Taking taylor expansion of z in z 25.662 * [backup-simplify]: Simplify 0 into 0 25.662 * [backup-simplify]: Simplify 1 into 1 25.662 * [backup-simplify]: Simplify (/ 1 1) into 1 25.662 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.662 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.662 * [taylor]: Taking taylor expansion of z in z 25.662 * [backup-simplify]: Simplify 0 into 0 25.662 * [backup-simplify]: Simplify 1 into 1 25.662 * [backup-simplify]: Simplify (/ 1 1) into 1 25.662 * [backup-simplify]: Simplify (- 1) into -1 25.663 * [backup-simplify]: Simplify -1 into -1 25.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.663 * [backup-simplify]: Simplify (- 0) into 0 25.663 * [backup-simplify]: Simplify 0 into 0 25.664 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.664 * [backup-simplify]: Simplify (- 0) into 0 25.664 * [backup-simplify]: Simplify 0 into 0 25.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.665 * [backup-simplify]: Simplify (- 0) into 0 25.665 * [backup-simplify]: Simplify 0 into 0 25.666 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.666 * [backup-simplify]: Simplify (- 0) into 0 25.666 * [backup-simplify]: Simplify 0 into 0 25.667 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.668 * [backup-simplify]: Simplify (- 0) into 0 25.668 * [backup-simplify]: Simplify 0 into 0 25.669 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.669 * [backup-simplify]: Simplify (- 0) into 0 25.669 * [backup-simplify]: Simplify 0 into 0 25.669 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 25.670 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 25.670 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 25.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.670 * [taylor]: Taking taylor expansion of z in z 25.670 * [backup-simplify]: Simplify 0 into 0 25.670 * [backup-simplify]: Simplify 1 into 1 25.670 * [backup-simplify]: Simplify (/ 1 1) into 1 25.670 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.670 * [taylor]: Taking taylor expansion of z in z 25.670 * [backup-simplify]: Simplify 0 into 0 25.670 * [backup-simplify]: Simplify 1 into 1 25.671 * [backup-simplify]: Simplify (/ 1 1) into 1 25.671 * [backup-simplify]: Simplify 1 into 1 25.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.672 * [backup-simplify]: Simplify 0 into 0 25.672 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.673 * [backup-simplify]: Simplify 0 into 0 25.673 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.674 * [backup-simplify]: Simplify 0 into 0 25.674 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.675 * [backup-simplify]: Simplify 0 into 0 25.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.676 * [backup-simplify]: Simplify 0 into 0 25.677 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.677 * [backup-simplify]: Simplify 0 into 0 25.677 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 25.677 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2 1 2 1) 25.677 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 25.677 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 25.677 * [taylor]: Taking taylor expansion of (- z) in z 25.677 * [taylor]: Taking taylor expansion of z in z 25.677 * [backup-simplify]: Simplify 0 into 0 25.677 * [backup-simplify]: Simplify 1 into 1 25.677 * [taylor]: Taking taylor expansion of (- z) in z 25.677 * [taylor]: Taking taylor expansion of z in z 25.677 * [backup-simplify]: Simplify 0 into 0 25.677 * [backup-simplify]: Simplify 1 into 1 25.678 * [backup-simplify]: Simplify (- 0) into 0 25.678 * [backup-simplify]: Simplify 0 into 0 25.678 * [backup-simplify]: Simplify (- 1) into -1 25.678 * [backup-simplify]: Simplify -1 into -1 25.678 * [backup-simplify]: Simplify (- 0) into 0 25.679 * [backup-simplify]: Simplify 0 into 0 25.679 * [backup-simplify]: Simplify (- 0) into 0 25.679 * [backup-simplify]: Simplify 0 into 0 25.679 * [backup-simplify]: Simplify (- 0) into 0 25.679 * [backup-simplify]: Simplify 0 into 0 25.680 * [backup-simplify]: Simplify (- 0) into 0 25.680 * [backup-simplify]: Simplify 0 into 0 25.680 * [backup-simplify]: Simplify (- 0) into 0 25.680 * [backup-simplify]: Simplify 0 into 0 25.681 * [backup-simplify]: Simplify (- 0) into 0 25.681 * [backup-simplify]: Simplify 0 into 0 25.681 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 25.681 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 25.681 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 25.681 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.681 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.681 * [taylor]: Taking taylor expansion of z in z 25.681 * [backup-simplify]: Simplify 0 into 0 25.681 * [backup-simplify]: Simplify 1 into 1 25.682 * [backup-simplify]: Simplify (/ 1 1) into 1 25.682 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.682 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.682 * [taylor]: Taking taylor expansion of z in z 25.682 * [backup-simplify]: Simplify 0 into 0 25.682 * [backup-simplify]: Simplify 1 into 1 25.682 * [backup-simplify]: Simplify (/ 1 1) into 1 25.682 * [backup-simplify]: Simplify (- 1) into -1 25.682 * [backup-simplify]: Simplify -1 into -1 25.683 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.684 * [backup-simplify]: Simplify (- 0) into 0 25.684 * [backup-simplify]: Simplify 0 into 0 25.685 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.685 * [backup-simplify]: Simplify (- 0) into 0 25.685 * [backup-simplify]: Simplify 0 into 0 25.686 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.686 * [backup-simplify]: Simplify (- 0) into 0 25.687 * [backup-simplify]: Simplify 0 into 0 25.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.688 * [backup-simplify]: Simplify (- 0) into 0 25.688 * [backup-simplify]: Simplify 0 into 0 25.689 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.689 * [backup-simplify]: Simplify (- 0) into 0 25.689 * [backup-simplify]: Simplify 0 into 0 25.690 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.691 * [backup-simplify]: Simplify (- 0) into 0 25.691 * [backup-simplify]: Simplify 0 into 0 25.691 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 25.691 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 25.691 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 25.691 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.691 * [taylor]: Taking taylor expansion of z in z 25.691 * [backup-simplify]: Simplify 0 into 0 25.691 * [backup-simplify]: Simplify 1 into 1 25.692 * [backup-simplify]: Simplify (/ 1 1) into 1 25.692 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.692 * [taylor]: Taking taylor expansion of z in z 25.692 * [backup-simplify]: Simplify 0 into 0 25.692 * [backup-simplify]: Simplify 1 into 1 25.692 * [backup-simplify]: Simplify (/ 1 1) into 1 25.692 * [backup-simplify]: Simplify 1 into 1 25.693 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.693 * [backup-simplify]: Simplify 0 into 0 25.694 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.694 * [backup-simplify]: Simplify 0 into 0 25.695 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.695 * [backup-simplify]: Simplify 0 into 0 25.696 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.696 * [backup-simplify]: Simplify 0 into 0 25.697 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.697 * [backup-simplify]: Simplify 0 into 0 25.698 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.698 * [backup-simplify]: Simplify 0 into 0 25.698 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 25.698 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 2 2 1 1 2 1) 25.698 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 25.698 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 25.698 * [taylor]: Taking taylor expansion of (- z) in z 25.698 * [taylor]: Taking taylor expansion of z in z 25.698 * [backup-simplify]: Simplify 0 into 0 25.699 * [backup-simplify]: Simplify 1 into 1 25.699 * [taylor]: Taking taylor expansion of (- z) in z 25.699 * [taylor]: Taking taylor expansion of z in z 25.699 * [backup-simplify]: Simplify 0 into 0 25.699 * [backup-simplify]: Simplify 1 into 1 25.699 * [backup-simplify]: Simplify (- 0) into 0 25.699 * [backup-simplify]: Simplify 0 into 0 25.699 * [backup-simplify]: Simplify (- 1) into -1 25.700 * [backup-simplify]: Simplify -1 into -1 25.700 * [backup-simplify]: Simplify (- 0) into 0 25.700 * [backup-simplify]: Simplify 0 into 0 25.700 * [backup-simplify]: Simplify (- 0) into 0 25.700 * [backup-simplify]: Simplify 0 into 0 25.701 * [backup-simplify]: Simplify (- 0) into 0 25.701 * [backup-simplify]: Simplify 0 into 0 25.702 * [backup-simplify]: Simplify (- 0) into 0 25.702 * [backup-simplify]: Simplify 0 into 0 25.702 * [backup-simplify]: Simplify (- 0) into 0 25.702 * [backup-simplify]: Simplify 0 into 0 25.702 * [backup-simplify]: Simplify (- 0) into 0 25.702 * [backup-simplify]: Simplify 0 into 0 25.702 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 25.703 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 25.703 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 25.703 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.703 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.703 * [taylor]: Taking taylor expansion of z in z 25.703 * [backup-simplify]: Simplify 0 into 0 25.703 * [backup-simplify]: Simplify 1 into 1 25.703 * [backup-simplify]: Simplify (/ 1 1) into 1 25.703 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.703 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.703 * [taylor]: Taking taylor expansion of z in z 25.703 * [backup-simplify]: Simplify 0 into 0 25.703 * [backup-simplify]: Simplify 1 into 1 25.704 * [backup-simplify]: Simplify (/ 1 1) into 1 25.704 * [backup-simplify]: Simplify (- 1) into -1 25.704 * [backup-simplify]: Simplify -1 into -1 25.705 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.705 * [backup-simplify]: Simplify (- 0) into 0 25.705 * [backup-simplify]: Simplify 0 into 0 25.706 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.707 * [backup-simplify]: Simplify (- 0) into 0 25.707 * [backup-simplify]: Simplify 0 into 0 25.708 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.708 * [backup-simplify]: Simplify (- 0) into 0 25.708 * [backup-simplify]: Simplify 0 into 0 25.709 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.709 * [backup-simplify]: Simplify (- 0) into 0 25.709 * [backup-simplify]: Simplify 0 into 0 25.712 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.713 * [backup-simplify]: Simplify (- 0) into 0 25.713 * [backup-simplify]: Simplify 0 into 0 25.714 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.714 * [backup-simplify]: Simplify (- 0) into 0 25.714 * [backup-simplify]: Simplify 0 into 0 25.715 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 25.715 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 25.715 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 25.715 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.715 * [taylor]: Taking taylor expansion of z in z 25.715 * [backup-simplify]: Simplify 0 into 0 25.715 * [backup-simplify]: Simplify 1 into 1 25.715 * [backup-simplify]: Simplify (/ 1 1) into 1 25.715 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.715 * [taylor]: Taking taylor expansion of z in z 25.715 * [backup-simplify]: Simplify 0 into 0 25.715 * [backup-simplify]: Simplify 1 into 1 25.716 * [backup-simplify]: Simplify (/ 1 1) into 1 25.716 * [backup-simplify]: Simplify 1 into 1 25.717 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.717 * [backup-simplify]: Simplify 0 into 0 25.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.718 * [backup-simplify]: Simplify 0 into 0 25.719 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.719 * [backup-simplify]: Simplify 0 into 0 25.720 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.720 * [backup-simplify]: Simplify 0 into 0 25.721 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.721 * [backup-simplify]: Simplify 0 into 0 25.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.722 * [backup-simplify]: Simplify 0 into 0 25.722 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 25.722 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 2 1 1 1 1) 25.722 * [backup-simplify]: Simplify (- (- 1 z) 1) into (- z) 25.722 * [approximate]: Taking taylor expansion of (- z) in (z) around 0 25.722 * [taylor]: Taking taylor expansion of (- z) in z 25.722 * [taylor]: Taking taylor expansion of z in z 25.722 * [backup-simplify]: Simplify 0 into 0 25.722 * [backup-simplify]: Simplify 1 into 1 25.722 * [taylor]: Taking taylor expansion of (- z) in z 25.722 * [taylor]: Taking taylor expansion of z in z 25.722 * [backup-simplify]: Simplify 0 into 0 25.722 * [backup-simplify]: Simplify 1 into 1 25.723 * [backup-simplify]: Simplify (- 0) into 0 25.723 * [backup-simplify]: Simplify 0 into 0 25.723 * [backup-simplify]: Simplify (- 1) into -1 25.723 * [backup-simplify]: Simplify -1 into -1 25.724 * [backup-simplify]: Simplify (- 0) into 0 25.724 * [backup-simplify]: Simplify 0 into 0 25.724 * [backup-simplify]: Simplify (- 0) into 0 25.724 * [backup-simplify]: Simplify 0 into 0 25.724 * [backup-simplify]: Simplify (- 0) into 0 25.724 * [backup-simplify]: Simplify 0 into 0 25.725 * [backup-simplify]: Simplify (- 0) into 0 25.725 * [backup-simplify]: Simplify 0 into 0 25.725 * [backup-simplify]: Simplify (- 0) into 0 25.725 * [backup-simplify]: Simplify 0 into 0 25.726 * [backup-simplify]: Simplify (- 0) into 0 25.726 * [backup-simplify]: Simplify 0 into 0 25.726 * [backup-simplify]: Simplify (* -1 z) into (* -1 z) 25.726 * [backup-simplify]: Simplify (- (- 1 (/ 1 z)) 1) into (- (/ 1 z)) 25.726 * [approximate]: Taking taylor expansion of (- (/ 1 z)) in (z) around 0 25.726 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.726 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.726 * [taylor]: Taking taylor expansion of z in z 25.726 * [backup-simplify]: Simplify 0 into 0 25.726 * [backup-simplify]: Simplify 1 into 1 25.726 * [backup-simplify]: Simplify (/ 1 1) into 1 25.726 * [taylor]: Taking taylor expansion of (- (/ 1 z)) in z 25.727 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.727 * [taylor]: Taking taylor expansion of z in z 25.727 * [backup-simplify]: Simplify 0 into 0 25.727 * [backup-simplify]: Simplify 1 into 1 25.727 * [backup-simplify]: Simplify (/ 1 1) into 1 25.727 * [backup-simplify]: Simplify (- 1) into -1 25.727 * [backup-simplify]: Simplify -1 into -1 25.728 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.729 * [backup-simplify]: Simplify (- 0) into 0 25.729 * [backup-simplify]: Simplify 0 into 0 25.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.730 * [backup-simplify]: Simplify (- 0) into 0 25.730 * [backup-simplify]: Simplify 0 into 0 25.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.731 * [backup-simplify]: Simplify (- 0) into 0 25.731 * [backup-simplify]: Simplify 0 into 0 25.732 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.733 * [backup-simplify]: Simplify (- 0) into 0 25.733 * [backup-simplify]: Simplify 0 into 0 25.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.734 * [backup-simplify]: Simplify (- 0) into 0 25.734 * [backup-simplify]: Simplify 0 into 0 25.735 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.736 * [backup-simplify]: Simplify (- 0) into 0 25.736 * [backup-simplify]: Simplify 0 into 0 25.736 * [backup-simplify]: Simplify (* -1 (/ 1 (/ 1 z))) into (* -1 z) 25.736 * [backup-simplify]: Simplify (- (- 1 (/ 1 (- z))) 1) into (/ 1 z) 25.736 * [approximate]: Taking taylor expansion of (/ 1 z) in (z) around 0 25.736 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.736 * [taylor]: Taking taylor expansion of z in z 25.736 * [backup-simplify]: Simplify 0 into 0 25.736 * [backup-simplify]: Simplify 1 into 1 25.737 * [backup-simplify]: Simplify (/ 1 1) into 1 25.737 * [taylor]: Taking taylor expansion of (/ 1 z) in z 25.737 * [taylor]: Taking taylor expansion of z in z 25.737 * [backup-simplify]: Simplify 0 into 0 25.737 * [backup-simplify]: Simplify 1 into 1 25.737 * [backup-simplify]: Simplify (/ 1 1) into 1 25.737 * [backup-simplify]: Simplify 1 into 1 25.738 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 25.738 * [backup-simplify]: Simplify 0 into 0 25.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.739 * [backup-simplify]: Simplify 0 into 0 25.740 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.740 * [backup-simplify]: Simplify 0 into 0 25.741 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.741 * [backup-simplify]: Simplify 0 into 0 25.742 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.742 * [backup-simplify]: Simplify 0 into 0 25.743 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 25.743 * [backup-simplify]: Simplify 0 into 0 25.743 * [backup-simplify]: Simplify (* 1 (/ 1 (/ 1 (- z)))) into (* -1 z) 25.743 * * * [progress]: simplifying candidates 25.744 * * * * [progress]: [ 1 / 100 ] simplifiying candidate # 25.744 * * * * [progress]: [ 2 / 100 ] simplifiying candidate # 25.744 * * * * [progress]: [ 3 / 100 ] simplifiying candidate # 25.744 * * * * [progress]: [ 4 / 100 ] simplifiying candidate # 25.744 * * * * [progress]: [ 5 / 100 ] simplifiying candidate # 25.744 * * * * [progress]: [ 6 / 100 ] simplifiying candidate # 25.745 * * * * [progress]: [ 7 / 100 ] simplifiying candidate # 25.745 * * * * [progress]: [ 8 / 100 ] simplifiying candidate # 25.745 * * * * [progress]: [ 9 / 100 ] simplifiying candidate # 25.745 * * * * [progress]: [ 10 / 100 ] simplifiying candidate # 25.745 * * * * [progress]: [ 11 / 100 ] simplifiying candidate # 25.745 * * * * [progress]: [ 12 / 100 ] simplifiying candidate # 25.746 * * * * [progress]: [ 13 / 100 ] simplifiying candidate # 25.746 * * * * [progress]: [ 14 / 100 ] simplifiying candidate # 25.746 * * * * [progress]: [ 15 / 100 ] simplifiying candidate # 25.746 * * * * [progress]: [ 16 / 100 ] simplifiying candidate # 25.746 * * * * [progress]: [ 17 / 100 ] simplifiying candidate # 25.747 * * * * [progress]: [ 18 / 100 ] simplifiying candidate # 25.747 * * * * [progress]: [ 19 / 100 ] simplifiying candidate # 25.747 * * * * [progress]: [ 20 / 100 ] simplifiying candidate # 25.747 * * * * [progress]: [ 21 / 100 ] simplifiying candidate # 25.747 * * * * [progress]: [ 22 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))) 8))))))> 25.747 * * * * [progress]: [ 23 / 100 ] simplifiying candidate # 25.748 * * * * [progress]: [ 24 / 100 ] simplifiying candidate # 25.748 * * * * [progress]: [ 25 / 100 ] simplifiying candidate # 25.748 * * * * [progress]: [ 26 / 100 ] simplifiying candidate # 25.748 * * * * [progress]: [ 27 / 100 ] simplifiying candidate # 25.748 * * * * [progress]: [ 28 / 100 ] simplifiying candidate # 25.748 * * * * [progress]: [ 29 / 100 ] simplifiying candidate # 25.749 * * * * [progress]: [ 30 / 100 ] simplifiying candidate # 25.749 * * * * [progress]: [ 31 / 100 ] simplifiying candidate # 25.749 * * * * [progress]: [ 32 / 100 ] simplifiying candidate # 25.749 * * * * [progress]: [ 33 / 100 ] simplifiying candidate # 25.749 * * * * [progress]: [ 34 / 100 ] simplifiying candidate # 25.750 * * * * [progress]: [ 35 / 100 ] simplifiying candidate # 25.750 * * * * [progress]: [ 36 / 100 ] simplifiying candidate # 25.750 * * * * [progress]: [ 37 / 100 ] simplifiying candidate # 25.750 * * * * [progress]: [ 38 / 100 ] simplifiying candidate # 25.750 * * * * [progress]: [ 39 / 100 ] simplifiying candidate # 25.750 * * * * [progress]: [ 40 / 100 ] simplifiying candidate # 25.751 * * * * [progress]: [ 41 / 100 ] simplifiying candidate # 25.751 * * * * [progress]: [ 42 / 100 ] simplifiying candidate # 25.751 * * * * [progress]: [ 43 / 100 ] simplifiying candidate # 25.751 * * * * [progress]: [ 44 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 25.751 * * * * [progress]: [ 45 / 100 ] simplifiying candidate # 25.751 * * * * [progress]: [ 46 / 100 ] simplifiying candidate # 25.752 * * * * [progress]: [ 47 / 100 ] simplifiying candidate # 25.752 * * * * [progress]: [ 48 / 100 ] simplifiying candidate # 25.752 * * * * [progress]: [ 49 / 100 ] simplifiying candidate # 25.752 * * * * [progress]: [ 50 / 100 ] simplifiying candidate # 25.752 * * * * [progress]: [ 51 / 100 ] simplifiying candidate # 25.752 * * * * [progress]: [ 52 / 100 ] simplifiying candidate # 25.753 * * * * [progress]: [ 53 / 100 ] simplifiying candidate # 25.753 * * * * [progress]: [ 54 / 100 ] simplifiying candidate # 25.753 * * * * [progress]: [ 55 / 100 ] simplifiying candidate # 25.753 * * * * [progress]: [ 56 / 100 ] simplifiying candidate # 25.753 * * * * [progress]: [ 57 / 100 ] simplifiying candidate # 25.754 * * * * [progress]: [ 58 / 100 ] simplifiying candidate # 25.754 * * * * [progress]: [ 59 / 100 ] simplifiying candidate # 25.754 * * * * [progress]: [ 60 / 100 ] simplifiying candidate # 25.754 * * * * [progress]: [ 61 / 100 ] simplifiying candidate # 25.754 * * * * [progress]: [ 62 / 100 ] simplifiying candidate # 25.754 * * * * [progress]: [ 63 / 100 ] simplifiying candidate # 25.755 * * * * [progress]: [ 64 / 100 ] simplifiying candidate # 25.755 * * * * [progress]: [ 65 / 100 ] simplifiying candidate # 25.755 * * * * [progress]: [ 66 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1))))) (cbrt (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 25.755 * * * * [progress]: [ 67 / 100 ] simplifiying candidate # 25.755 * * * * [progress]: [ 68 / 100 ] simplifiying candidate # 25.756 * * * * [progress]: [ 69 / 100 ] simplifiying candidate # 25.756 * * * * [progress]: [ 70 / 100 ] simplifiying candidate # 25.756 * * * * [progress]: [ 71 / 100 ] simplifiying candidate # 25.756 * * * * [progress]: [ 72 / 100 ] simplifiying candidate # 25.756 * * * * [progress]: [ 73 / 100 ] simplifiying candidate # 25.757 * * * * [progress]: [ 74 / 100 ] simplifiying candidate # 25.757 * * * * [progress]: [ 75 / 100 ] simplifiying candidate # 25.757 * * * * [progress]: [ 76 / 100 ] simplifiying candidate # 25.757 * * * * [progress]: [ 77 / 100 ] simplifiying candidate # 25.757 * * * * [progress]: [ 78 / 100 ] simplifiying candidate # 25.758 * * * * [progress]: [ 79 / 100 ] simplifiying candidate # 25.758 * * * * [progress]: [ 80 / 100 ] simplifiying candidate # 25.758 * * * * [progress]: [ 81 / 100 ] simplifiying candidate # 25.758 * * * * [progress]: [ 82 / 100 ] simplifiying candidate # 25.758 * * * * [progress]: [ 83 / 100 ] simplifiying candidate # 25.758 * * * * [progress]: [ 84 / 100 ] simplifiying candidate # 25.759 * * * * [progress]: [ 85 / 100 ] simplifiying candidate # 25.759 * * * * [progress]: [ 86 / 100 ] simplifiying candidate # 25.759 * * * * [progress]: [ 87 / 100 ] simplifiying candidate # 25.759 * * * * [progress]: [ 88 / 100 ] simplifiying candidate #real (real->posit16 (- (- 1 z) 1)))) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))> 25.759 * * * * [progress]: [ 89 / 100 ] simplifiying candidate # 25.759 * * * * [progress]: [ 90 / 100 ] simplifiying candidate # 25.760 * * * * [progress]: [ 91 / 100 ] simplifiying candidate # 25.760 * * * * [progress]: [ 92 / 100 ] simplifiying candidate # 25.760 * * * * [progress]: [ 93 / 100 ] simplifiying candidate # 25.760 * * * * [progress]: [ 94 / 100 ] simplifiying candidate # 25.760 * * * * [progress]: [ 95 / 100 ] simplifiying candidate # 25.760 * * * * [progress]: [ 96 / 100 ] simplifiying candidate # 25.760 * * * * [progress]: [ 97 / 100 ] simplifiying candidate # 25.761 * * * * [progress]: [ 98 / 100 ] simplifiying candidate # 25.761 * * * * [progress]: [ 99 / 100 ] simplifiying candidate # 25.761 * * * * [progress]: [ 100 / 100 ] simplifiying candidate # 25.763 * [simplify]: Simplifying: (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (/ (/ (exp 1) (exp z)) (exp 1)) (/ (exp (- 1 z)) (exp 1)) (log (- (- 1 z) 1)) (exp (- (- 1 z) 1)) (* (cbrt (- (- 1 z) 1)) (cbrt (- (- 1 z) 1))) (cbrt (- (- 1 z) 1)) (* (* (- (- 1 z) 1) (- (- 1 z) 1)) (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (sqrt (- (- 1 z) 1)) (- (pow (- 1 z) 3) (pow 1 3)) (+ (* (- 1 z) (- 1 z)) (+ (* 1 1) (* (- 1 z) 1))) (- 1) (- (* (- 1 z) (- 1 z)) (* 1 1)) (+ (- 1 z) 1) (+ (sqrt (- 1 z)) (sqrt 1)) (- (sqrt (- 1 z)) (sqrt 1)) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- (- 1 z) 1) (- (- 1 z) 1) (- (- z) 1) (- (- z) 1) (+ z 1) (- 1) (real->posit16 (- (- 1 z) 1)) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) (* -1 z) 25.764 * * [simplify]: iteration 1: (41 enodes) 25.784 * * [simplify]: iteration 2: (80 enodes) 25.814 * * [simplify]: iteration 3: (196 enodes) 25.874 * * [simplify]: iteration 4: (452 enodes) 26.109 * * [simplify]: iteration 5: (1219 enodes) 27.583 * * [simplify]: Extracting #0: cost 17 inf + 0 27.584 * * [simplify]: Extracting #1: cost 252 inf + 1 27.589 * * [simplify]: Extracting #2: cost 566 inf + 3841 27.613 * * [simplify]: Extracting #3: cost 270 inf + 52269 27.653 * * [simplify]: Extracting #4: cost 51 inf + 92666 27.699 * * [simplify]: Extracting #5: cost 8 inf + 110198 27.744 * * [simplify]: Extracting #6: cost 0 inf + 115195 27.767 * [simplify]: Simplified to: (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (exp (- z)) (exp (- z)) (log (- z)) (exp (- z)) (* (cbrt (- z)) (cbrt (- z))) (cbrt (- z)) (* (* z (- z)) z) (sqrt (- z)) (sqrt (- z)) (- (* (- 1 z) (* (- 1 z) (- 1 z))) 1) (+ (+ (- 1 z) (* (- 1 z) (- 1 z))) 1) -1 (* z (+ -2 z)) (- 2 z) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (+ (sqrt (- 1 z)) 1) (- (sqrt (- 1 z)) 1) (- z) (- z) (- -1 z) (- -1 z) (+ 1 z) -1 (real->posit16 (- z)) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) (- z) 27.856 * * * [progress]: adding candidates to table 33.125 * [progress]: [Phase 3 of 3] Extracting. 33.125 * * [regime]: Finding splitpoints for: (# # #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))))))> #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))>) 33.138 * * * [regime-changes]: Trying 1 branch expressions: (z) 33.139 * * * * [regimes]: Trying to branch on z from (# # #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))))))> #real (real->posit16 (- (- 1 z) 1))))) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))>) 33.271 * * * [regime]: Found split indices: #