Error in 50.5s

Runtime

Time bar (total: 50.5s)Debug logProfile

start527.0ms

Algorithm
intervals

setup134.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.1b

localize60.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (* x 18.0) (* y z))
3.2b
(* (- (* (* x 18.0) (* y z)) (* a 4.0)) t)
0.2b
(* 27.0 (* k j))
0.0b
(+ (- (* c b) (+ (* 27.0 (* k j)) (* (* x 4.0) i))) (* (- (* (* x 18.0) (* y z)) (* a 4.0)) t))

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 55
Calls

4 calls. Slowest were:

27.0ms
(+ (- (* c b) (+ (* 27.0 (* k j)) (* (* x 4.0) i))) (* (- (* (* x 18.0) (* y z)) (* a 4.0)) t))
11.0ms
(* (- (* (* x 18.0) (* y z)) (* a 4.0)) t)
3.0ms
(* (* x 18.0) (* y z))

series11.6s

Counts
4 → 12
Calls

4 calls. Slowest were:

11.5s
(+ (- (* c b) (+ (* 27.0 (* k j)) (* (* x 4.0) i))) (* (- (* (* x 18.0) (* y z)) (* a 4.0)) t))
68.0ms
(* (- (* (* x 18.0) (* y z)) (* a 4.0)) t)
21.0ms
(* (* x 18.0) (* y z))

simplify5.6s

Counts
33 → 67
Calls

33 calls. Slowest were:

721.0ms
(* (* (* (* x 18.0) (* x 18.0)) (* x 18.0)) (* (* (* y z) (* y z)) (* y z)))
477.0ms
(+ (* (- (* (* c b) (* c b)) (* (+ (* 27.0 (* k j)) (* (* x 4.0) i)) (+ (* 27.0 (* k j)) (* (* x 4.0) i)))) (+ (* (* (* x 18.0) (* y z)) (* (* x 18.0) (* y z))) (+ (* (* a 4.0) (* a 4.0)) (* (* (* x 18.0) (* y z)) (* a 4.0))))) (* (+ (* c b) (+ (* 27.0 (* k j)) (* (* x 4.0) i))) (* (- (pow (* (* x 18.0) (* y z)) 3) (pow (* a 4.0) 3)) t)))
416.0ms
(* (- (* (* (* x 18.0) (* y z)) (* (* x 18.0) (* y z))) (* (* a 4.0) (* a 4.0))) t)

prune1.9s

Pruning

12 alts after pruning (12 fresh and 0 done)

Merged error: 1.0b

localize18.0ms

Local error

Found 4 expressions with local error:

4.6b
(* x (* z y))
3.2b
(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
0.2b
(* 27.0 (* k j))
0.2b
(* 18.0 (* x (* z y)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 40
Calls

4 calls. Slowest were:

10.0ms
(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
4.0ms
(* 18.0 (* x (* z y)))
2.0ms
(* 27.0 (* k j))

series166.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

89.0ms
(* (- (* 18.0 (* x (* z y))) (* a 4.0)) t)
30.0ms
(* 18.0 (* x (* z y)))
28.0ms
(* x (* z y))

simplify1.3s

Counts
17 → 52
Calls

17 calls. Slowest were:

394.0ms
(* (- (* (* 18.0 (* x (* z y))) (* 18.0 (* x (* z y)))) (* (* a 4.0) (* a 4.0))) t)
294.0ms
(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* t a)))
263.0ms
(- (* 18.0 (* t (* x (* z y)))) (* 4.0 (* t a)))

prune1.5s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 1.0b

localize20.0ms

Local error

Found 4 expressions with local error:

17.9b
(cbrt (* x (* z y)))
17.9b
(cbrt (* x (* z y)))
17.9b
(cbrt (* x (* z y)))
4.6b
(* x (* z y))

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 36
Calls

4 calls. Slowest were:

1.0ms
(* x (* z y))
1.0ms
(cbrt (* x (* z y)))
1.0ms
(cbrt (* x (* z y)))

series294.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

103.0ms
(cbrt (* x (* z y)))
89.0ms
(cbrt (* x (* z y)))
85.0ms
(cbrt (* x (* z y)))

simplify1.3s

Counts
15 → 48
Calls

15 calls. Slowest were:

208.0ms
(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 x)) (+ (log (/ -1 z)) (log (/ -1 y)))))))
199.0ms
(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 x)) (+ (log (/ -1 z)) (log (/ -1 y)))))))
183.0ms
(* (cbrt -1) (exp (* -1/3 (+ (log (/ -1 x)) (+ (log (/ -1 z)) (log (/ -1 y)))))))

prune1.7s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 1.0b

localize29.0ms

Local error

Found 4 expressions with local error:

6.0b
(* (* (* x 18.0) y) z)
5.0b
(* (* (* (* x 18.0) y) z) t)
0.2b
(* (* j 27.0) k)
0.2b
(* (* x 18.0) y)

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 36
Calls

4 calls. Slowest were:

23.0ms
(* (* (* (* x 18.0) y) z) t)
9.0ms
(* (* (* x 18.0) y) z)
4.0ms
(* (* x 18.0) y)

series93.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

29.0ms
(* (* (* (* x 18.0) y) z) t)
29.0ms
(* (* (* x 18.0) y) z)
21.0ms
(* (* x 18.0) y)

simplify552.0ms

Counts
14 → 48
Calls

14 calls. Slowest were:

212.0ms
(* 18.0 (* t (* x (* z y))))
166.0ms
(* 18.0 (* t (* x (* z y))))
49.0ms
(* 18.0 (* x (* z y)))

prune1.2s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 0.9b

regimes3.6s

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x y z t a b c i j k)
  :name "Diagrams.Solve.Polynomial:cubForm  from diagrams-solve-0.1"
  (- (- (+ (- (* (* (* (* x 18.0) y) z) t) (* (* a 4.0) t)) (* b c)) (* (* x 4.0) i)) (* (* j 27.0) k)))

Backtrace

partition: contract violation expected: list? given: 2.896243937441782 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128