Details

analyze2.8s

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

sample503.0ms

Algorithm

intervals

Results

138.0ms	28×	body	5120	invalid
99.0ms	37×	body	2560	invalid
85.0ms	105×	body	1280	valid
38.0ms	69×	body	640	valid
34.0ms	23×	body	2560	valid
25.0ms	28×	body	1280	invalid
20.0ms	6×	body	5120	valid
13.0ms	25×	body	640	invalid
7.0ms	18×	body	320	valid
5.0ms	13×	body	320	invalid
4.0ms	30×	body	80	invalid
4.0ms	24×	body	80	valid
3.0ms	11×	body	160	valid
3.0ms	9×	body	160	invalid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5113	32

prune15.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: 42.1b

Counts

2 → 1

localize29.0ms

Local error

Found 4 expressions with local error:

0.4b	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
0.5b	(/.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)))
19.5b	(/.f64 (pow.f64 t 3) (*.f64 l l))
29.0b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

rewrite74.0ms

Algorithm

rewrite-expression-head

Rules

396×	`add-exp-log_binary64`
229×	`prod-exp_binary64`
115×	`div-exp_binary64`
65×	`add-cbrt-cube_binary64`
56×	`pow-exp_binary64`
40×	`times-frac_binary64`
38×	`pow-to-exp_binary64`
34×	`add-sqr-sqrt_binary64`
31×	`cbrt-unprod_binary64`
25×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
23×	`unpow-prod-down_binary64`
21×	`associate-r_binary64`
17×	`associate-l_binary64`
15×	`associate-/l*_binary64`
14×	`cbrt-undiv_binary64`
13×	`associate-*l/_binary64`
10×	`cube-prod_binary64`
6×	`pow1_binary64`
5×	`sqr-pow_binary64` `unswap-sqr_binary64`
4×	`add-log-exp_binary64` `div-inv_binary64` `tan-quot_binary64`
3×	`associate-/r/_binary64` `unpow3_binary64` `cube-mult_binary64`
2×	`associate-/r_binary64` `associate-r/_binary64` `clear-num_binary64` `frac-2neg_binary64` `frac-times_binary64` `*-commutative_binary64`
1×	`pow-prod-down_binary64` `unpow2_binary64`

Counts

4 → 221

Calls

4 calls:

11.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
19.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)))
7.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
20.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series730.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k))
304.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)))
27.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
330.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

simplify125.0ms

Algorithm

egg-herbie

Counts

233 → 233

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	5080	5832

prune419.0ms

Filtered

107 candidates to 233 candidates (-117.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	219	14	233
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	220	14	234

Merged error: 19.1b

Counts

234 → 14

localize25.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.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
8.8b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
23.0b	(/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k)))

rewrite61.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:

19.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))
9.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
15.0ms	(/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k)))

series535.0ms

Counts

4 → 12

Calls

4 calls:

266.0ms	(/.f64 2 (/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k))))
42.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
57.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
169.0ms	(/.f64 (.f64 (.f64 k k) (.f64 t (pow.f64 (sin.f64 k) 2))) (.f64 (*.f64 l l) (cos.f64 k)))

simplify117.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5399	5244

prune375.0ms

Filtered

79 candidates to 196 candidates (-148.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	187	9	196
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	194	16	210

Merged error: 14.9b

Counts

210 → 16

localize25.0ms

Local error

Found 4 expressions with local error:

0.4b	(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.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
23.0b	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k)))

rewrite52.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)
15.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))
20.0ms	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k)))

series504.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(pow.f64 (sin.f64 k) 2)
277.0ms	(/.f64 2 (/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k))))
46.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
163.0ms	(/.f64 (.f64 k (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))) (.f64 (*.f64 l l) (cos.f64 k)))

simplify111.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	5397	4252

prune392.0ms

Filtered

78 candidates to 166 candidates (-112.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	158	8	166
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	163	19	182

Merged error: 14.2b

Counts

182 → 19

localize25.0ms

Local error

Found 4 expressions with local error:

0.5b	(/.f64 2 (/.f64 k (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))))
1.1b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.0b	(/.f64 k (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))))
17.0b	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

250×	`add-exp-log_binary64`
152×	`times-frac_binary64`
148×	`add-cbrt-cube_binary64`
111×	`prod-exp_binary64`
94×	`div-exp_binary64`
80×	`add-sqr-sqrt_binary64`
74×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
58×	`cbrt-undiv_binary64`
55×	`cbrt-unprod_binary64`
26×	`associate-/r*_binary64`
23×	`div-inv_binary64`
10×	`pow-to-exp_binary64` `pow-exp_binary64`
8×	`associate-r_binary64`
7×	`associate-/l*_binary64`
6×	`associate-/r/_binary64`
4×	`add-log-exp_binary64` `pow1_binary64` `unswap-sqr_binary64` `unpow-prod-down_binary64`
3×	`associate-l_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`unpow2_binary64` `sqr-pow_binary64`
1×	`*-commutative_binary64`

Counts

4 → 246

Calls

4 calls:

19.0ms	(/.f64 2 (/.f64 k (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))))
7.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
20.0ms	(/.f64 k (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))))
13.0ms	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

series564.0ms

Counts

4 → 12

Calls

4 calls:

183.0ms	(/.f64 2 (/.f64 k (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))))
41.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
170.0ms	(/.f64 k (/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))))
170.0ms	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

simplify162.0ms

Algorithm

egg-herbie

Counts

258 → 258

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5134	9767

prune584.0ms

Filtered

158 candidates to 258 candidates (-63.3%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	254	4	258
Fresh	6	12	18
Picked	1	0	1
Done	0	0	0
Total	261	16	277

Merged error: 13.9b

Counts

277 → 16

regimes814.0ms

Accuracy

44.3% (4.2b remaining)

Error of 15.3b against oracle of 11.1b and baseline of 18.6b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	75
1	38	75

end0.0ms

sample15.2s

Algorithm

intervals

Results

3.5s	725×	body	5120	invalid
3.1s	1220×	body	2560	invalid
2.8s	3290×	body	1280	valid
1.4s	945×	body	2560	valid
1.2s	1998×	body	640	valid
932.0ms	732×	body	1280	invalid
628.0ms	190×	body	5120	valid
287.0ms	543×	body	640	invalid
252.0ms	604×	body	320	valid
136.0ms	346×	body	320	invalid
133.0ms	945×	body	80	invalid
103.0ms	699×	body	80	valid
76.0ms	274×	body	160	valid
50.0ms	193×	body	160	invalid

Details

analyze2.8s

sample503.0ms

simplify48.0ms

prune15.0ms

localize29.0ms

rewrite74.0ms

series730.0ms

simplify125.0ms

prune419.0ms

localize25.0ms

rewrite61.0ms

series535.0ms

simplify117.0ms

prune375.0ms

localize25.0ms

rewrite52.0ms

series504.0ms

simplify111.0ms

prune392.0ms

localize25.0ms

rewrite72.0ms

series564.0ms

simplify162.0ms

prune584.0ms

regimes814.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample15.2s

Profiling