Details

analyze2.7s

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

sample534.0ms

Algorithm

intervals

Results

144.0ms	26×	body	5120	invalid
135.0ms	57×	body	2560	invalid
93.0ms	108×	body	1280	valid
50.0ms	29×	body	2560	valid
32.0ms	59×	body	640	valid
22.0ms	25×	body	1280	invalid
9.0ms	4×	body	5120	valid
9.0ms	17×	body	640	invalid
8.0ms	21×	body	320	valid
4.0ms	30×	body	80	invalid
3.0ms	13×	body	160	valid
3.0ms	9×	body	320	invalid
3.0ms	22×	body	80	valid
1.0ms	2×	body	160	invalid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (37.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: 39.4b

Counts

2 → 1

localize18.0ms

Local error

Found 4 expressions with local error:

0.6b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
0.8b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
18.5b	(/.f64 (pow.f64 t 3) (*.f64 l l))
24.0b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 187

Calls

4 calls:

11.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
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))

series141.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
41.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
7.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
76.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

simplify72.0ms

Algorithm

egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4969	2781
1	4969	2781

prune168.0ms

Filtered

101 candidates to 199 candidates (-97.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	185	14	199
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	186	14	200

Merged error: 11.1b

Counts

200 → 14

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k))))
1.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.1b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
18.4b	(/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

320×	`add-exp-log_binary64`
183×	`prod-exp_binary64`
173×	`add-cbrt-cube_binary64`
87×	`cbrt-unprod_binary64`
82×	`div-exp_binary64`
46×	`cbrt-undiv_binary64`
23×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
17×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
15×	`pow-to-exp_binary64` `pow-exp_binary64`
9×	`pow1_binary64` `associate-r_binary64`
6×	`associate-/r*_binary64` `div-inv_binary64`
4×	`add-log-exp_binary64` `associate-l_binary64` `unswap-sqr_binary64` `unpow-prod-down_binary64` `associate-/l*_binary64`
3×	`pow-prod-down_binary64`
2×	`unpow2_binary64` `sqr-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`associate-/r/_binary64`

Counts

4 → 184

Calls

4 calls:

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

series126.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k))))
14.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
13.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
38.0ms	(/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k)))

simplify72.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4975	3362
1	4975	3362

prune142.0ms

Filtered

79 candidates to 196 candidates (-148.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	187	9	196
Fresh	1	12	13
Picked	1	0	1
Done	0	0	0
Total	189	21	210

Merged error: 8.6b

Counts

210 → 21

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 k) 2)
0.5b	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k))))
1.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
18.4b	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

204×	`add-exp-log_binary64`
128×	`add-cbrt-cube_binary64`
111×	`prod-exp_binary64`
61×	`cbrt-unprod_binary64`
55×	`div-exp_binary64`
37×	`cbrt-undiv_binary64`
25×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
19×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
8×	`pow-to-exp_binary64` `associate-r_binary64` `pow-exp_binary64`
7×	`unpow-prod-down_binary64`
6×	`associate-/r*_binary64` `div-inv_binary64`
5×	`pow1_binary64`
4×	`add-log-exp_binary64` `unswap-sqr_binary64` `associate-/l*_binary64`
3×	`pow-unpow_binary64` `unpow2_binary64` `sqr-pow_binary64` `associate-l_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64`
1×	`pow-pow_binary64` `associate-/r/_binary64` `*-commutative_binary64`

Counts

4 → 154

Calls

4 calls:

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

series115.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(pow.f64 (sin.f64 k) 2)
60.0ms	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k))))
13.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
38.0ms	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k)))

simplify57.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4986	2751
1	4986	2751

prune129.0ms

Filtered

78 candidates to 166 candidates (-112.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	161	5	166
Fresh	4	16	20
Picked	1	0	1
Done	0	0	0
Total	166	21	187

Merged error: 8.3b

Counts

187 → 21

localize15.0ms

Local error

Found 4 expressions with local error:

1.5b	(*.f64 t (pow.f64 (sin.f64 k) 2))
1.6b	(/.f64 2 (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))
8.0b	(/.f64 (*.f64 l l) k)
12.2b	(.f64 (/.f64 (.f64 l l) k) (/.f64 2 (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k))))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

151×	`add-exp-log_binary64`
100×	`add-cbrt-cube_binary64`
73×	`times-frac_binary64`
60×	`prod-exp_binary64` `div-exp_binary64`
57×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
40×	`cbrt-undiv_binary64`
34×	`cbrt-unprod_binary64` `associate-r_binary64`
11×	`div-inv_binary64`
10×	`associate-/r_binary64` `associate-l*_binary64`
8×	`unswap-sqr_binary64`
6×	`pow1_binary64`
5×	`pow-to-exp_binary64` `pow-exp_binary64`
4×	`add-log-exp_binary64` `unpow-prod-down_binary64` `associate-/l*_binary64`
2×	`unpow2_binary64` `sqr-pow_binary64` `associate-/r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `*-commutative_binary64`
1×	`pow-prod-down_binary64` `associate-r/_binary64` `frac-times_binary64` `associate-l/_binary64`

Counts

4 → 185

Calls

4 calls:

7.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
9.0ms	(/.f64 2 (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k)))
5.0ms	(/.f64 (*.f64 l l) k)
23.0ms	(.f64 (/.f64 (.f64 l l) k) (/.f64 2 (/.f64 (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))) (cos.f64 k))))

series85.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify61.0ms

Algorithm

egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5138	3084

prune117.0ms

Filtered

122 candidates to 197 candidates (-61.5%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	189	8	197
Fresh	6	14	20
Picked	1	0	1
Done	0	0	0
Total	196	22	218

Merged error: 3.7b

Counts

218 → 22

regimes405.0ms

Accuracy

0% (5.0b remaining)

Error of 10.1b against oracle of 5.1b and baseline of 10.1b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	19
1	21	19

end0.0ms

sample15.2s

Algorithm

intervals

Results

3.8s	740×	body	5120	invalid
3.4s	1324×	body	2560	invalid
2.8s	3295×	body	1280	valid
1.3s	932×	body	2560	valid
1.2s	2007×	body	640	valid
654.0ms	775×	body	1280	invalid
640.0ms	204×	body	5120	valid
263.0ms	652×	body	320	valid
254.0ms	500×	body	640	invalid
127.0ms	342×	body	320	invalid
127.0ms	949×	body	80	invalid
92.0ms	667×	body	80	valid
66.0ms	243×	body	160	valid
40.0ms	159×	body	160	invalid

Details

analyze2.7s

sample534.0ms

simplify41.0ms

prune7.0ms

localize18.0ms

rewrite65.0ms

series141.0ms

simplify72.0ms

prune168.0ms

localize16.0ms

rewrite65.0ms

series126.0ms

simplify72.0ms

prune142.0ms

localize19.0ms

rewrite49.0ms

series115.0ms

simplify57.0ms

prune129.0ms

localize15.0ms

rewrite53.0ms

series85.0ms

simplify61.0ms

prune117.0ms

regimes405.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample15.2s

Profiling