Time bar (total: 1.4m)Debug logProfile
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.3b
Found 1 expressions with local error:
| 0.3b | (/ (log (hypot re im)) (log base)) |
1 calls. Slowest were:
| 5.0ms | (/ (log (hypot re im)) (log base)) |
1 calls. Slowest were:
| 101.0ms | (/ (log (hypot re im)) (log base)) |
34 calls. Slowest were:
| 269.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
| 128.0ms | (/ (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im))) (* (* (log base) (log base)) (log base))) |
| 38.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.4b | (/ (log base) (log (hypot re im))) |
| 0.3b | (/ 1 (/ (log base) (log (hypot re im)))) |
2 calls. Slowest were:
| 4.0ms | (/ (log base) (log (hypot re im))) |
| 2.0ms | (/ 1 (/ (log base) (log (hypot re im)))) |
2 calls. Slowest were:
| 178.0ms | (/ (log base) (log (hypot re im))) |
| 125.0ms | (/ 1 (/ (log base) (log (hypot re im)))) |
56 calls. Slowest were:
| 1.1s | (* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re)))) |
| 235.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
| 129.0ms | (/ (* (* (log base) (log base)) (log base)) (* (* (log (hypot re im)) (log (hypot re im))) (log (hypot re im)))) |
12 alts after pruning (12 fresh and 0 done)
Merged error: 0.0b
Found 3 expressions with local error:
| 0.4b | (* (log base) (/ 1 (log (hypot re im)))) |
| 0.3b | (/ 1 (* (log base) (/ 1 (log (hypot re im))))) |
| 0.2b | (/ 1 (log (hypot re im))) |
3 calls. Slowest were:
| 8.0ms | (* (log base) (/ 1 (log (hypot re im)))) |
| 7.0ms | (/ 1 (* (log base) (/ 1 (log (hypot re im))))) |
| 2.0ms | (/ 1 (log (hypot re im))) |
3 calls. Slowest were:
| 178.0ms | (* (log base) (/ 1 (log (hypot re im)))) |
| 117.0ms | (/ 1 (* (log base) (/ 1 (log (hypot re im))))) |
| 81.0ms | (/ 1 (log (hypot re im))) |
31 calls. Slowest were:
| 1.2s | (* -1 (/ (- (log -1) (log (/ -1 base))) (log (/ -1 re)))) |
| 403.0ms | (* (* (* (log base) (log base)) (log base)) (* (* (/ 1 (log (hypot re im))) (/ 1 (log (hypot re im)))) (/ 1 (log (hypot re im))))) |
| 225.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
13 alts after pruning (12 fresh and 1 done)
Merged error: 0b
Found 3 expressions with local error:
| 0.3b | (/ (/ 1 (log base)) (/ 1 (log (hypot re im)))) |
| 0.3b | (/ 1 (log base)) |
| 0.2b | (/ 1 (log (hypot re im))) |
3 calls. Slowest were:
| 5.0ms | (/ (/ 1 (log base)) (/ 1 (log (hypot re im)))) |
| 1.0ms | (/ 1 (log (hypot re im))) |
| 1.0ms | (/ 1 (log base)) |
3 calls. Slowest were:
| 146.0ms | (/ 1 (log base)) |
| 106.0ms | (/ (/ 1 (log base)) (/ 1 (log (hypot re im)))) |
| 98.0ms | (/ 1 (log (hypot re im))) |
62 calls. Slowest were:
| 1.1s | (/ (* (* (/ 1 (log base)) (/ 1 (log base))) (/ 1 (log base))) (* (* (/ 1 (log (hypot re im))) (/ 1 (log (hypot re im)))) (/ 1 (log (hypot re im))))) |
| 230.0ms | (* -1 (/ (log (/ -1 re)) (- (log -1) (log (/ -1 base))))) |
| 111.0ms | (/ (/ 1 (log base)) (/ 1 (log (hypot re im)))) |
11 alts after pruning (9 fresh and 2 done)
Merged error: 0b
Please include this information when filing a bug report:
herbie shell --seed 2018357 +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.4825161687756028 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 |