Details

analyze413.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
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

sample34.0ms

Algorithm

intervals

Results

12.0ms	49×	body	1024	valid
8.0ms	172×	body	128	valid
4.0ms	24×	body	512	valid
1.0ms	11×	body	256	valid
1.0ms	15×	body	128	invalid
0.0ms	2×	body	512	invalid
0.0ms	1×	body	1024	invalid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	68	12
1	68	12

prune1.0ms

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: 2.7b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)
0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
2.6b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64`
22×	`times-frac_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`associate-r_binary64`
6×	`associate-/r*_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
5×	`pow1_binary64`
4×	`cbrt-unprod_binary64` `prod-exp_binary64` `associate-/l*_binary64`
3×	`add-log-exp_binary64` `associate-l_binary64` `div-inv_binary64`
2×	`associate-*r/_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `*-commutative_binary64`

Counts

3 → 83

Calls

3 calls:

4.0ms	(/.f64 (sin.f64 y) y)
7.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
7.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

series258.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(/.f64 (sin.f64 y) y)
90.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
132.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

simplify66.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5249	1158

prune66.0ms

Filtered

66 candidates to 92 candidates (-39.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	82	10	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	10	93

Merged error: 0.0b

Counts

93 → 10

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
0.6b	(cbrt.f64 z)
1.4b	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sin.f64 y) y) (cbrt.f64 z)))

rewrite63.0ms

Algorithm

rewrite-expression-head

Rules

152×	`times-frac_binary64`
110×	`add-sqr-sqrt_binary64`
82×	`associate-r_binary64`
78×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
52×	`cbrt-prod_binary64`
40×	`add-exp-log_binary64`
28×	`add-cbrt-cube_binary64`
15×	`cbrt-undiv_binary64` `div-exp_binary64`
12×	`cbrt-unprod_binary64` `prod-exp_binary64`
10×	`unswap-sqr_binary64`
8×	`div-inv_binary64`
7×	`associate-l_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64`
3×	`pow1/3_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 162

Calls

4 calls:

1.0ms	(cbrt.f64 z)
4.0ms	(cbrt.f64 z)
1.0ms	(cbrt.f64 z)
36.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sin.f64 y) y) (cbrt.f64 z)))

series618.0ms

Counts

4 → 12

Calls

4 calls:

138.0ms	(cbrt.f64 z)
146.0ms	(cbrt.f64 z)
148.0ms	(cbrt.f64 z)
186.0ms	(.f64 (/.f64 x (.f64 (cbrt.f64 z) (cbrt.f64 z))) (/.f64 (/.f64 (sin.f64 y) y) (cbrt.f64 z)))

simplify81.0ms

Algorithm

egg-herbie

Counts

174 → 174

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4970	3395
1	4970	3395

prune129.0ms

Filtered

143 candidates to 174 candidates (-21.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	173	1	174
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	175	9	184

Merged error: 0.0b

Counts

184 → 9

localize7.0ms

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)
2.3b	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt_binary64`
31×	`times-frac_binary64`
24×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
13×	`associate-r_binary64` `associate-l_binary64`
5×	`cbrt-undiv_binary64` `div-exp_binary64`
4×	`pow1_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
3×	`associate-/r_binary64` `associate-/l_binary64` `div-inv_binary64`
2×	`add-log-exp_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `frac-times_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

2 → 77

Calls

2 calls:

4.0ms	(/.f64 (sin.f64 y) y)
12.0ms	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))

series177.0ms

Counts

2 → 6

Calls

2 calls:

43.0ms	(/.f64 (sin.f64 y) y)
134.0ms	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 x z))

simplify80.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4952	1185
1	4952	1185

prune49.0ms

Filtered

62 candidates to 83 candidates (-33.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	83	9	92

Merged error: 0b

Counts

92 → 9

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (/.f64 (sin.f64 y) y) z)
0.1b	(/.f64 (sin.f64 y) y)
3.8b	(*.f64 x (/.f64 (/.f64 (sin.f64 y) y) z))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

153×	`times-frac_binary64`
98×	`add-sqr-sqrt_binary64`
89×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
43×	`associate-r_binary64`
19×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`associate-/l*_binary64`
10×	`div-inv_binary64`
7×	`cbrt-undiv_binary64` `div-exp_binary64`
6×	`associate-/r*_binary64`
5×	`pow1_binary64`
3×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-l_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64`
1×	`pow-prod-down_binary64` `associate-/l/_binary64` `associate-r/_binary64` `-commutative_binary64`

Counts

3 → 162

Calls

3 calls:

7.0ms	(/.f64 (/.f64 (sin.f64 y) y) z)
4.0ms	(/.f64 (sin.f64 y) y)
17.0ms	(*.f64 x (/.f64 (/.f64 (sin.f64 y) y) z))

series224.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(/.f64 (/.f64 (sin.f64 y) y) z)
37.0ms	(/.f64 (sin.f64 y) y)
131.0ms	(*.f64 x (/.f64 (/.f64 (sin.f64 y) y) z))

simplify104.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4941	2931
1	4941	2931

prune95.0ms

Filtered

135 candidates to 171 candidates (-26.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	171	9	180

Merged error: 0b

Counts

180 → 9

regimes143.0ms

Accuracy

91.2% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 3.1b

bsearch47.0ms

Steps

Iters	Range		Point
8	2.678200650037752e-81	5.263443816606802e-77	5.7234459696882616e-80
7	-1.4425241767369438e-20	-3.5462215256531434e-22	-1.270489758192143e-20

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	38
1	21	38

end0.0ms

sample1.0s

Algorithm

intervals

Results

328.0ms	1333×	body	1024	valid
282.0ms	5455×	body	128	valid
122.0ms	778×	body	512	valid
49.0ms	429×	body	256	valid
25.0ms	506×	body	128	invalid
7.0ms	46×	body	512	invalid
5.0ms	19×	body	1024	invalid
4.0ms	44×	body	256	invalid
2.0ms	5×	body	2048	valid

Details

analyze413.0ms

sample34.0ms

simplify9.0ms

prune1.0ms

localize7.0ms

rewrite24.0ms

series258.0ms

simplify66.0ms

prune66.0ms

localize11.0ms

rewrite63.0ms

series618.0ms

simplify81.0ms

prune129.0ms

localize7.0ms

rewrite22.0ms

series177.0ms

simplify80.0ms

prune49.0ms

localize7.0ms

rewrite45.0ms

series224.0ms

simplify104.0ms

prune95.0ms

regimes143.0ms

bsearch47.0ms

simplify3.0ms

end0.0ms

sample1.0s

Profiling