Details

analyze2.9s

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

sample514.0ms

Algorithm

intervals

Results

132.0ms	46×	body	2560	invalid
105.0ms	20×	body	5120	invalid
85.0ms	103×	body	1280	valid
46.0ms	35×	body	2560	valid
36.0ms	56×	body	640	valid
30.0ms	24×	body	1280	invalid
27.0ms	11×	body	5120	valid
10.0ms	20×	body	640	invalid
10.0ms	23×	body	320	valid
4.0ms	31×	body	80	invalid
4.0ms	10×	body	320	invalid
3.0ms	23×	body	80	valid
2.0ms	7×	body	160	invalid
1.0ms	5×	body	160	valid

simplify42.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4905	21
1	4905	21

prune7.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: 38.3b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.4b	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
1.1b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
15.7b	(/.f64 (pow.f64 t 3) (*.f64 l l))
26.1b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

405×	`add-exp-log_binary64`
237×	`prod-exp_binary64`
115×	`div-exp_binary64`
70×	`add-cbrt-cube_binary64`
56×	`pow-exp_binary64`
38×	`pow-to-exp_binary64`
35×	`cbrt-unprod_binary64`
24×	`times-frac_binary64`
21×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
19×	`unpow-prod-down_binary64`
15×	`associate-/l_binary64` `associate-l/_binary64`
14×	`cbrt-undiv_binary64`
9×	`pow1_binary64`
6×	`cube-prod_binary64` `tan-quot_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `associate-*r/_binary64` `sqr-pow_binary64` `associate-/r/_binary64` `div-inv_binary64` `frac-times_binary64`
2×	`associate-/r_binary64` `associate-l_binary64` `clear-num_binary64` `frac-2neg_binary64` `unpow3_binary64` `-commutative_binary64` `cube-mult_binary64`
1×	`unpow2_binary64`

Counts

4 → 206

Calls

4 calls:

21.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
13.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
11.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
21.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series204.0ms

Counts

4 → 12

Calls

4 calls:

72.0ms	(/.f64 2 (.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2)))
42.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
8.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
82.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

simplify63.0ms

Algorithm

egg-herbie

Counts

218 → 218

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5149	3723

prune154.0ms

Filtered

93 candidates to 218 candidates (-134.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	204	14	218
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	205	14	219

Merged error: 13.4b

Counts

219 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
2.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.1b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
17.3b	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

163×	`add-exp-log_binary64`
102×	`prod-exp_binary64`
87×	`add-cbrt-cube_binary64`
48×	`cbrt-unprod_binary64`
27×	`div-exp_binary64`
15×	`cbrt-undiv_binary64` `add-sqr-sqrt_binary64`
10×	`pow-to-exp_binary64` `pow1_binary64` `pow-exp_binary64`
9×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64`
7×	`unpow-prod-down_binary64`
4×	`add-log-exp_binary64` `associate-l_binary64` `unswap-sqr_binary64`
3×	`pow-prod-down_binary64` `pow-unpow_binary64` `unpow2_binary64` `sqr-pow_binary64`
2×	`*-commutative_binary64`
1×	`associate-/r_binary64` `pow-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

4 → 124

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 k) 2)
6.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
10.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
15.0ms	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

series70.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(pow.f64 (sin.f64 k) 2)
10.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
14.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
43.0ms	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

simplify46.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5041	1635

prune105.0ms

Filtered

58 candidates to 136 candidates (-134.5%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	126	10	136
Fresh	4	9	13
Picked	1	0	1
Done	0	0	0
Total	131	19	150

Merged error: 9.7b

Counts

150 → 19

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))
0.4b	(pow.f64 (sin.f64 k) 2)
2.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
17.3b	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

107×	`add-exp-log_binary64`
65×	`add-cbrt-cube_binary64`
64×	`prod-exp_binary64`
34×	`cbrt-unprod_binary64`
18×	`div-exp_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`cbrt-undiv_binary64`
10×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
9×	`associate-r_binary64`
7×	`pow1_binary64` `unpow-prod-down_binary64`
6×	`pow-to-exp_binary64` `associate-l_binary64` `pow-exp_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64`
3×	`pow-unpow_binary64` `unpow2_binary64` `sqr-pow_binary64`
2×	`*-commutative_binary64`
1×	`pow-prod-down_binary64` `associate-/r_binary64` `pow-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `times-frac_binary64` `div-inv_binary64`

Counts

4 → 107

Calls

4 calls:

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

series66.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))
4.0ms	(pow.f64 (sin.f64 k) 2)
10.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
40.0ms	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))))

simplify50.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4993	1340
1	4993	1340

prune89.0ms

Filtered

58 candidates to 119 candidates (-105.2%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	115	4	119
Fresh	5	13	18
Picked	0	1	1
Done	0	0	0
Total	120	18	138

Merged error: 9.4b

Counts

138 → 18

localize16.0ms

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sin.f64 k) 2)
2.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
8.7b	(/.f64 (*.f64 l l) k)
11.3b	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

109×	`add-exp-log_binary64`
65×	`add-cbrt-cube_binary64`
52×	`prod-exp_binary64`
32×	`div-exp_binary64`
26×	`cbrt-unprod_binary64`
20×	`cbrt-undiv_binary64`
17×	`add-sqr-sqrt_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`associate-r_binary64`
7×	`unpow-prod-down_binary64`
6×	`pow-to-exp_binary64` `pow-exp_binary64`
5×	`pow1_binary64`
4×	`associate-/r*_binary64` `add-log-exp_binary64` `unswap-sqr_binary64` `times-frac_binary64`
3×	`pow-unpow_binary64` `unpow2_binary64` `sqr-pow_binary64` `associate-l_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64`
1×	`associate-/l/_binary64` `pow-pow_binary64` `associate-l/_binary64` `-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

3.0ms	(pow.f64 (sin.f64 k) 2)
6.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.0ms	(/.f64 (*.f64 l l) k)
16.0ms	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

series57.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(pow.f64 (sin.f64 k) 2)
10.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
4.0ms	(/.f64 (*.f64 l l) k)
40.0ms	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

simplify58.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5017	1345

prune55.0ms

Filtered

62 candidates to 124 candidates (-100.0%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	120	4	124
Fresh	0	16	16
Picked	1	0	1
Done	1	0	1
Total	122	20	142

Merged error: 6.4b

Counts

142 → 20

regimes360.0ms

Accuracy

0% (6.2b remaining)

Error of 13.0b against oracle of 6.8b and baseline of 13.0b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	19
1	18	19

end0.0ms

sample15.1s

Algorithm

intervals

Results

3.7s	750×	body	5120	invalid
3.1s	1203×	body	2560	invalid
2.8s	3215×	body	1280	valid
1.4s	941×	body	2560	valid
1.2s	2043×	body	640	valid
700.0ms	213×	body	5120	valid
669.0ms	757×	body	1280	invalid
301.0ms	553×	body	640	invalid
293.0ms	697×	body	320	valid
155.0ms	388×	body	320	invalid
129.0ms	930×	body	80	invalid
90.0ms	644×	body	80	valid
75.0ms	247×	body	160	valid
57.0ms	202×	body	160	invalid

Details

analyze2.9s

sample514.0ms

simplify42.0ms

prune7.0ms

localize19.0ms

rewrite80.0ms

series204.0ms

simplify63.0ms

prune154.0ms

localize16.0ms

rewrite41.0ms

series70.0ms

simplify46.0ms

prune105.0ms

localize16.0ms

rewrite39.0ms

series66.0ms

simplify50.0ms

prune89.0ms

localize16.0ms

rewrite36.0ms

series57.0ms

simplify58.0ms

prune55.0ms

regimes360.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample15.1s

Profiling