Timeout in 10.0m

Use the --timeout flag to change the timeout.

Details

Time bar (total: 9.6m)Debug log

sample1.3s

Algorithm
intervals
Results
409.0ms113×body1280valid
395.0ms125×body10240exit
170.0ms81×body640valid
143.0ms49×body1280nan
48.0ms28×body640nan
44.0ms36×body320valid
21.0ms15×body320nan
19.0ms17×body160valid
12.0ms12×body160nan
6.0ms14×body80valid
3.0ms6×body80nan

simplify707.0ms

Counts
1 → 1
Calls
1 calls:
Slowest
707.0ms
(* (* (* (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))))

prune77.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 1.8b

localize141.0ms

Local error

Found 4 expressions with local error:

1.4b
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))
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)))

rewrite641.0ms

Algorithm
rewrite-expression-head
Rules
1212×frac-add
440×flip-+
440×flip3-+
156×associate-*r/
156×frac-times
142×*-un-lft-identity
105×distribute-lft-out
32×associate-*r*
27×add-exp-log
20×add-cbrt-cube
16×associate-*l*
14×prod-exp
12×add-cube-cbrt
12×add-sqr-sqrt
8×div-exp
8×times-frac
6×cbrt-unprod
6×pow1
4×add-log-exp
4×associate-+l-
4×associate-/r*
4×cbrt-undiv
3×pow-exp
3×associate-*l/
3×exp-sum
3×unpow-prod-down
3×pow-to-exp
2×pow-sub
2×div-inv
2×sqrt-prod
2×*-commutative
2×associate-/r/
2×exp-diff
1×associate-/l/
1×associate-/l*
1×pow-prod-down
1×pow1/2
1×distribute-lft-in
1×frac-2neg
1×clear-num
1×unpow-prod-up
1×distribute-rgt-in
Counts
4 → 429
Calls
4 calls:
Slowest
554.0ms
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))
35.0ms
(/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5)))
14.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

series713.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
309.0ms
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))
240.0ms
(/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5)))
164.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

simplify2.4m

Counts
563 → 439
Calls
563 calls:
Slowest
1.0s
(* (* (* (+ z 5) (- 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)))))) (* (* (+ z 2) (- z -3)) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (- (* (/ -1259.1392167224028 (+ 1 z)) (/ -1259.1392167224028 (+ 1 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))))))
959.0ms
(* (exp (+ (- z -6) 0.5)) (* (* (+ (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (- (* (/ 12.507343278686905 (- z -4)) (/ 12.507343278686905 (- z -4))) (* (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))))) (* (- z -6) (- z -7))) (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (/ -176.6150291621406 (- z -3)) (/ -176.6150291621406 (- z -3))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z)))) (+ 1 z)))))
927.0ms
(* (exp (+ (- z -6) 0.5)) (* (* (* (+ z 5) (- 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 (- z -3)) (/ -176.6150291621406 (- z -3))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))))) (* (- 0.9999999999998099 (/ 676.5203681218851 z)) (+ 1 z)))))
836.0ms
(* (exp (+ (- z -6) 0.5)) (* (* (* (+ z 5) (- z -4)) (* (- z -6) (- z -7))) (* (* (+ z 2) (- z -3)) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (- (* (/ -1259.1392167224028 (+ 1 z)) (/ -1259.1392167224028 (+ 1 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))))
827.0ms
(* (* (+ (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (- (* (/ 12.507343278686905 (- z -4)) (/ 12.507343278686905 (- z -4))) (* (/ -0.13857109526572012 (+ z 5)) (/ 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 (- z -3)) (/ -176.6150291621406 (- z -3))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z)))) (+ 1 z))))

prune31.2s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 0.1b

localize42.0ms

Local error

Found 4 expressions with local error:

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

rewrite995.0ms

Algorithm
rewrite-expression-head
Rules
3030×frac-add
1100×flip-+
1100×flip3-+
625×frac-times
314×exp-diff
313×associate-*r/
268×*-un-lft-identity
210×distribute-lft-out
161×associate-*l/
134×add-log-exp
105×sum-log
32×associate-*r*
23×add-exp-log
20×add-cbrt-cube
17×prod-exp
9×cbrt-unprod
9×pow1
8×add-cube-cbrt
8×associate-*l*
8×add-sqr-sqrt
4×div-exp
3×pow-prod-down
3×unpow-prod-down
2×sqrt-prod
2×*-commutative
2×pow-exp
2×cbrt-undiv
2×pow-to-exp
1×pow-sub
1×associate-+l-
1×pow1/2
1×distribute-lft-in
1×associate-+r+
1×associate-+l+
1×+-commutative
1×unpow-prod-up
1×distribute-rgt-in
Counts
4 → 927
Calls
4 calls:
Slowest
560.0ms
(* (* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp z)) (exp (- -6 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))
355.0ms
(+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))))
21.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
0.0ms
(sqrt (* PI 2))

series737.0ms

Counts
4 → 10
Calls
4 calls:
Slowest
482.0ms
(* (* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp z)) (exp (- -6 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))
181.0ms
(* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2)))
74.0ms
(+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))))
0.0ms
(sqrt (* PI 2))

simplify5.1m

Counts
1524 → 937
Calls
1524 calls:
Slowest
989.0ms
(* (* (exp z) (exp 0.5)) (* (* (- (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (* (- z -6) (- z -7))) (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (/ -176.6150291621406 (- z -3)) (/ -176.6150291621406 (- z -3))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))))) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (- (* (/ -1259.1392167224028 (+ 1 z)) (/ -1259.1392167224028 (+ 1 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))))
924.0ms
(* (* (exp z) (exp 0.5)) (* (* (+ (* (/ -0.13857109526572012 (+ z 5)) (/ -0.13857109526572012 (+ z 5))) (- (* (/ 12.507343278686905 (- z -4)) (/ 12.507343278686905 (- z -4))) (* (/ -0.13857109526572012 (+ z 5)) (/ 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 (- z -3)) (/ -176.6150291621406 (- z -3))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))))) (* (- 0.9999999999998099 (/ 676.5203681218851 z)) (+ 1 z)))))
869.0ms
(* (* (exp z) (exp 0.5)) (* (* (- (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (- (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (* (- (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) (- (* (/ -1259.1392167224028 (+ 1 z)) (/ -1259.1392167224028 (+ 1 z))) (* (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))))
837.0ms
(* (* (exp z) (exp 0.5)) (* (* (* (+ z 5) (- z -4)) (* (- z -6) (- z -7))) (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (/ -176.6150291621406 (- z -3)) (/ -176.6150291621406 (- z -3))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))))) (* (- 0.9999999999998099 (/ 676.5203681218851 z)) (+ 1 z)))))
830.0ms
(* (* (exp z) (exp 0.5)) (* (* (* (+ z 5) (- z -4)) (- (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (* (+ (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (- (* (/ -176.6150291621406 (- z -3)) (/ -176.6150291621406 (- z -3))) (* (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))))) (* (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z)))) (+ 1 z)))))

prune50.9s

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.1b

localize51.0ms

Local error

Found 4 expressions with local error:

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

rewrite66.0ms

Algorithm
rewrite-expression-head
Rules
22×frac-add
20×add-exp-log
15×add-cbrt-cube
14×associate-/l/
14×associate-*l/
11×flip-+
11×flip3-+
10×prod-exp
9×add-cube-cbrt
9×*-un-lft-identity
9×add-sqr-sqrt
7×associate-*r*
5×div-exp
4×add-log-exp
4×cbrt-unprod
4×associate-*l*
4×times-frac
4×associate-/r*
4×pow1
3×sqrt-prod
3×unpow-prod-down
3×cbrt-undiv
2×pow-exp
2×exp-sum
2×pow1/2
2×pow-to-exp
1×associate-/l*
1×div-inv
1×*-commutative
1×frac-2neg
1×clear-num
1×unpow-prod-up
Counts
4 → 82
Calls
4 calls:
Slowest
57.0ms
(/ (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))) (exp (+ 0.5 (+ z 6))))
7.0ms
(* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

series295.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
185.0ms
(/ (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))) (exp (+ 0.5 (+ z 6))))
110.0ms
(* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify6.6s

Counts
59 → 90
Calls
59 calls:
Slowest
515.0ms
(/ (* (* (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (* (* (* (sqrt (* PI 2)) (sqrt (* PI 2))) (sqrt (* PI 2))) (* (* (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))) (* (* (exp (+ 0.5 (+ z 6))) (exp (+ 0.5 (+ z 6)))) (exp (+ 0.5 (+ z 6)))))
432.0ms
(/ (* (* (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (* (* (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))) (* (* (exp (+ 0.5 (+ z 6))) (exp (+ 0.5 (+ z 6)))) (exp (+ 0.5 (+ z 6)))))
346.0ms
(/ (* (* (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))) (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))) (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))) (* (* (exp (+ 0.5 (+ z 6))) (exp (+ 0.5 (+ z 6)))) (exp (+ 0.5 (+ z 6)))))
314.0ms
(- (+ (log (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (+ (log (sqrt (* PI 2))) (log (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))) (+ 0.5 (+ z 6)))
238.0ms
(* (+ (* (- (* (/ -1259.1392167224028 (+ 1 z)) (/ -1259.1392167224028 (+ 1 z))) (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2)))) (* (+ 3 z) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z)))))) (* (- (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (* -176.6150291621406 (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z))))) (* (+ 3 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 z) 3)))))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))

prune2.9s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.1b

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite347.0ms

Algorithm
rewrite-expression-head
Rules
140×*-un-lft-identity
88×times-frac
72×distribute-lft-out
32×add-cube-cbrt
32×add-sqr-sqrt
22×frac-add
21×add-exp-log
15×add-cbrt-cube
14×associate-/l/
11×flip-+
11×flip3-+
9×div-inv
9×div-exp
8×exp-sum
8×associate-/r*
7×associate-/l*
7×associate-*r*
6×prod-exp
5×cbrt-undiv
4×add-log-exp
4×associate-*l*
4×pow1
3×sqrt-prod
3×unpow-prod-down
2×cbrt-unprod
2×pow-exp
2×pow1/2
2×pow-to-exp
1×*-commutative
1×associate-/r/
1×frac-2neg
1×clear-num
1×unpow-prod-up
Counts
4 → 145
Calls
4 calls:
Slowest
336.0ms
(/ (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (/ (exp (+ 0.5 (+ z 6))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))))
7.0ms
(* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

series284.0ms

Counts
4 → 8
Calls
4 calls:
Slowest
178.0ms
(/ (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (/ (exp (+ 0.5 (+ z 6))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))))
106.0ms
(* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))
0.0ms
(sqrt (* PI 2))
0.0ms
(sqrt (* PI 2))

simplify20.3s

Counts
169 → 153
Calls
169 calls:
Slowest
468.0ms
(+ (* (+ (pow (/ -1259.1392167224028 (+ 1 z)) 3) (pow (/ 771.3234287776531 (+ z 2)) 3)) (* (+ 3 z) (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z)))))) (* (+ (* (/ -1259.1392167224028 (+ 1 z)) (/ -1259.1392167224028 (+ 1 z))) (- (* (/ 771.3234287776531 (+ z 2)) (/ 771.3234287776531 (+ z 2))) (* (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))))) (+ (* -176.6150291621406 (+ (* 0.9999999999998099 0.9999999999998099) (- (* (/ 676.5203681218851 z) (/ 676.5203681218851 z)) (* 0.9999999999998099 (/ 676.5203681218851 z))))) (* (+ 3 z) (+ (pow 0.9999999999998099 3) (pow (/ 676.5203681218851 z) 3))))))
429.0ms
(+ (pow (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) 3) (pow (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))) 3))
378.0ms
(/ (* (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (/ (* (* (exp (+ 0.5 (+ z 6))) (exp (+ 0.5 (+ z 6)))) (exp (+ 0.5 (+ z 6)))) (* (* (* (sqrt (* PI 2)) (sqrt (* PI 2))) (sqrt (* PI 2))) (* (* (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))))
345.0ms
(/ (* (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (/ (* (* (exp (+ 0.5 (+ z 6))) (exp (+ 0.5 (+ z 6)))) (exp (+ 0.5 (+ z 6)))) (* (* (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))))
309.0ms
(/ (* (* (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z)))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (+ (+ (/ -1259.1392167224028 (+ 1 z)) (/ 771.3234287776531 (+ z 2))) (+ (/ -176.6150291621406 (+ 3 z)) (+ 0.9999999999998099 (/ 676.5203681218851 z))))) (* (* (/ (exp (+ 0.5 (+ z 6))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z))))) (/ (exp (+ 0.5 (+ z 6))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))) (/ (exp (+ 0.5 (+ z 6))) (* (sqrt (* PI 2)) (pow (+ 0.5 (+ z 6)) (+ 0.5 (+ -1 z)))))))

prune4.6s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.1b

regimes168.0ms

bsearch1.1s

end0.0ms

Reproduce

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