Details

analyze943.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
37.4%	62.4%	0.1%	8
37.4%	62.4%	0.1%	9
37.4%	62.4%	0.1%	10
43.7%	56.2%	0.1%	11
43.7%	56.2%	0.1%	12
43.7%	56.2%	0.1%	13
61.7%	38.2%	0.1%	14

sample31.0ms

Algorithm

intervals

Results

22.0ms

256×

body

valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5080	55

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 24.5b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
23.7b	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

rewrite71.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
15×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
8×	`associate-/l/_binary64` `associate-*l/_binary64`
7×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `frac-times_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `flip3--_binary64` `unswap-sqr_binary64` `times-frac_binary64` `flip--_binary64` `-commutative_binary64`
2×	`cbrt-undiv_binary64` `associate-*r/_binary64` `associate-/r/_binary64` `div-exp_binary64`
1×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`

Counts

4 → 91

Calls

4 calls:

7.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
14.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x)
13.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
34.0ms	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

series223.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
18.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x)
16.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
150.0ms	(/.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 x 6099563062176297/140737488355328) x) 1158907574534893/4398046511104) x) 172293041005667/549755813888) x) 6624073998258585/140737488355328))

simplify103.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5212	3197

prune236.0ms

Filtered

84 candidates to 103 candidates (-22.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	98	6	104

Merged error: 0.0b

Counts

104 → 6

localize27.0ms

Local error

Found 4 expressions with local error:

4.9b	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
16.4b	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
16.5b	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))
19.5b	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

rewrite140.0ms

Algorithm

rewrite-expression-head

Rules

126×	`add-sqr-sqrt_binary64`
108×	`times-frac_binary64`
95×	`*-un-lft-identity_binary64`
69×	`add-cube-cbrt_binary64`
63×	`sqrt-prod_binary64`
36×	`associate-l_binary64`
24×	`associate-r_binary64`
20×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
12×	`associate-/r*_binary64`
10×	`sqrt-div_binary64`
9×	`unswap-sqr_binary64`
8×	`associate-/r/_binary64` `associate-/l*_binary64`
7×	`pow1_binary64`
6×	`flip3-+_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `flip-+_binary64`
4×	`associate-/l/_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `prod-exp_binary64` `div-inv_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `pow1/2_binary64` `flip3--_binary64` `associate-r/_binary64` `sqrt-pow1_binary64` `div-sub_binary64` `rem-sqrt-square_binary64` `flip--_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 205

Calls

4 calls:

13.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
19.0ms	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
63.0ms	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))
31.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

series393.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))
38.0ms	(/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))
148.0ms	(.f64 (/.f64 (-.f64 x 2) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))) (/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328))))
183.0ms	(/.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664)) 604816789577447/4398046511104)) y)) z) (sqrt.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

simplify178.0ms

Algorithm

egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5279	14295

prune714.0ms

Filtered

142 candidates to 217 candidates (-52.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	215	2	217
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	216	7	223

Merged error: 0b

Counts

223 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
0.1b	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888))
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
23.9b	(.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (/.f64 1 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log_binary64`
24×	`associate-r_binary64`
23×	`add-sqr-sqrt_binary64`
22×	`add-cbrt-cube_binary64`
17×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`frac-times_binary64` `associate-*l/_binary64`
15×	`pow1_binary64` `prod-exp_binary64`
10×	`flip3-+_binary64` `associate-l_binary64` `flip-+_binary64`
9×	`cbrt-unprod_binary64` `times-frac_binary64`
7×	`associate-*r/_binary64`
6×	`pow-prod-down_binary64` `flip3--_binary64` `flip--_binary64`
4×	`add-log-exp_binary64` `div-exp_binary64` `*-commutative_binary64`
3×	`unswap-sqr_binary64`
2×	`1-exp_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `rec-exp_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `un-div-inv_binary64` `div-inv_binary64`

Counts

4 → 118

Calls

4 calls:

7.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
13.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888))
11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
42.0ms	(.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (/.f64 1 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

series221.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
19.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888))
16.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
148.0ms	(.f64 (.f64 (-.f64 x 2) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (/.f64 1 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328)))

simplify152.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	4932	4959
1	4932	4959

prune263.0ms

Filtered

95 candidates to 130 candidates (-36.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	130	7	137

Merged error: 0b

Counts

137 → 7

localize37.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
0.1b	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888))
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
25.8b	(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 2 3)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 4 (.f64 x (+.f64 x 2)))))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`flip3-+_binary64` `flip-+_binary64`
10×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
8×	`associate-/l/_binary64` `associate-/r/_binary64` `frac-times_binary64` `associate-*l/_binary64`
7×	`cbrt-unprod_binary64` `prod-exp_binary64`
6×	`associate-*r/_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow-prod-down_binary64` `flip3--_binary64` `unswap-sqr_binary64` `flip--_binary64` `*-commutative_binary64`
1×	`associate-/r_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

4 → 99

Calls

4 calls:

7.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
13.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888))
12.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
51.0ms	(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 2 3)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 4 (.f64 x (+.f64 x 2)))))

series274.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x)
22.0ms	(.f64 x (+.f64 (.f64 x (+.f64 (*.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888))
19.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x)
195.0ms	(/.f64 (.f64 (-.f64 (pow.f64 x 3) (pow.f64 2 3)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x 4688685437421479/1125899906842624) 5537984448691291/70368744177664) x) 604816789577447/4398046511104) x) y) x) z)) (.f64 (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 x 6099563062176297/140737488355328)) 1158907574534893/4398046511104)) 172293041005667/549755813888)) 6624073998258585/140737488355328) (+.f64 4 (.f64 x (+.f64 x 2)))))

simplify120.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4954	4126
1	4954	4126

prune257.0ms

Filtered

83 candidates to 111 candidates (-33.7%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	111	7	118

Merged error: 0b

Counts

118 → 7

regimes171.0ms

Accuracy

95.5% (1.1b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 24.7b

bsearch56.0ms

Steps

Iters	Range		Point
8	55802557509122456.0	1.9824068406719565e+20	1.948411511773793e+20
6	-3.082154076539784e+34	-6.887310383594557e+33	-3.0471457373997073e+34

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	82	113
1	82	113

end0.0ms

sample806.0ms

Algorithm

intervals

Results

626.0ms	8000×	body	80	valid
0.0ms	3×	body	80	invalid

Details

analyze943.0ms

sample31.0ms

simplify55.0ms

prune4.0ms

localize24.0ms

rewrite71.0ms

series223.0ms

simplify103.0ms

prune236.0ms

localize27.0ms

rewrite140.0ms

series393.0ms

simplify178.0ms

prune714.0ms

localize25.0ms

rewrite79.0ms

series221.0ms

simplify152.0ms

prune263.0ms

localize37.0ms

rewrite87.0ms

series274.0ms

simplify120.0ms

prune257.0ms

regimes171.0ms

bsearch56.0ms

simplify5.0ms

end0.0ms

sample806.0ms

Profiling