Details

analyze45.0ms

Algorithm

Search

True	Other	False	Iter
0%	14%	86%	0
0%	14%	86%	1
0%	14%	86%	2
0%	14%	86%	3
0%	14%	86%	4
0%	14%	86%	5
0%	14%	86%	6
8.1%	5.9%	86%	7
10.3%	3.7%	86%	8
12.6%	1.5%	86%	9
13.9%	0.1%	86%	10
14%	0%	86%	11
14%	0%	86%	12
14%	0%	86%	13
14%	0%	86%	14

sample33.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
5.0ms	256×	pre	80	true

simplify19.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (16.0ms)

Iter	Nodes	Cost
0	4979	53
1	4979	53

prune5.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: 52.7b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 i (+.f64 (+.f64 alpha beta) i))
0.1b	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
33.8b	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
45.4b	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

86×	`times-frac_binary64`
66×	`associate-/r/_binary64`
61×	`flip3-+_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`
47×	`*-un-lft-identity_binary64`
44×	`add-sqr-sqrt_binary64`
40×	`frac-times_binary64`
34×	`associate-*r/_binary64`
28×	`add-cube-cbrt_binary64` `difference-of-squares_binary64`
22×	`cbrt-unprod_binary64` `prod-exp_binary64`
20×	`associate-*l/_binary64`
19×	`cbrt-undiv_binary64` `div-exp_binary64`
14×	`difference-of-sqr-1_binary64` `associate-/l*_binary64`
11×	`pow1_binary64`
9×	`associate-/l/_binary64` `div-inv_binary64`
8×	`associate-r_binary64`
7×	`associate-/r*_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `associate-l_binary64`
3×	`distribute-lft-out_binary64`
2×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`flip3--_binary64` `unswap-sqr_binary64` `flip--_binary64`

Counts

4 → 217

Calls

4 calls:

9.0ms	(*.f64 i (+.f64 (+.f64 alpha beta) i))
16.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
40.0ms	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
26.0ms	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

series495.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(*.f64 i (+.f64 (+.f64 alpha beta) i))
29.0ms	(.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i))))
392.0ms	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i)))) (-.f64 (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) 1))
67.0ms	(/.f64 (.f64 (.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (.f64 beta alpha) (.f64 i (+.f64 (+.f64 alpha beta) i)))) (.f64 (+.f64 (+.f64 alpha beta) (.f64 2 i)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))))

simplify80.0ms

Algorithm

egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5015	11731

prune269.0ms

Filtered

146 candidates to 229 candidates (-56.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	222	7	229
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	223	7	230

Merged error: 30.1b

Counts

230 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
0.1b	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
31.5b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
31.7b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite168.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac_binary64`
200×	`*-un-lft-identity_binary64`
198×	`add-sqr-sqrt_binary64`
117×	`add-cube-cbrt_binary64`
111×	`associate-r_binary64`
74×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
42×	`associate-/r/_binary64` `associate-l_binary64`
35×	`cbrt-undiv_binary64` `div-exp_binary64`
30×	`difference-of-squares_binary64`
22×	`flip3-+_binary64` `flip-+_binary64`
21×	`div-inv_binary64`
19×	`distribute-lft-out_binary64`
17×	`cbrt-unprod_binary64` `prod-exp_binary64`
15×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64`
13×	`associate-/l*_binary64`
10×	`associate-/r*_binary64`
6×	`pow1_binary64` `unswap-sqr_binary64`
5×	`associate-/l/_binary64`
4×	`add-log-exp_binary64`
3×	`associate-*r/_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `flip3--_binary64` `flip--_binary64` `frac-times_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

4 → 319

Calls

4 calls:

23.0ms	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
103.0ms	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
13.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
11.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series437.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1))
360.0ms	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1)))
17.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
30.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify107.0ms

Algorithm

egg-herbie

Counts

331 → 331

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4978	14981
1	4978	14981

prune593.0ms

Filtered

224 candidates to 331 candidates (-47.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	326	5	331
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	330	8	338

Merged error: 30.1b

Counts

338 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
0.1b	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
31.5b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
31.7b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite122.0ms

Algorithm

rewrite-expression-head

Rules

85×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
80×	`times-frac_binary64`
65×	`*-un-lft-identity_binary64`
61×	`add-sqr-sqrt_binary64`
42×	`associate-r_binary64`
41×	`add-cube-cbrt_binary64`
40×	`cbrt-undiv_binary64` `div-exp_binary64`
21×	`cbrt-unprod_binary64` `prod-exp_binary64`
18×	`associate-/r/_binary64`
15×	`associate-l_binary64`
13×	`associate-/r*_binary64`
10×	`flip3-+_binary64` `flip-+_binary64`
9×	`distribute-lft-out_binary64` `div-inv_binary64`
7×	`associate-/l/_binary64`
6×	`pow1_binary64`
5×	`associate-/l*_binary64`
4×	`add-log-exp_binary64` `associate-*r/_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64`
3×	`clear-num_binary64` `frac-2neg_binary64`
2×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `flip3--_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

4 → 193

Calls

4 calls:

41.0ms	(/.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
43.0ms	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
15.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
11.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series319.0ms

Counts

4 → 12

Calls

4 calls:

118.0ms	(/.f64 (.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
154.0ms	(.f64 (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
17.0ms	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))
30.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify76.0ms

Algorithm

egg-herbie

Counts

205 → 205

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5002	8019

prune220.0ms

Filtered

137 candidates to 205 candidates (-49.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	204	1	205
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	206	7	213

Merged error: 30.1b

Counts

213 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
0.0b	(/.f64 (.f64 (.f64 i (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
27.5b	(.f64 (.f64 i (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
31.7b	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

rewrite133.0ms

Algorithm

rewrite-expression-head

Rules

210×	`*-un-lft-identity_binary64`
175×	`times-frac_binary64`
91×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
90×	`associate-r_binary64` `add-sqr-sqrt_binary64`
82×	`add-cube-cbrt_binary64`
69×	`distribute-lft-out_binary64`
36×	`cbrt-undiv_binary64` `div-exp_binary64`
30×	`cbrt-unprod_binary64` `prod-exp_binary64`
16×	`associate-/r/_binary64`
13×	`associate-/r*_binary64`
9×	`flip3-+_binary64` `pow1_binary64` `associate-/l*_binary64` `flip-+_binary64`
8×	`div-inv_binary64`
7×	`associate-/l/_binary64`
6×	`associate-*r/_binary64`
4×	`add-log-exp_binary64` `difference-of-squares_binary64`
3×	`pow-prod-down_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`difference-of-sqr-1_binary64` `distribute-lft-out--_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`flip3--_binary64` `associate-l_binary64` `flip--_binary64` `*-commutative_binary64`

Counts

4 → 242

Calls

4 calls:

13.0ms	(/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
50.0ms	(/.f64 (.f64 (.f64 i (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
43.0ms	(.f64 (.f64 i (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
13.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

series525.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))
362.0ms	(/.f64 (.f64 (.f64 i (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))) (-.f64 (+.f64 (+.f64 alpha beta) (.f64 i 2)) 1))
118.0ms	(.f64 (.f64 i (/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (.f64 i 2)))) (/.f64 (/.f64 (+.f64 i (+.f64 alpha beta)) (+.f64 (+.f64 alpha beta) (.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
30.0ms	(/.f64 (+.f64 (.f64 alpha beta) (.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2)))

simplify108.0ms

Algorithm

egg-herbie

Counts

254 → 254

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4976	9674
1	4976	9674

prune228.0ms

Filtered

141 candidates to 254 candidates (-80.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	253	1	254
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	253	8	261

Merged error: 29.1b

Counts

261 → 8

regimes157.0ms

Accuracy

41.1% (3.4b remaining)

Error of 35.5b against oracle of 32.0b and baseline of 37.9b

bsearch24.0ms

Steps

Iters	Range		Point
9	5.251291589477456e+155	4.240492208288835e+162	7.795987046005015e+157

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	96
1	47	96

end0.0ms

sample1.0s

Algorithm

intervals

Results

648.0ms	8000×	body	80	valid
174.0ms	8000×	pre	80	true

Details

analyze45.0ms

sample33.0ms

simplify19.0ms

prune5.0ms

localize17.0ms

rewrite102.0ms

series495.0ms

simplify80.0ms

prune269.0ms

localize19.0ms

rewrite168.0ms

series437.0ms

simplify107.0ms

prune593.0ms

localize23.0ms

rewrite122.0ms

series319.0ms

simplify76.0ms

prune220.0ms

localize18.0ms

rewrite133.0ms

series525.0ms

simplify108.0ms

prune228.0ms

regimes157.0ms

bsearch24.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling