Error in 1.5m

Runtime

Time bar (total: 1.5m)Debug logProfile

start251.0ms

Algorithm
intervals

setup173.0ms

Pruning

1 alts after pruning (1 fresh and 0 done)

Merged error: 30.1b

localize75.0ms

Local error

Found 4 expressions with local error:

30.1b
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b
(* (+ (* (+ y a) y) b) y)
0.0b
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

rewrite73.0ms

Algorithm
rewrite-expression-head
Counts
4 → 70
Calls

4 calls. Slowest were:

37.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
14.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)
13.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

series467.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

352.0ms
(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
49.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
43.0ms
(* (+ (* (+ (* (+ y a) y) b) y) c) y)

simplify9.3s

Counts
53 → 82
Calls

53 calls. Slowest were:

445.0ms
(+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))
429.0ms
(* (+ (pow (* (+ (* (+ y a) y) b) y) 3) (pow c 3)) y)
401.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) 1)

prune1.9s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 29.3b

localize16.0ms

Local error

Found 4 expressions with local error:

30.0b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
0.2b
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.1b
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b
(* (+ (* (+ y a) y) b) y)

rewrite136.0ms

Algorithm
rewrite-expression-head
Counts
4 → 71
Calls

4 calls. Slowest were:

89.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
28.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
11.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

series481.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

322.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
73.0ms
(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
57.0ms
(* (+ (* (+ (* x y) z) y) 27464.7644705) y)

simplify9.1s

Counts
46 → 83
Calls

46 calls. Slowest were:

817.0ms
(* (+ (pow (* (+ y a) y) 3) (pow b 3)) y)
656.0ms
(* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1)
476.0ms
(* (- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t)) 1)

prune2.1s

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 29.3b

localize20.0ms

Local error

Found 4 expressions with local error:

30.0b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
30.0b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
30.0b
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
2.0b
(cbrt (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))

rewrite190.0ms

Algorithm
rewrite-expression-head
Counts
4 → 96
Calls

4 calls. Slowest were:

60.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
45.0ms
(cbrt (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
41.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series1.8s

Counts
4 → 12
Calls

4 calls. Slowest were:

655.0ms
(cbrt (* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))))
425.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))
379.0ms
(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify17.6s

Counts
79 → 108
Calls

79 calls. Slowest were:

587.0ms
(cbrt (* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1))
558.0ms
(* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1)
494.0ms
(* (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)) 1)

prune3.5s

Pruning

10 alts after pruning (8 fresh and 2 done)

Merged error: 29.3b

localize21.0ms

Local error

Found 4 expressions with local error:

25.7b
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
18.4b
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
18.4b
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
18.4b
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite123.0ms

Algorithm
rewrite-expression-head
Counts
4 → 115
Calls

4 calls. Slowest were:

88.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
13.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
10.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

311.0ms
(/ (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
280.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
257.0ms
(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify28.8s

Counts
117 → 127
Calls

117 calls. Slowest were:

871.0ms
(* (cbrt (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))) (cbrt (- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))))
861.0ms
(cbrt (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3)))
831.0ms
(* (cbrt (- (* (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (* t t))) (cbrt (+ (pow (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) 3) (pow t 3))))

prune3.5s

Pruning

10 alts after pruning (7 fresh and 3 done)

Merged error: 29.3b

regimes1.3s

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (x y z t a b c i)
  :name "Numeric.SpecFunctions:logGamma from math-functions-0.1.5.2"
  (/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

Backtrace

partition: contract violation expected: list? given: 27.9830620881706 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