Details

analyze822.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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

sample197.0ms

Algorithm

intervals

Results

93.0ms	71×	body	1280	valid
62.0ms	70×	body	640	valid
15.0ms	83×	body	80	valid
14.0ms	24×	body	320	valid
3.0ms	8×	body	160	valid

simplify24.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5018	48

prune11.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: 0.3b

Counts

2 → 2

localize36.0ms

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(/.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) 2/3)
1.0b	(-.f64 3 (sqrt.f64 5))
2.3b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64`
11×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`add-cube-cbrt_binary64`
8×	`add-log-exp_binary64`
6×	`pow1_binary64` `associate-r_binary64` `associate-l_binary64`
5×	`difference-of-squares_binary64` `sqrt-prod_binary64`
4×	`sub-neg_binary64` `flip3--_binary64` `associate-*r/_binary64` `times-frac_binary64` `flip--_binary64`
3×	`associate-/r*_binary64` `distribute-lft-out--_binary64`
2×	`associate-/l/_binary64` `diff-log_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `diff-cos_binary64` `-commutative_binary64`

Counts

4 → 80

Calls

4 calls:

12.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
9.0ms	(/.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) 2/3)
5.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series29.0ms

Counts

4 → 10

Calls

4 calls:

13.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
7.0ms	(/.f64 (*.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)) 2/3)
0.0ms	(-.f64 3 (sqrt.f64 5))
9.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify39.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4909	958
1	4909	958

prune247.0ms

Filtered

66 candidates to 90 candidates (-36.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	81	9	90
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	82	10	92

Merged error: 0.2b

Counts

92 → 10

localize36.0ms

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
1.0b	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
1.0b	(-.f64 3 (sqrt.f64 5))
2.3b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64`
16×	`cbrt-prod_binary64`
15×	`add-cube-cbrt_binary64`
13×	`pow1_binary64`
12×	`associate-r_binary64` `associate-l_binary64`
8×	`add-log-exp_binary64` `add-exp-log_binary64`
6×	`swap-sqr_binary64` `pow1/3_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64`
5×	`difference-of-squares_binary64` `sqrt-prod_binary64`
4×	`sub-neg_binary64`
3×	`pow-prod-down_binary64` `flip3--_binary64` `distribute-lft-out--_binary64` `flip--_binary64`
2×	`diff-log_binary64` `cbrt-unprod_binary64` `pow-prod-up_binary64` `associate-r/_binary64` `prod-exp_binary64` `pow-sqr_binary64` `-commutative_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `pow-plus_binary64` `times-frac_binary64` `pow2_binary64` `diff-cos_binary64`

Counts

4 → 97

Calls

4 calls:

12.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
6.0ms	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
5.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series22.0ms

Counts

4 → 8

Calls

4 calls:

13.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.0ms	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
0.0ms	(-.f64 3 (sqrt.f64 5))
9.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify47.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4877	873
1	4877	873

prune259.0ms

Filtered

73 candidates to 105 candidates (-43.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	101	4	105
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	105	10	115

Merged error: 0.1b

Counts

115 → 10

localize68.0ms

Local error

Found 4 expressions with local error:

0.5b	(/.f64 (sqrt.f64 2) (/.f64 -16 (sin.f64 y)))
1.0b	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
1.0b	(-.f64 3 (sqrt.f64 5))
2.3b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

141×	`times-frac_binary64`
103×	`add-sqr-sqrt_binary64`
93×	`*-un-lft-identity_binary64`
89×	`add-cube-cbrt_binary64`
43×	`sqrt-prod_binary64`
16×	`cbrt-prod_binary64`
13×	`associate-/r*_binary64`
11×	`pow1_binary64` `add-exp-log_binary64`
9×	`add-cbrt-cube_binary64`
8×	`add-log-exp_binary64` `div-inv_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `pow1/3_binary64` `associate-l_binary64` `associate-/l*_binary64`
4×	`unswap-sqr_binary64`
3×	`cbrt-undiv_binary64` `difference-of-squares_binary64` `div-exp_binary64`
2×	`pow-prod-down_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `pow-prod-up_binary64` `distribute-lft-out--_binary64` `pow-sqr_binary64` `flip--_binary64`
1×	`cbrt-unprod_binary64` `associate-/r/_binary64` `pow-plus_binary64` `clear-num_binary64` `prod-exp_binary64` `frac-2neg_binary64` `pow2_binary64` `diff-cos_binary64` `*-commutative_binary64`

Counts

4 → 180

Calls

4 calls:

8.0ms	(/.f64 (sqrt.f64 2) (/.f64 -16 (sin.f64 y)))
6.0ms	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
5.0ms	(-.f64 3 (sqrt.f64 5))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series16.0ms

Counts

4 → 8

Calls

4 calls:

7.0ms	(/.f64 (sqrt.f64 2) (/.f64 -16 (sin.f64 y)))
0.0ms	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
0.0ms	(-.f64 3 (sqrt.f64 5))
9.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify84.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4842	2251
1	4842	2251

prune488.0ms

Filtered

126 candidates to 188 candidates (-49.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	186	2	188
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	188	10	198

Merged error: 0.1b

Counts

198 → 10

localize38.0ms

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (sin.f64 x))
0.5b	(/.f64 (sqrt.f64 2) (/.f64 -16 (sin.f64 y)))
1.0b	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
2.3b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

141×	`times-frac_binary64`
106×	`add-sqr-sqrt_binary64`
94×	`*-un-lft-identity_binary64`
92×	`add-cube-cbrt_binary64`
46×	`sqrt-prod_binary64`
16×	`cbrt-prod_binary64`
13×	`associate-/r*_binary64` `pow1_binary64` `add-exp-log_binary64`
12×	`associate-l_binary64`
11×	`add-cbrt-cube_binary64`
9×	`associate-r_binary64`
8×	`div-inv_binary64`
6×	`add-log-exp_binary64` `swap-sqr_binary64` `pow1/3_binary64` `unswap-sqr_binary64` `associate-/l*_binary64`
3×	`pow-prod-down_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
2×	`cbrt-unprod_binary64` `pow-prod-up_binary64` `prod-exp_binary64` `pow-sqr_binary64` `*-commutative_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `associate-/r/_binary64` `pow-plus_binary64` `clear-num_binary64` `frac-2neg_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `flip--_binary64` `pow2_binary64` `diff-cos_binary64`

Counts

4 → 188

Calls

4 calls:

6.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
10.0ms	(/.f64 (sqrt.f64 2) (/.f64 -16 (sin.f64 y)))
6.0ms	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series35.0ms

Counts

4 → 10

Calls

4 calls:

8.0ms	(*.f64 (sqrt.f64 2) (sin.f64 x))
12.0ms	(/.f64 (sqrt.f64 2) (/.f64 -16 (sin.f64 y)))
0.0ms	(*.f64 (cbrt.f64 2/3) (cbrt.f64 2/3))
15.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify99.0ms

Algorithm

egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4844	2282
1	4844	2282

prune675.0ms

Filtered

131 candidates to 198 candidates (-51.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	199	9	208

Merged error: 0.1b

Counts

208 → 9

regimes221.0ms

Accuracy

0% (0.3b remaining)

Error of 0.4b against oracle of 0.2b and baseline of 0.4b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	107	60
1	107	60

end0.0ms

sample6.6s

Algorithm

intervals

Results

3.7s	2717×	body	1280	valid
1.6s	1834×	body	640	valid
495.0ms	793×	body	320	valid
452.0ms	2316×	body	80	valid
141.0ms	340×	body	160	valid

Details

analyze822.0ms

sample197.0ms

simplify24.0ms

prune11.0ms

localize36.0ms

rewrite33.0ms

series29.0ms

simplify39.0ms

prune247.0ms

localize36.0ms

rewrite32.0ms

series22.0ms

simplify47.0ms

prune259.0ms

localize68.0ms

rewrite32.0ms

series16.0ms

simplify84.0ms

prune488.0ms

localize38.0ms

rewrite36.0ms

series35.0ms

simplify99.0ms

prune675.0ms

regimes221.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample6.6s

Profiling