Details

analyze2.6s

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%	99.9%	0.1%	9
0%	99.9%	0.1%	10
0%	99.5%	0.5%	11
0%	99.1%	0.9%	12
0.4%	97.3%	2.3%	13
0.7%	95.8%	3.5%	14

sample498.0ms

Algorithm

intervals

Results

129.0ms	26×	body	5120	invalid
114.0ms	42×	body	2560	invalid
93.0ms	114×	body	1280	valid
49.0ms	35×	body	2560	valid
31.0ms	58×	body	640	valid
29.0ms	31×	body	1280	invalid
7.0ms	18×	body	320	valid
7.0ms	3×	body	5120	valid
6.0ms	16×	body	320	invalid
5.0ms	9×	body	640	invalid
4.0ms	31×	body	80	invalid
3.0ms	19×	body	80	valid
2.0ms	9×	body	160	valid
1.0ms	3×	body	160	invalid

simplify46.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4842	21
1	4842	21

prune8.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 39.3b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

1.0b	(.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k))
1.3b	(.f64 (.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
16.5b	(/.f64 (pow.f64 t 3.0) (*.f64 l l))
25.9b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2.0))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

228×	`add-exp-log_binary64`
139×	`prod-exp_binary64`
52×	`add-cbrt-cube_binary64`
51×	`div-exp_binary64`
32×	`pow-exp_binary64`
28×	`add-sqr-sqrt_binary64`
26×	`cbrt-unprod_binary64` `times-frac_binary64`
23×	`pow-to-exp_binary64` `associate-r_binary64` `unpow-prod-down_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
13×	`associate-l_binary64`
11×	`pow1_binary64`
10×	`associate-*l/_binary64`
8×	`cbrt-undiv_binary64`
7×	`associate-/l*_binary64`
5×	`sqr-pow_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `unswap-sqr_binary64` `tan-quot_binary64`
3×	`div-inv_binary64` `*-commutative_binary64`
2×	`associate-*r/_binary64` `frac-times_binary64`
1×	`associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 170

Calls

4 calls:

9.0ms	(.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k))
11.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
6.0ms	(/.f64 (pow.f64 t 3.0) (*.f64 l l))
18.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2.0))

series341.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k))
91.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3.0) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
45.0ms	(/.f64 (pow.f64 t 3.0) (*.f64 l l))
138.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3.0) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2.0))

simplify42.0ms

Algorithm

egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5423	2715

prune220.0ms

Filtered

99 candidates to 182 candidates (-83.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	169	13	182
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	170	13	183

Merged error: 16.1b

Counts

183 → 13

localize24.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
4.1b	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (.f64 l l) (cos.f64 k)))
6.2b	(*.f64 (pow.f64 k 2.0) (pow.f64 t 1.0))
15.9b	(.f64 (pow.f64 (.f64 (pow.f64 k 2.0) (pow.f64 t 1.0)) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (.f64 l l) (cos.f64 k))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

481×	`add-exp-log_binary64`
336×	`prod-exp_binary64`
206×	`pow-exp_binary64`
117×	`div-exp_binary64`
116×	`pow-to-exp_binary64`
33×	`add-sqr-sqrt_binary64`
29×	`add-cbrt-cube_binary64`
25×	`unpow-prod-down_binary64`
19×	`associate-r_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`times-frac_binary64`
14×	`sqr-pow_binary64`
12×	`associate-l_binary64`
11×	`cbrt-unprod_binary64` `unswap-sqr_binary64`
8×	`associate-/l*_binary64`
6×	`cbrt-undiv_binary64`
5×	`pow1_binary64`
4×	`add-log-exp_binary64` `unpow2_binary64`
3×	`pow-unpow_binary64`
2×	`div-inv_binary64` `*-commutative_binary64`
1×	`associate-/r_binary64` `associate-r/_binary64` `pow-pow_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 250

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 k) 2)
9.0ms	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (.f64 l l) (cos.f64 k)))
7.0ms	(*.f64 (pow.f64 k 2.0) (pow.f64 t 1.0))
17.0ms	(.f64 (pow.f64 (.f64 (pow.f64 k 2.0) (pow.f64 t 1.0)) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (.f64 l l) (cos.f64 k))))

series296.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(pow.f64 (sin.f64 k) 2)
23.0ms	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (.f64 l l) (cos.f64 k)))
133.0ms	(*.f64 (pow.f64 k 2.0) (pow.f64 t 1.0))
135.0ms	(.f64 (pow.f64 (.f64 (pow.f64 k 2.0) (pow.f64 t 1.0)) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (.f64 l l) (cos.f64 k))))

simplify71.0ms

Algorithm

egg-herbie

Counts

262 → 262

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5026	4496

prune235.0ms

Filtered

94 candidates to 262 candidates (-178.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	252	10	262
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	258	17	275

Merged error: 13.8b

Counts

275 → 17

localize22.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
4.1b	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))
7.3b	(.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))) (pow.f64 (pow.f64 t 1.0) 1.0))
13.7b	(.f64 (pow.f64 (pow.f64 k 2.0) 1.0) (.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l))) (pow.f64 (pow.f64 t 1.0) 1.0)))

rewrite95.0ms

Algorithm

rewrite-expression-head

Rules

1117×	`add-exp-log_binary64`
834×	`prod-exp_binary64`
538×	`pow-exp_binary64`
316×	`pow-to-exp_binary64`
279×	`div-exp_binary64`
47×	`add-cbrt-cube_binary64`
36×	`unpow-prod-down_binary64`
27×	`add-sqr-sqrt_binary64`
23×	`associate-l_binary64`
22×	`cbrt-unprod_binary64`
19×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`times-frac_binary64`
12×	`associate-r_binary64`
10×	`sqr-pow_binary64`
9×	`cbrt-undiv_binary64`
8×	`associate-/l*_binary64`
5×	`pow1_binary64` `unswap-sqr_binary64`
4×	`add-log-exp_binary64` `unpow2_binary64`
3×	`pow-unpow_binary64`
2×	`div-inv_binary64` `associate-l/_binary64` `-commutative_binary64`
1×	`associate-/r_binary64` `associate-r/_binary64` `pow-pow_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 429

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 k) 2)
10.0ms	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))
17.0ms	(.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))) (pow.f64 (pow.f64 t 1.0) 1.0))
24.0ms	(.f64 (pow.f64 (pow.f64 k 2.0) 1.0) (.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l))) (pow.f64 (pow.f64 t 1.0) 1.0)))

series204.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(pow.f64 (sin.f64 k) 2)
26.0ms	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))
69.0ms	(.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))) (pow.f64 (pow.f64 t 1.0) 1.0))
106.0ms	(.f64 (pow.f64 (pow.f64 k 2.0) 1.0) (.f64 (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l))) (pow.f64 (pow.f64 t 1.0) 1.0)))

simplify101.0ms

Algorithm

egg-herbie

Counts

441 → 441

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4999	8845
1	4999	8845

prune221.0ms

Filtered

94 candidates to 441 candidates (-369.1%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	436	5	441
Fresh	3	13	16
Picked	0	1	1
Done	0	0	0
Total	439	19	458

Merged error: 13.2b

Counts

458 → 19

localize29.0ms

Local error

Found 4 expressions with local error:

3.9b	(.f64 (.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (pow.f64 (pow.f64 (cbrt.f64 k) 2.0) 1.0))
4.1b	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))
7.3b	(.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))))
9.0b	(.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) 2.0) 1.0) (.f64 (.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (pow.f64 (pow.f64 (cbrt.f64 k) 2.0) 1.0)))

rewrite386.0ms

Algorithm

rewrite-expression-head

Rules

8000×	`add-exp-log_binary64`
7006×	`prod-exp_binary64`
4947×	`pow-exp_binary64`
2489×	`pow-to-exp_binary64`
1629×	`div-exp_binary64`
74×	`add-cbrt-cube_binary64`
45×	`unpow-prod-down_binary64`
40×	`cbrt-unprod_binary64`
28×	`add-sqr-sqrt_binary64`
27×	`associate-r_binary64`
21×	`associate-l_binary64`
20×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
16×	`times-frac_binary64`
12×	`cbrt-undiv_binary64`
11×	`sqr-pow_binary64`
8×	`associate-/l*_binary64`
5×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `associate-*r/_binary64`
3×	`unpow2_binary64` `cbrt-prod_binary64` `*-commutative_binary64`
2×	`div-inv_binary64` `associate-*l/_binary64`
1×	`associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64`

Counts

4 → 1975

Calls

4 calls:

23.0ms	(.f64 (.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (pow.f64 (pow.f64 (cbrt.f64 k) 2.0) 1.0))
10.0ms	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))
16.0ms	(.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))))
50.0ms	(.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) 2.0) 1.0) (.f64 (.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (pow.f64 (pow.f64 (cbrt.f64 k) 2.0) 1.0)))

series436.0ms

Counts

4 → 12

Calls

4 calls:

168.0ms	(.f64 (.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (pow.f64 (pow.f64 (cbrt.f64 k) 2.0) 1.0))
23.0ms	(/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))
90.0ms	(.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (*.f64 l l))))
155.0ms	(.f64 (pow.f64 (pow.f64 (.f64 (cbrt.f64 k) (cbrt.f64 k)) 2.0) 1.0) (.f64 (.f64 (pow.f64 (pow.f64 t 1.0) 1.0) (/.f64 (pow.f64 (sin.f64 k) 2) (.f64 (cos.f64 k) (.f64 l l)))) (pow.f64 (pow.f64 (cbrt.f64 k) 2.0) 1.0)))

simplify394.0ms

Algorithm

egg-herbie

Counts

1987 → 1987

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5239	64142

prune230.0ms

Filtered

106 candidates to 1987 candidates (-1774.5%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	1986	1	1987
Fresh	1	16	17
Picked	0	1	1
Done	0	1	1
Total	1987	19	2006

Merged error: 13.2b

Counts

2006 → 19

regimes502.0ms

Accuracy

26% (6.7b remaining)

Error of 18.0b against oracle of 11.3b and baseline of 20.3b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	49	73
1	49	73

end0.0ms

sample14.8s

Algorithm

intervals

Results

3.5s	726×	body	5120	invalid
3.3s	1306×	body	2560	invalid
2.8s	3418×	body	1280	valid
1.3s	872×	body	2560	valid
1.1s	1963×	body	640	valid
682.0ms	813×	body	1280	invalid
615.0ms	193×	body	5120	valid
255.0ms	638×	body	320	valid
252.0ms	498×	body	640	invalid
133.0ms	944×	body	80	invalid
127.0ms	353×	body	320	invalid
88.0ms	662×	body	80	valid
67.0ms	254×	body	160	valid
57.0ms	229×	body	160	invalid

Details

analyze2.6s

sample498.0ms

simplify46.0ms

prune8.0ms

localize23.0ms

rewrite54.0ms

series341.0ms

simplify42.0ms

prune220.0ms

localize24.0ms

rewrite52.0ms

series296.0ms

simplify71.0ms

prune235.0ms

localize22.0ms

rewrite95.0ms

series204.0ms

simplify101.0ms

prune221.0ms

localize29.0ms

rewrite386.0ms

series436.0ms

simplify394.0ms

prune230.0ms

regimes502.0ms

bsearch2.0ms

simplify2.0ms

end0.0ms

sample14.8s

Profiling