Details

analyze1.7s

Algorithm

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
0%	74.9%	25.1%	2
18.7%	56.2%	25.1%	3
37.5%	37.5%	25.1%	4
42.1%	32.8%	25.1%	5
46.8%	28.1%	25.1%	6
48%	26.9%	25.1%	7
49.2%	25.8%	25.1%	8
49.5%	25.5%	25.1%	9
49.8%	25.2%	25.1%	10
49.8%	25.2%	25.1%	11
49.8%	25.1%	25.1%	12
49.9%	25%	25.1%	13
49.9%	25%	25.1%	14

sample1.6s

Algorithm

intervals

Results

1.5s	121×	body	5120	exit
79.0ms	256×	body	80	valid
9.0ms	381×	pre	80	true
1.0ms	4×	body	80	invalid

simplify29.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5320	88

prune20.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 1.2b

Counts

2 → 2

localize51.0ms

Local error

Found 4 expressions with local error:

0.3b	(* PI (/ (* (sqrt (* PI 2.0)) (* (pow (+ (neg z) (+ 7.0 0.5)) (+ (neg z) 0.5)) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5)))))) (sin (* PI z))))
1.0b	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
1.0b	(+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0)))
1.0b	(sqrt (* PI 2.0))

rewrite2.2s

Algorithm

rewrite-expression-head

Rules

573×	`*-un-lft-identity`
427×	`distribute-lft-out`
101×	`times-frac`
42×	`add-exp-log`
35×	`add-sqr-sqrt`
33×	`add-cube-cbrt`
26×	`add-cbrt-cube`
22×	`prod-exp`
21×	`exp-sum`
20×	`associate-/l*`
12×	`div-exp`
10×	`cbrt-unprod`
9×	`pow1`
7×	`associate-r`
6×	`cbrt-undiv` `distribute-rgt-neg-in` `add-log-exp`
4×	`associate-/r*`
3×	`associate-l`
2×	`pow-to-exp` `sqrt-pow1` `flip3-+` `pow-prod-down` `pow-exp` `flip-+` `div-inv` `associate-/l/`
1×	`+-commutative` `neg-sub0` `associate-+l-` `frac-2neg` `pow1/2` `exp-diff` `associate-r/` `frac-add` `clear-num` `sum-log` `sqrt-prod` `associate-/r/` `-commutative` `unswap-sqr`

Counts

4 → 187

Calls

4 calls:

1.1s	(* PI (/ (* (sqrt (* PI 2.0)) (* (pow (+ (neg z) (+ 7.0 0.5)) (+ (neg z) 0.5)) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5)))))) (sin (* PI z))))
1.1s	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
31.0ms	(+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0)))
2.0ms	(sqrt (* PI 2.0))

series77.0ms

Counts

4 → 10

Calls

4 calls:

54.0ms	(* PI (/ (* (sqrt (* PI 2.0)) (* (pow (+ (neg z) (+ 7.0 0.5)) (+ (neg z) 0.5)) (/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5)))))) (sin (* PI z))))
19.0ms	(/ (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (+ 2.0 (neg z))) (+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0))))) (+ (/ 12.507343278686905 (+ (neg z) 5.0)) (+ (/ -0.13857109526572012 (+ (neg z) 6.0)) (+ (/ 9.984369578019572e-06 (+ (neg z) 7.0)) (/ 1.5056327351493116e-07 (+ (neg z) 8.0))))))) (exp (+ (neg z) (+ 7.0 0.5))))
5.0ms	(+ (/ 771.3234287776531 (+ (neg z) 3.0)) (/ -176.6150291621406 (+ (neg z) 4.0)))
0.0ms	(sqrt (* PI 2.0))

simplify106.0ms

Algorithm

egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5002	11444

prune678.0ms

Filtered

85 candidates to 197 candidates (-131.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	188	9	197
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	189	10	199

Merged error: 0.0b

Counts

199 → 10

localize53.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ (neg z) (+ 7.0 0.5))))
1.0b	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
1.0b	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
1.0b	(sqrt (* PI 2.0))

rewrite512.0ms

Algorithm

rewrite-expression-head

Rules

2682×	`*-un-lft-identity`
1098×	`distribute-lft-out`
964×	`times-frac`
452×	`distribute-lft-out--`
85×	`frac-add`
51×	`add-log-exp`
36×	`sum-log`
25×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`flip3-+` `flip-+`
16×	`exp-sum`
15×	`associate-/l*`
7×	`pow1`
6×	`add-cbrt-cube`
5×	`add-exp-log`
4×	`associate-/r*`
2×	`+-commutative` `sqrt-pow1` `associate-/l/`
1×	`cbrt-undiv` `neg-sub0` `associate-+l-` `associate-+l+` `associate-+r+` `frac-2neg` `pow1/2` `exp-diff` `div-exp` `pow-prod-down` `clear-num` `sqrt-prod` `associate-/r/` `div-inv`

Counts

4 → 309

Calls

4 calls:

288.0ms	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ (neg z) (+ 7.0 0.5))))
127.0ms	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
26.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
2.0ms	(sqrt (* PI 2.0))

series49.0ms

Counts

4 → 10

Calls

4 calls:

19.0ms	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ (neg z) (+ 7.0 0.5))))
25.0ms	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
4.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
0.0ms	(sqrt (* PI 2.0))

simplify155.0ms

Algorithm

egg-herbie

Counts

319 → 319

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4981	19311
1	4981	19311

prune1.4s

Filtered

101 candidates to 319 candidates (-215.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	319	0	319
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	319	10	329

Merged error: 0.0b

Counts

329 → 10

localize55.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ 7.0 (- 0.5 z))))
1.0b	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
1.0b	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
1.0b	(sqrt (* PI 2.0))

rewrite524.0ms

Algorithm

rewrite-expression-head

Rules

2682×	`*-un-lft-identity`
1098×	`distribute-lft-out`
964×	`times-frac`
452×	`distribute-lft-out--`
85×	`frac-add`
51×	`add-log-exp`
36×	`sum-log`
25×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`flip3-+` `flip-+`
16×	`exp-sum`
15×	`associate-/l*`
7×	`pow1`
6×	`add-cbrt-cube`
5×	`add-exp-log`
4×	`associate-/r*`
2×	`+-commutative` `sqrt-pow1` `associate-/l/`
1×	`cbrt-undiv` `associate-+r-` `associate-+l+` `associate-+r+` `frac-2neg` `pow1/2` `exp-diff` `div-exp` `pow-prod-down` `clear-num` `sqrt-prod` `associate-/r/` `div-inv`

Counts

4 → 309

Calls

4 calls:

289.0ms	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ 7.0 (- 0.5 z))))
128.0ms	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
26.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
2.0ms	(sqrt (* PI 2.0))

series37.0ms

Counts

4 → 10

Calls

4 calls:

18.0ms	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ 7.0 (- 0.5 z))))
14.0ms	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
4.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
0.0ms	(sqrt (* PI 2.0))

simplify169.0ms

Algorithm

egg-herbie

Counts

319 → 319

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	5000	19330

prune1.5s

Filtered

102 candidates to 319 candidates (-212.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	318	1	319
Fresh	1	7	8
Picked	0	1	1
Done	1	0	1
Total	320	9	329

Merged error: 0.0b

Counts

329 → 9

localize49.0ms

Local error

Found 4 expressions with local error:

1.0b	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ 7.0 (- 0.5 z))))
1.0b	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
1.0b	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
1.0b	(sqrt (* PI 2.0))

rewrite525.0ms

Algorithm

rewrite-expression-head

Rules

2682×	`*-un-lft-identity`
1098×	`distribute-lft-out`
964×	`times-frac`
452×	`distribute-lft-out--`
85×	`frac-add`
51×	`add-log-exp`
36×	`sum-log`
25×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`flip3-+` `flip-+`
16×	`exp-sum`
15×	`associate-/l*`
7×	`pow1`
6×	`add-cbrt-cube`
5×	`add-exp-log`
4×	`associate-/r*`
2×	`+-commutative` `sqrt-pow1` `associate-/l/`
1×	`cbrt-undiv` `associate-+r-` `associate-+l+` `associate-+r+` `frac-2neg` `pow1/2` `exp-diff` `div-exp` `pow-prod-down` `clear-num` `sqrt-prod` `associate-/r/` `div-inv`

Counts

4 → 309

Calls

4 calls:

293.0ms	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ 7.0 (- 0.5 z))))
130.0ms	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
28.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
2.0ms	(sqrt (* PI 2.0))

series47.0ms

Counts

4 → 10

Calls

4 calls:

28.0ms	(/ (+ 0.9999999999998099 (+ (/ 676.5203681218851 (- 1.0 z)) (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))) (exp (+ 7.0 (- 0.5 z))))
14.0ms	(+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z)))))))
4.0ms	(+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z)))
0.0ms	(sqrt (* PI 2.0))

simplify156.0ms

Algorithm

egg-herbie

Counts

319 → 319

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5045	19330

prune1.2s

Filtered

102 candidates to 319 candidates (-212.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	319	0	319
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	319	9	328

Merged error: 0.0b

Counts

328 → 9

regimes249.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	224	78
1	224	78

end0.0ms

sample50.1s

Algorithm

intervals

Results

47.0s	3919×	body	5120	exit
2.5s	8000×	body	80	valid
223.0ms	12010×	pre	80	true
30.0ms	91×	body	80	invalid

Details

analyze1.7s

sample1.6s

simplify29.0ms

prune20.0ms

localize51.0ms

rewrite2.2s

series77.0ms

simplify106.0ms

prune678.0ms

localize53.0ms

rewrite512.0ms

series49.0ms

simplify155.0ms

prune1.4s

localize55.0ms

rewrite524.0ms

series37.0ms

simplify169.0ms

prune1.5s

localize49.0ms

rewrite525.0ms

series47.0ms

simplify156.0ms

prune1.2s

regimes249.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample50.1s

Profiling