Time bar (total: 39.0s)Debug logProfile
2 alts after pruning (2 fresh and 0 done)
Merged error: 8.0b
Found 4 expressions with local error:
| 8.1b | (* (- (* x.re x.re) (* x.im x.im)) x.im) |
| 0.2b | (* (+ (* x.re x.im) (* x.im x.re)) x.re) |
| 0.2b | (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) |
| 0.0b | (+ (* x.re x.im) (* x.im x.re)) |
4 calls. Slowest were:
| 13.0ms | (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) |
| 4.0ms | (* (+ (* x.re x.im) (* x.im x.re)) x.re) |
| 4.0ms | (* (- (* x.re x.re) (* x.im x.im)) x.im) |
4 calls. Slowest were:
| 58.0ms | (+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) |
| 55.0ms | (* (- (* x.re x.re) (* x.im x.im)) x.im) |
| 18.0ms | (* (+ (* x.re x.im) (* x.im x.re)) x.re) |
31 calls. Slowest were:
| 2.8s | (* (exp (* (- (* x.re x.re) (* x.im x.im)) x.im)) (exp (* (+ (* x.re x.im) (* x.im x.re)) x.re))) |
| 528.0ms | (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re) |
| 461.0ms | (* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (- (* x.re x.im) (* x.im x.re))) |
6 alts after pruning (6 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.2b | (* (+ x.re x.im) (* (- x.re x.im) x.im)) |
| 0.2b | (* (+ (* x.re x.im) (* x.im x.re)) x.re) |
| 0.2b | (+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) |
| 0.0b | (* (- x.re x.im) x.im) |
4 calls. Slowest were:
| 12.0ms | (+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) |
| 7.0ms | (* (+ x.re x.im) (* (- x.re x.im) x.im)) |
| 4.0ms | (* (+ (* x.re x.im) (* x.im x.re)) x.re) |
4 calls. Slowest were:
| 44.0ms | (+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (+ (* x.re x.im) (* x.im x.re)) x.re)) |
| 41.0ms | (* (+ x.re x.im) (* (- x.re x.im) x.im)) |
| 28.0ms | (* (- x.re x.im) x.im) |
70 calls. Slowest were:
| 703.0ms | (+ (* (* (+ (pow x.re 3) (pow x.im 3)) (* (- x.re x.im) x.im)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (+ (* x.re x.re) (- (* x.im x.im) (* x.re x.im))) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re))) |
| 661.0ms | (+ (* (* (- (* x.re x.re) (* x.im x.im)) (* (- (* x.re x.re) (* x.im x.im)) x.im)) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) (* (* (- x.re x.im) (+ x.re x.im)) (* (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3)) x.re))) |
| 623.0ms | (* (+ x.re x.im) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re))))) |
11 alts after pruning (10 fresh and 1 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 15.1b | (cbrt (+ (* x.re x.im) (* x.im x.re))) |
| 15.1b | (cbrt (* x.re (+ x.im x.im))) |
| 15.1b | (cbrt (* x.re (+ x.im x.im))) |
| 0.5b | (* (cbrt (* x.re (+ x.im x.im))) (cbrt (* x.re (+ x.im x.im)))) |
4 calls. Slowest were:
| 12.0ms | (* (cbrt (* x.re (+ x.im x.im))) (cbrt (* x.re (+ x.im x.im)))) |
| 2.0ms | (cbrt (+ (* x.re x.im) (* x.im x.re))) |
| 2.0ms | (cbrt (* x.re (+ x.im x.im))) |
4 calls. Slowest were:
| 182.0ms | (* (cbrt (* x.re (+ x.im x.im))) (cbrt (* x.re (+ x.im x.im)))) |
| 134.0ms | (cbrt (+ (* x.re x.im) (* x.im x.re))) |
| 132.0ms | (cbrt (* x.re (+ x.im x.im))) |
51 calls. Slowest were:
| 506.0ms | (* (* x.re (+ x.im x.im)) (* x.re (+ x.im x.im))) |
| 500.0ms | (* (* x.re (+ x.im x.im)) (* x.re (+ x.im x.im))) |
| 348.0ms | (cbrt (+ (pow (* x.re x.im) 3) (pow (* x.im x.re) 3))) |
11 alts after pruning (10 fresh and 1 done)
Merged error: 0b
Found 4 expressions with local error:
| 15.1b | (cbrt (* x.re (+ x.im x.im))) |
| 15.1b | (cbrt (* x.re (+ x.im x.im))) |
| 1.0b | (cbrt 2) |
| 0.6b | (cbrt x.im) |
4 calls. Slowest were:
| 2.0ms | (cbrt (* x.re (+ x.im x.im))) |
| 2.0ms | (cbrt (* x.re (+ x.im x.im))) |
| 0.0ms | (cbrt x.im) |
4 calls. Slowest were:
| 322.0ms | (cbrt x.im) |
| 129.0ms | (cbrt (* x.re (+ x.im x.im))) |
| 112.0ms | (cbrt (* x.re (+ x.im x.im))) |
16 calls. Slowest were:
| 327.0ms | (+ (* (+ x.re x.im) (* (- x.re x.im) x.im)) (* (* (cbrt (* x.re (+ x.im x.im))) (cbrt (* x.re (+ x.im x.im)))) (* (* (cbrt x.im) (* (cbrt x.re) (cbrt 2))) x.re))) |
| 177.0ms | (* (exp (* -1/3 (+ (log (/ -1 x.re)) (log (/ -1 x.im))))) (cbrt 2)) |
| 151.0ms | (* (exp (* -1/3 (+ (log (/ 1 x.im)) (log (/ 1 x.re))))) (cbrt 2)) |
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
(FPCore (x.re x.im)
:name "math.cube on complex, imaginary part"
:herbie-target
(+ (* (* x.re x.im) (* 2 x.re)) (* (* x.im (- x.re x.im)) (+ x.re x.im)))
(+ (* (- (* x.re x.re) (* x.im x.im)) x.im) (* (+ (* x.re x.im) (* x.im x.re)) x.re)))
| partition: contract violation expected: list? given: 0.2513492484399338 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 |