Time bar (total: 47.2s)
| 701.0ms | 136× | body | 10240 | exit |
| 148.0ms | 48× | body | 1280 | nan |
| 134.0ms | 259× | body | 80 | valid |
| 82.0ms | 39× | body | 640 | nan |
| 79.0ms | 28× | body | 320 | nan |
| 10.0ms | 11× | body | 160 | nan |
| 8.0ms | 13× | body | 80 | nan |
| 370.0ms | (* (/ 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 alts after pruning (1 fresh and 0 done)
Merged error: 1.8b
Found 4 expressions with local error:
| 7.0b | (- (- 1 z) 1) |
| 7.0b | (- (- 1 z) 1) |
| 7.0b | (- (- 1 z) 1) |
| 7.0b | (- (- 1 z) 1) |
| 12× | add-sqr-sqrt fma-neg |
| 8× | sub-neg *-un-lft-identity associate--l+ add-exp-log add-cube-cbrt |
| 4× | associate--l- expm1-log1p-u pow1 expm1-def flip3-- add-cbrt-cube difference-of-sqr-1 insert-posit16 log1p-expm1-u flip-- add-log-exp |
| 8.0ms | (- (- 1 z) 1) |
| 8.0ms | (- (- 1 z) 1) |
| 4.0ms | (- (- 1 z) 1) |
| 4.0ms | (- (- 1 z) 1) |
| 8.0ms | (- (- 1 z) 1) |
| 7.0ms | (- (- 1 z) 1) |
| 7.0ms | (- (- 1 z) 1) |
| 7.0ms | (- (- 1 z) 1) |
| 21.0ms | (+ (sqrt (- 1 z)) 1) |
| 20.0ms | (* (cbrt (- 1 z)) (cbrt (- 1 z))) |
| 19.0ms | (+ (sqrt (- 1 z)) 1) |
| 17.0ms | (* (cbrt (- 1 z)) (cbrt (- 1 z))) |
| 17.0ms | (* (cbrt (- 1 z)) (cbrt (- 1 z))) |
1 alts after pruning (0 fresh and 1 done)
Merged error: 1.8b
| 22.2s | 3910× | body | 10240 | exit |
| 6.8s | 8078× | body | 80 | valid |
| 5.3s | 1484× | body | 1280 | nan |
| 3.9s | 1248× | body | 640 | nan |
| 1.2s | 604× | body | 320 | nan |
| 395.0ms | 319× | body | 160 | nan |
| 215.0ms | 325× | body | 80 | nan |