Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 3.1m)Debug log

start2.5s

Algorithm
intervals

setup272.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.6b

localize190.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
(* (* (sqrt (* 2 PI)) (pow (+ (+ (- 1 z) 6) 0.5) (- (+ 0.5 1) (+ z 1)))) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
0.9b
(+ (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- (- 1 z) -4))) (+ (/ 1.5056327351493116e-07 (+ (- 1 z) 7)) (/ 9.984369578019572e-06 (+ (- 1 z) 6))))

rewrite232.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

136.0ms
(* (* (sqrt (* 2 PI)) (pow (+ (+ (- 1 z) 6) 0.5) (- (+ 0.5 1) (+ z 1)))) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
88.0ms
(+ (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- (- 1 z) -4))) (+ (/ 1.5056327351493116e-07 (+ (- 1 z) 7)) (/ 9.984369578019572e-06 (+ (- 1 z) 6))))
6.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))

series333.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

245.0ms
(* (* (sqrt (* 2 PI)) (pow (+ (+ (- 1 z) 6) 0.5) (- (+ 0.5 1) (+ z 1)))) (/ 1 (exp (+ (+ (- 1 z) 6) 0.5))))
55.0ms
(+ (+ (/ -0.13857109526572012 (+ (- 1 z) 5)) (/ 12.507343278686905 (- (- 1 z) -4))) (+ (/ 1.5056327351493116e-07 (+ (- 1 z) 7)) (/ 9.984369578019572e-06 (+ (- 1 z) 6))))
33.0ms
(+ (+ 0.9999999999998099 (/ 676.5203681218851 (- 1 z))) (/ -1259.1392167224028 (+ (- 1 z) 1)))
0.0ms
(sqrt (* 2 PI))

simplify21.1s

Counts
67 → 92
Calls

67 calls. Slowest were:

915.0ms
(+ (+ (log (sqrt (* 2 PI))) (log (pow (+ (+ (- 1 z) 6) 0.5) (- (+ 0.5 1) (+ z 1))))) (- (+ (+ (- 1 z) 6) 0.5)))
813.0ms
(+ (+ (log (sqrt (* 2 PI))) (* (log (+ (+ (- 1 z) 6) 0.5)) (- (+ 0.5 1) (+ z 1)))) (- (+ (+ (- 1 z) 6) 0.5)))
680.0ms
(+ (+ (log (sqrt (* 2 PI))) (* (log (+ (+ (- 1 z) 6) 0.5)) (- (+ 0.5 1) (+ z 1)))) (log (/ 1 (exp (+ (+ (- 1 z) 6) 0.5)))))

prune7.6s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.1b

localize152.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt (* 2 PI))
1.0b
(+ (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (/ -1259.1392167224028 (- 2 z)))
0.9b
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
0.9b
(+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))

rewrite1.4s

Algorithm
rewrite-expression-head
Counts
4 → 177
Calls

4 calls. Slowest were:

1.4s
(+ (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (/ -1259.1392167224028 (- 2 z)))
27.0ms
(+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))
4.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))

series167.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

105.0ms
(+ (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (/ -1259.1392167224028 (- 2 z)))
33.0ms
(+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))
28.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
0.0ms
(sqrt (* 2 PI))

simplify55.6s

Counts
245 → 187
Calls

245 calls. Slowest were:

850.0ms
(* (* (* (* (- 5 z) (- 7 z)) (* (- 8 z) (- 6 z))) (+ (* (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))) (- (* (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099)) (* (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))))) (- 2 z))
784.0ms
(* (* (* (+ (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (- (* (/ 9.984369578019572e-06 (- 7 z)) (/ 9.984369578019572e-06 (- 7 z))) (* (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))))) (- (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (* (* (- 3 z) (- 4 z)) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))))) (- 2 z))
685.0ms
(* (* (+ (* (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z)))) (- (* (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (* (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (- (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (- (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (- 2 z))

prune18.4s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize43.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(+ (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (/ -1259.1392167224028 (- 2 z)))
0.9b
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
0.9b
(+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))

rewrite1.4s

Algorithm
rewrite-expression-head
Counts
4 → 176
Calls

4 calls. Slowest were:

1.3s
(+ (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (/ -1259.1392167224028 (- 2 z)))
55.0ms
(+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))
4.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))

series151.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

83.0ms
(+ (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (/ -1259.1392167224028 (- 2 z)))
40.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
29.0ms
(+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))
0.0ms
(sqrt PI)

simplify53.9s

Counts
244 → 186
Calls

244 calls. Slowest were:

1.0s
(* (* (* (- (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (* (/ 1.5056327351493116e-07 (- 8 z)) (/ 1.5056327351493116e-07 (- 8 z))) (- (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z))) (* (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (* (- 3 z) (- 4 z)) (+ (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (- (* 0.9999999999998099 0.9999999999998099) (* (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))))) (- 2 z))
635.0ms
(+ (* (+ (* (- (* (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z)))) (* (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z))))) (* (- (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (- (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (* (- (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (* (- (* (/ 771.3234287776531 (- 3 z)) (/ 771.3234287776531 (- 3 z))) (* (/ -176.6150291621406 (- 4 z)) (/ -176.6150291621406 (- 4 z)))) (- (/ 676.5203681218851 (- 1 z)) 0.9999999999998099)) (* (- (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 0.9999999999998099)))))) (- 2 z)) (* (* (- (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (* (- (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (- (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) -1259.1392167224028))
588.0ms
(+ (* (+ (* (+ (* (- (* (/ 12.507343278686905 (- 5 z)) (/ 12.507343278686905 (- 5 z))) (* (/ 9.984369578019572e-06 (- 7 z)) (/ 9.984369578019572e-06 (- 7 z)))) (- (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (* (- (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (- (* (/ 1.5056327351493116e-07 (- 8 z)) (/ 1.5056327351493116e-07 (- 8 z))) (* (/ -0.13857109526572012 (- 6 z)) (/ -0.13857109526572012 (- 6 z)))))) (* (- (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (- (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (* (* (- (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (- (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (* (- (* (/ 771.3234287776531 (- 3 z)) (/ 771.3234287776531 (- 3 z))) (* (/ -176.6150291621406 (- 4 z)) (/ -176.6150291621406 (- 4 z)))) (- (/ 676.5203681218851 (- 1 z)) 0.9999999999998099)) (* (- (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (- (* (/ 676.5203681218851 (- 1 z)) (/ 676.5203681218851 (- 1 z))) (* 0.9999999999998099 0.9999999999998099)))))) (- 2 z)) (* (* (* (- (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (- (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (* (- (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (- (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) -1259.1392167224028))

prune18.4s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize85.0ms

Local error

Found 4 expressions with local error:

1.0b
(sqrt PI)
1.0b
(* (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))))
1.0b
(pow (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) 3)
0.9b
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))

rewrite2.9s

Algorithm
rewrite-expression-head
Counts
4 → 8492
Calls

4 calls. Slowest were:

871.0ms
(* (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))))
498.0ms
(pow (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) 3)
9.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))

series913.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

767.0ms
(pow (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) 3)
110.0ms
(* (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))) (+ (+ (+ (/ 12.507343278686905 (- 5 z)) (/ 9.984369578019572e-06 (- 7 z))) (+ (/ 1.5056327351493116e-07 (- 8 z)) (/ -0.13857109526572012 (- 6 z)))) (+ (+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z))) (+ (/ 676.5203681218851 (- 1 z)) 0.9999999999998099))))
36.0ms
(+ (/ 771.3234287776531 (- 3 z)) (/ -176.6150291621406 (- 4 z)))
0.0ms
(sqrt PI)

Reproduce

herbie shell --seed 2018360 
(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))))))