Error in 1.2m

Runtime

Time bar (total: 1.2m)Debug logProfile

start415.0ms

Algorithm
intervals

setup206.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 3.2b

localize84.0ms

Local error

Found 4 expressions with local error:

4.6b
(* (* y z) (* x 18.0))
3.1b
(fma t (* (* y z) (* x 18.0)) (fma (* a 4.0) (- t) (* c b)))
0.1b
(fma j (* k 27.0) (* (* x 4.0) i))
0.0b
(- (fma t (* (* y z) (* x 18.0)) (fma (* a 4.0) (- t) (* c b))) (fma j (* k 27.0) (* (* x 4.0) i)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

7.0ms
(- (fma t (* (* y z) (* x 18.0)) (fma (* a 4.0) (- t) (* c b))) (fma j (* k 27.0) (* (* x 4.0) i)))
6.0ms
(* (* y z) (* x 18.0))
0.0ms
(fma t (* (* y z) (* x 18.0)) (fma (* a 4.0) (- t) (* c b)))

series3.4s

Counts
4 → 12
Calls

4 calls. Slowest were:

3.1s
(- (fma t (* (* y z) (* x 18.0)) (fma (* a 4.0) (- t) (* c b))) (fma j (* k 27.0) (* (* x 4.0) i)))
201.0ms
(fma t (* (* y z) (* x 18.0)) (fma (* a 4.0) (- t) (* c b)))
57.0ms
(fma j (* k 27.0) (* (* x 4.0) i))

simplify10.4s

Counts
41 → 77
Calls

41 calls. Slowest were:

761.0ms
(* (* (* (* y z) (* y z)) (* y z)) (* (* (* x 18.0) (* x 18.0)) (* x 18.0)))
719.0ms
(fma (- (fma j (* k 27.0) (* (* x 4.0) i))) 1 (* (fma j (* k 27.0) (* (* x 4.0) i)) 1))
574.0ms
(fma (- (fma j (* k 27.0) (* (* x 4.0) i))) 1 (* (fma j (* k 27.0) (* (* x 4.0) i)) 1))

prune2.1s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize26.0ms

Local error

Found 4 expressions with local error:

5.5b
(* (* z 18.0) (* x t))
2.8b
(fma y (* (* z 18.0) (* x t)) (fma (* a 4.0) (- t) (* b c)))
0.1b
(fma j (* k 27.0) (* (* x 4.0) i))
0.0b
(- (fma y (* (* z 18.0) (* x t)) (fma (* a 4.0) (- t) (* b c))) (fma j (* k 27.0) (* (* x 4.0) i)))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

8.0ms
(- (fma y (* (* z 18.0) (* x t)) (fma (* a 4.0) (- t) (* b c))) (fma j (* k 27.0) (* (* x 4.0) i)))
6.0ms
(* (* z 18.0) (* x t))
0.0ms
(fma y (* (* z 18.0) (* x t)) (fma (* a 4.0) (- t) (* b c)))

series3.6s

Counts
4 → 12
Calls

4 calls. Slowest were:

3.3s
(- (fma y (* (* z 18.0) (* x t)) (fma (* a 4.0) (- t) (* b c))) (fma j (* k 27.0) (* (* x 4.0) i)))
180.0ms
(fma y (* (* z 18.0) (* x t)) (fma (* a 4.0) (- t) (* b c)))
42.0ms
(fma j (* k 27.0) (* (* x 4.0) i))

simplify10.5s

Counts
41 → 77
Calls

41 calls. Slowest were:

1.2s
(* (* (* (* z 18.0) (* z 18.0)) (* z 18.0)) (* (* (* x t) (* x t)) (* x t)))
603.0ms
(fma (- (fma j (* k 27.0) (* (* x 4.0) i))) 1 (* (fma j (* k 27.0) (* (* x 4.0) i)) 1))
598.0ms
(fma (- (fma j (* k 27.0) (* (* x 4.0) i))) 1 (* (fma j (* k 27.0) (* (* x 4.0) i)) 1))

prune2.2s

Pruning

8 alts after pruning (8 fresh and 0 done)

Merged error: 0.0b

localize60.0ms

Local error

Found 4 expressions with local error:

5.6b
(* t (* z x))
2.9b
(fma (* t (* z x)) (* 18.0 y) (fma (* a 4.0) (- t) (* c b)))
0.2b
(* (* j k) 27.0)
0.0b
(fma (fma x (* 4.0 i) (* (* j k) 27.0)) -1 (fma (* t (* z x)) (* 18.0 y) (fma (* a 4.0) (- t) (* c b))))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
4 → 42
Calls

4 calls. Slowest were:

2.0ms
(* (* j k) 27.0)
1.0ms
(* t (* z x))
0.0ms
(fma (fma x (* 4.0 i) (* (* j k) 27.0)) -1 (fma (* t (* z x)) (* 18.0 y) (fma (* a 4.0) (- t) (* c b))))

series13.2s

Counts
4 → 12
Calls

4 calls. Slowest were:

13.1s
(fma (fma x (* 4.0 i) (* (* j k) 27.0)) -1 (fma (* t (* z x)) (* 18.0 y) (fma (* a 4.0) (- t) (* c b))))
154.0ms
(fma (* t (* z x)) (* 18.0 y) (fma (* a 4.0) (- t) (* c b)))
17.0ms
(* t (* z x))

simplify1.3s

Counts
12 → 54
Calls

12 calls. Slowest were:

343.0ms
(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* a t)))
300.0ms
(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* a t)))
293.0ms
(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* a t)))

prune1.6s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

5.4b
(* z (* 18.0 (* x t)))
2.8b
(fma y (* z (* 18.0 (* x t))) (fma (* a 4.0) (- t) (* b c)))
0.2b
(* 18.0 (* x t))
0.1b
(fma j (* k 27.0) (* (* x 4.0) i))

rewrite4.0ms

Algorithm
rewrite-expression-head
Counts
4 → 42
Calls

4 calls. Slowest were:

2.0ms
(* z (* 18.0 (* x t)))
1.0ms
(* 18.0 (* x t))
0.0ms
(fma y (* z (* 18.0 (* x t))) (fma (* a 4.0) (- t) (* b c)))

series221.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

153.0ms
(fma y (* z (* 18.0 (* x t))) (fma (* a 4.0) (- t) (* b c)))
33.0ms
(fma j (* k 27.0) (* (* x 4.0) i))
18.0ms
(* z (* 18.0 (* x t)))

simplify669.0ms

Counts
13 → 54
Calls

13 calls. Slowest were:

280.0ms
(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* a t)))
248.0ms
(- (+ (* 18.0 (* t (* x (* z y)))) (* b c)) (* 4.0 (* a t)))
33.0ms
(* 18.0 (* t (* x z)))

prune1.3s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes2.6s

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(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: 1.86942518049266 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