Error in 3.3m

Runtime

Time bar (total: 3.3m)Debug logProfile

start3.8s

Algorithm
intervals

setup301.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize199.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
1.0b
(sqrt (* 2 PI))
1.0b
(* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- (- 1 z) (- -6 0.5)))))
1.0b
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Counts
4 → 100
Calls

4 calls. Slowest were:

44.0ms
(* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- (- 1 z) (- -6 0.5)))))
10.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
7.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))

series140.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

84.0ms
(* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- (- 1 z) (- -6 0.5)))))
33.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
23.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))

simplify18.4s

Counts
65 → 110
Calls

65 calls. Slowest were:

1.4s
(pow (+ (sqrt (- 1 z)) (sqrt (- -6 0.5))) (- (- 1 z) (- 1 0.5)))
881.0ms
(* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (+ (- 1 z) 1))
856.0ms
(+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (- 1 z) 1)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) -1259.1392167224028))

prune8.3s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.1b

localize28.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(* (* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- 1 z)))) (exp (- -6 0.5)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Counts
4 → 87
Calls

4 calls. Slowest were:

34.0ms
(* (* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- 1 z)))) (exp (- -6 0.5)))
8.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
7.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))

series264.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

222.0ms
(* (* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) (/ 1 (exp (- 1 z)))) (exp (- -6 0.5)))
22.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
20.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))

simplify13.5s

Counts
56 → 97
Calls

56 calls. Slowest were:

905.0ms
(* (* (pow (- (- 1 z) (- -6 0.5)) (- (- 1 z) (- 1 0.5))) 1) (exp (- -6 0.5)))
787.0ms
(* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (+ (- 1 z) 1))
716.0ms
(+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (- 1 z) 1)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) -1259.1392167224028))

prune8.1s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize32.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
2.0b
(exp (log (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))))
1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))

rewrite33.0ms

Algorithm
rewrite-expression-head
Counts
4 → 73
Calls

4 calls. Slowest were:

12.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
10.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
8.0ms
(exp (log (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))))

series91.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

37.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
28.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
26.0ms
(exp (log (+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))))

simplify6.1s

Counts
38 → 83
Calls

38 calls. Slowest were:

907.0ms
(+ (* (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 (- 1 z)) 3)) (+ (- 1 z) 1)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) -1259.1392167224028))
708.0ms
(* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 (/ 676.5203681218851 (- 1 z))))) (+ (- 1 z) 1))
444.0ms
(exp (log (- (* (/ 771.3234287776531 (- 1 (+ z -2))) (/ 771.3234287776531 (- 1 (+ z -2)))) (* (/ -176.6150291621406 (- 5 (+ z 1))) (/ -176.6150291621406 (- 5 (+ z 1)))))))

prune7.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

localize79.0ms

Local error

Found 4 expressions with local error:

2.6b
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
1.0b
(sqrt (* 2 PI))
1.0b
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
1.0b
(+ (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))

rewrite80.0ms

Algorithm
rewrite-expression-head
Counts
4 → 87
Calls

4 calls. Slowest were:

54.0ms
(+ (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
14.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
10.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))

series87.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

44.0ms
(+ (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
22.0ms
(+ (/ 771.3234287776531 (- 1 (+ z -2))) (/ -176.6150291621406 (- 5 (+ z 1))))
21.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))

simplify18.6s

Counts
57 → 97
Calls

57 calls. Slowest were:

912.0ms
(* (* (+ (- 1 z) 5) (- 6 (+ z 1))) (- (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6))))
859.0ms
(* (exp (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- 6 (+ z 1))))) (exp (+ (/ 1.5056327351493116e-07 (- 9 (+ z 1))) (/ 9.984369578019572e-06 (- (- 1 z) -6)))))
842.0ms
(* (* (exp (/ -0.13857109526572012 (+ (- 1 z) 5))) (exp (/ 12.507343278686905 (- 6 (+ z 1))))) (* (exp (/ 1.5056327351493116e-07 (- 9 (+ z 1)))) (exp (/ 9.984369578019572e-06 (- (- 1 z) -6)))))

prune8.1s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes413.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (z)
  :name "Jmat.Real.gamma, branch z less than 0.5"
  (* (/ PI (sin (* PI z))) (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- (- 1 z) 1) 7) 0.5) (+ (- (- 1 z) 1) 0.5))) (exp (- (+ (+ (- (- 1 z) 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- (- 1 z) 1) 1))) (/ -1259.1392167224028 (+ (- (- 1 z) 1) 2))) (/ 771.3234287776531 (+ (- (- 1 z) 1) 3))) (/ -176.6150291621406 (+ (- (- 1 z) 1) 4))) (/ 12.507343278686905 (+ (- (- 1 z) 1) 5))) (/ -0.13857109526572012 (+ (- (- 1 z) 1) 6))) (/ 9.984369578019572e-06 (+ (- (- 1 z) 1) 7))) (/ 1.5056327351493116e-07 (+ (- (- 1 z) 1) 8))))))

Backtrace

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