Details

analyze958.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	96.7%	3.3%	9
16.4%	74.9%	8.7%	10
17.6%	71.8%	10.7%	11
26.3%	59.5%	14.2%	12
30.7%	45.7%	23.5%	13
31.7%	43.5%	24.7%	14

sample48.0ms

Algorithm

intervals

Results

21.0ms	256×	body	80	valid
11.0ms	161×	body	80	invalid

simplify577.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4978	37
1	4978	37

prune8.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: 6.5b

Counts

2 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.7b	(/.f64 2 (*.f64 r r))
3.8b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
7.4b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
7.6b	(.f64 r (.f64 w w))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

106×	`times-frac_binary64`
71×	`add-sqr-sqrt_binary64`
65×	`*-un-lft-identity_binary64`
48×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
44×	`add-cube-cbrt_binary64`
36×	`associate-r_binary64`
16×	`cbrt-undiv_binary64` `div-exp_binary64`
15×	`cbrt-unprod_binary64` `prod-exp_binary64`
14×	`difference-of-squares_binary64`
11×	`associate-/r*_binary64` `pow1_binary64`
10×	`div-inv_binary64`
7×	`distribute-lft-out--_binary64`
6×	`associate-l_binary64` `associate-/l*_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64`
3×	`unswap-sqr_binary64`
2×	`flip3-+_binary64` `associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip-+_binary64` `frac-times_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`associate-*r/_binary64`

Counts

4 → 166

Calls

4 calls:

4.0ms	(/.f64 2 (*.f64 r r))
32.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
12.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
8.0ms	(.f64 r (.f64 w w))

series193.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/.f64 2 (*.f64 r r))
76.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w)))))
56.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 r (.f64 w w))))
41.0ms	(.f64 r (.f64 w w))

simplify104.0ms

Algorithm

egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4964	3748
1	4964	3748

prune262.0ms

Filtered

124 candidates to 178 candidates (-43.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	165	13	178
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	167	13	180

Merged error: 1.5b

Counts

180 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

0.4b	(/.f64 (-.f64 1 v) (.f64 (.f64 r w) w))
0.7b	(/.f64 2 (*.f64 r r))
3.8b	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 r w) w))))
7.4b	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 r w) w)))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

112×	`times-frac_binary64`
77×	`add-sqr-sqrt_binary64`
72×	`*-un-lft-identity_binary64`
52×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
45×	`add-cube-cbrt_binary64`
35×	`associate-r_binary64`
19×	`cbrt-undiv_binary64` `div-exp_binary64`
18×	`difference-of-squares_binary64`
15×	`cbrt-unprod_binary64` `prod-exp_binary64`
12×	`associate-/r_binary64` `associate-/l_binary64`
11×	`div-inv_binary64`
9×	`distribute-lft-out--_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`associate-l_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`flip3-+_binary64` `associate-/l/_binary64` `associate-/r/_binary64` `unswap-sqr_binary64` `flip-+_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `flip3--_binary64` `associate-r/_binary64` `div-sub_binary64` `flip--_binary64` `-commutative_binary64`

Counts

4 → 179

Calls

4 calls:

9.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 r w) w))
5.0ms	(/.f64 2 (*.f64 r r))
21.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 r w) w))))
14.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 r w) w)))

series183.0ms

Counts

4 → 12

Calls

4 calls:

45.0ms	(/.f64 (-.f64 1 v) (.f64 (.f64 r w) w))
17.0ms	(/.f64 2 (*.f64 r r))
69.0ms	(.f64 (+.f64 3/8 (.f64 v -1/4)) (/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 r w) w))))
51.0ms	(/.f64 r (/.f64 (-.f64 1 v) (.f64 (.f64 r w) w)))

simplify113.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4961	4154
1	4961	4154

prune265.0ms

Filtered

137 candidates to 191 candidates (-39.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	184	7	191
Fresh	9	3	12
Picked	1	0	1
Done	0	0	0
Total	194	10	204

Merged error: 0.0b

Counts

204 → 10

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (-.f64 1 v))
0.7b	(/.f64 2 (*.f64 r r))
1.7b	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
5.8b	(.f64 (/.f64 (.f64 r w) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (+.f64 3/8 (.f64 v -1/4)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

205×	`times-frac_binary64`
146×	`add-sqr-sqrt_binary64`
144×	`*-un-lft-identity_binary64`
105×	`add-cube-cbrt_binary64`
78×	`cbrt-prod_binary64`
32×	`associate-/r*_binary64` `add-exp-log_binary64`
27×	`add-cbrt-cube_binary64`
26×	`difference-of-squares_binary64`
14×	`cbrt-div_binary64`
13×	`associate-l_binary64` `distribute-lft-out--_binary64`
10×	`cbrt-unprod_binary64` `prod-exp_binary64`
9×	`cbrt-undiv_binary64` `associate-/r/_binary64` `div-exp_binary64`
7×	`flip3--_binary64` `div-inv_binary64` `flip--_binary64`
6×	`pow1_binary64` `associate-/l*_binary64` `frac-times_binary64`
4×	`add-log-exp_binary64` `associate-*r/_binary64`
3×	`associate-r_binary64` `associate-*l/_binary64`
2×	`flip3-+_binary64` `clear-num_binary64` `frac-2neg_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `pow1/3_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `*-commutative_binary64`

Counts

4 → 222

Calls

4 calls:

3.0ms	(cbrt.f64 (-.f64 1 v))
5.0ms	(/.f64 2 (*.f64 r r))
11.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
22.0ms	(.f64 (/.f64 (.f64 r w) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (+.f64 3/8 (.f64 v -1/4)))

series338.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(cbrt.f64 (-.f64 1 v))
20.0ms	(/.f64 2 (*.f64 r r))
88.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
201.0ms	(.f64 (/.f64 (.f64 r w) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (+.f64 3/8 (.f64 v -1/4)))

simplify180.0ms

Algorithm

egg-herbie

Counts

234 → 234

Iterations

Useful iterations: 0 (121.0ms)

Iter	Nodes	Cost
0	4918	5814
1	4918	5814

prune491.0ms

Filtered

176 candidates to 234 candidates (-33.0%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	233	1	234
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	235	9	244

Merged error: 0.0b

Counts

244 → 9

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt.f64 (-.f64 1 v))
0.3b	(cbrt.f64 (-.f64 1 v))
1.7b	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
5.8b	(.f64 (/.f64 (.f64 r w) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (+.f64 3/8 (.f64 v -1/4)))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

202×	`times-frac_binary64`
148×	`add-sqr-sqrt_binary64`
146×	`*-un-lft-identity_binary64`
104×	`add-cube-cbrt_binary64`
84×	`cbrt-prod_binary64`
31×	`associate-/r*_binary64`
28×	`difference-of-squares_binary64`
27×	`add-exp-log_binary64`
22×	`add-cbrt-cube_binary64`
16×	`cbrt-div_binary64`
14×	`distribute-lft-out--_binary64`
13×	`associate-l_binary64`
9×	`cbrt-unprod_binary64` `associate-/r/_binary64` `prod-exp_binary64`
8×	`flip3--_binary64` `flip--_binary64`
7×	`cbrt-undiv_binary64` `div-exp_binary64`
6×	`pow1_binary64` `div-inv_binary64` `frac-times_binary64`
4×	`add-log-exp_binary64` `associate-*r/_binary64`
3×	`associate-r_binary64` `associate-/l_binary64` `associate-l/_binary64`
2×	`flip3-+_binary64` `pow1/3_binary64` `flip-+_binary64`
1×	`pow-prod-down_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`

Counts

4 → 217

Calls

4 calls:

4.0ms	(cbrt.f64 (-.f64 1 v))
4.0ms	(cbrt.f64 (-.f64 1 v))
14.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
19.0ms	(.f64 (/.f64 (.f64 r w) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (+.f64 3/8 (.f64 v -1/4)))

series341.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt.f64 (-.f64 1 v))
27.0ms	(cbrt.f64 (-.f64 1 v))
90.0ms	(/.f64 r (/.f64 (cbrt.f64 (-.f64 1 v)) w))
197.0ms	(.f64 (/.f64 (.f64 r w) (.f64 (cbrt.f64 (-.f64 1 v)) (cbrt.f64 (-.f64 1 v)))) (+.f64 3/8 (.f64 v -1/4)))

simplify104.0ms

Algorithm

egg-herbie

Counts

229 → 229

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5136	5851

prune464.0ms

Filtered

176 candidates to 229 candidates (-30.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	229	0	229
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	229	9	238

Merged error: 0.0b

Counts

238 → 9

regimes112.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	131	55
1	131	55

end0.0ms

sample1.2s

Algorithm

intervals

Results

563.0ms	8000×	body	80	valid
354.0ms	5057×	body	80	invalid

Details

analyze958.0ms

sample48.0ms

simplify577.0ms

prune8.0ms

localize19.0ms

rewrite66.0ms

series193.0ms

simplify104.0ms

prune262.0ms

localize17.0ms

rewrite59.0ms

series183.0ms

simplify113.0ms

prune265.0ms

localize21.0ms

rewrite56.0ms

series338.0ms

simplify180.0ms

prune491.0ms

localize21.0ms

rewrite54.0ms

series341.0ms

simplify104.0ms

prune464.0ms

regimes112.0ms

bsearch0.0ms

simplify5.0ms

end0.0ms

sample1.2s

Profiling