Time bar (total: 1.4m)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.3b
Found 1 expressions with local error:
| 0.4b | (/ (log (hypot re im)) (log base)) |
1 calls. Slowest were:
| 10.0ms | (/ (log (hypot re im)) (log base)) |
1 calls. Slowest were:
| 115.0ms | (/ (log (hypot re im)) (log base)) |
34 calls. Slowest were:
| 205.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
| 139.0ms | (/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log base) (log base)) (log base))) |
| 18.0ms | (/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base)))) |
12 alts after pruning (12 fresh and 0 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.3b | (* (log (hypot re im)) (/ 1 (log base))) |
| 0.3b | (/ 1 (log base)) |
2 calls. Slowest were:
| 5.0ms | (* (log (hypot re im)) (/ 1 (log base))) |
| 1.0ms | (/ 1 (log base)) |
2 calls. Slowest were:
| 190.0ms | (/ 1 (log base)) |
| 118.0ms | (* (log (hypot re im)) (/ 1 (log base))) |
22 calls. Slowest were:
| 340.0ms | (* (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (/ 1 (log base)) (/ 1 (log base))) (/ 1 (log base)))) |
| 254.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
| 33.0ms | (/ 1 (- (log -1) (log (/ -1 base)))) |
12 alts after pruning (11 fresh and 1 done)
Merged error: 0.0b
Found 1 expressions with local error:
| 0.4b | (/ (log (hypot re im)) (log base)) |
1 calls. Slowest were:
| 6.0ms | (/ (log (hypot re im)) (log base)) |
1 calls. Slowest were:
| 88.0ms | (/ (log (hypot re im)) (log base)) |
34 calls. Slowest were:
| 297.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
| 133.0ms | (/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log base) (log base)) (log base))) |
| 24.0ms | (/ (* (cbrt (log (hypot re im))) (cbrt (log (hypot re im)))) (* (cbrt (log base)) (cbrt (log base)))) |
12 alts after pruning (10 fresh and 2 done)
Merged error: 0.0b
Found 2 expressions with local error:
| 0.4b | (/ (log base) (log (hypot re im))) |
| 0.2b | (/ 1 (/ (log base) (log (hypot re im)))) |
2 calls. Slowest were:
| 6.0ms | (/ (log base) (log (hypot re im))) |
| 4.0ms | (/ 1 (/ (log base) (log (hypot re im)))) |
2 calls. Slowest were:
| 154.0ms | (/ (log base) (log (hypot re im))) |
| 133.0ms | (/ 1 (/ (log base) (log (hypot re im)))) |
56 calls. Slowest were:
| 1.2s | (* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re)))) |
| 195.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
| 140.0ms | (/ (* (* (log base) (log base)) (log base)) (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im)))) |
12 alts after pruning (10 fresh and 2 done)
Merged error: 0.0b
Please include this information when filing a bug report:
herbie shell --seed 2018359 +o rules:numerics
(FPCore (re im base)
:name "math.log/2 on complex, real part"
(/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))))
| partition: contract violation expected: list? given: 0.36611109062806496 argument position: 2nd other arguments...: #<procedure:ordinary-value?> | L | C | |
|---|---|---|---|
| partition | /home/p92/racket/collects/racket/list.rkt | 555 | 0 |
| errors-score | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 322 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/sandbox.rkt | 75 | 12 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |