Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 8.1m)Debug log

start3.2s

Algorithm
intervals

setup506.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.3b

localize142.0ms

Local error

Found 4 expressions with local error:

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

rewrite562.0ms

Algorithm
rewrite-expression-head
Counts
4 → 427
Calls

4 calls. Slowest were:

489.0ms
(* (/ (* (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))
23.0ms
(/ (* (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ z 6) 0.5)))
13.0ms
(* (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))

series708.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

275.0ms
(* (/ (* (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))
258.0ms
(/ (* (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ z 6) 0.5)))
174.0ms
(* (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

simplify2.6m

Counts
561 → 437
Calls

561 calls. Slowest were:

912.0ms
(* (exp (+ (+ z 6) 0.5)) (* (+ (* (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4)))) (- (* (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (* (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))))) (* (* (+ z 2) (+ 3 z)) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z)))) (+ z 1)))))
899.0ms
(* (* (- (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (* (+ z 6) (- z -7))) (* (* (+ z 2) (+ 3 z)) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (- (* (/ -1259.1392167224028 (+ z 1)) (/ -1259.1392167224028 (+ z 1))) (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1)))))))
860.0ms
(* (exp (+ (+ z 6) 0.5)) (* (* (+ (* (/ -0.13857109526572012 (+ 5 z)) (/ -0.13857109526572012 (+ 5 z))) (- (* (/ 12.507343278686905 (- z -4)) (/ 12.507343278686905 (- z -4))) (* (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))))) (+ (* (/ 9.984369578019572e-06 (+ z 6)) (/ 9.984369578019572e-06 (+ z 6))) (- (* (/ 1.5056327351493116e-07 (- z -7)) (/ 1.5056327351493116e-07 (- z -7))) (* (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))))) (* (- (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (* (- 0.9999999999998099 (/ 676.5203681218851 z)) (+ z 1)))))

prune49.4s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.0b

localize50.0ms

Local error

Found 4 expressions with local error:

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

rewrite1.5s

Algorithm
rewrite-expression-head
Counts
4 → 766
Calls

4 calls. Slowest were:

803.0ms
(* (/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))
587.0ms
(* (pow (+ 0.5 (+ 6 z)) (+ 0.5 (+ z -1))) (* (/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1)))))))
21.0ms
(/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5)))

series525.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

295.0ms
(* (pow (+ 0.5 (+ 6 z)) (+ 0.5 (+ z -1))) (* (/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1)))))))
149.0ms
(* (/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))
81.0ms
(/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5)))
0.0ms
(sqrt (* PI 2))

simplify3.5m

Counts
911 → 776
Calls

911 calls. Slowest were:

1.1s
(* (exp (+ (+ z 6) 0.5)) (* (* (- (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (* (+ z 6) (- z -7))) (* (* (+ z 2) (+ 3 z)) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (- (* (/ -1259.1392167224028 (+ z 1)) (/ -1259.1392167224028 (+ z 1))) (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))))
1.1s
(* (* (* (pow (+ 0.5 (+ 6 z)) (+ 0.5 (+ z -1))) (pow (+ 0.5 (+ 6 z)) (+ 0.5 (+ z -1)))) (pow (+ 0.5 (+ 6 z)) (+ 0.5 (+ z -1)))) (* (* (* (/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1)))))) (* (/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))) (* (/ (sqrt (* PI 2)) (exp (+ (+ z 6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))))
897.0ms
(* (exp (+ (+ z 6) 0.5)) (* (* (+ (* (/ -0.13857109526572012 (+ 5 z)) (/ -0.13857109526572012 (+ 5 z))) (- (* (/ 12.507343278686905 (- z -4)) (/ 12.507343278686905 (- z -4))) (* (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))))) (+ (* (/ 9.984369578019572e-06 (+ z 6)) (/ 9.984369578019572e-06 (+ z 6))) (- (* (/ 1.5056327351493116e-07 (- z -7)) (/ 1.5056327351493116e-07 (- z -7))) (* (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))))) (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (/ -176.6150291621406 (+ 3 z)) (/ -176.6150291621406 (+ 3 z))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))))) (- (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))

prune1.1m

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite752.0ms

Algorithm
rewrite-expression-head
Counts
4 → 1127
Calls

4 calls. Slowest were:

360.0ms
(* (/ (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (exp (+ z 6))) (* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1)))))))
312.0ms
(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))
17.0ms
(/ (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (exp (+ z 6)))

series468.0ms

Counts
4 → 10
Calls

4 calls. Slowest were:

269.0ms
(* (/ (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (exp (+ z 6))) (* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1)))))))
122.0ms
(* (/ (sqrt (* PI 2)) (exp 0.5)) (+ (+ (+ (/ -0.13857109526572012 (+ 5 z)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ 3 z))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ z 1))))))
77.0ms
(/ (pow (+ (+ z 6) 0.5) (+ (- z 1) 0.5)) (exp (+ z 6)))
0.0ms
(sqrt (* PI 2))

Reproduce

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