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

sample443.0ms

Algorithm

intervals

Results

90.0ms	43×	body	2560	invalid
90.0ms	108×	body	1280	valid
83.0ms	23×	body	5120	invalid
48.0ms	38×	body	2560	valid
31.0ms	57×	body	640	valid
23.0ms	31×	body	1280	invalid
21.0ms	8×	body	5120	valid
11.0ms	22×	body	640	invalid
7.0ms	21×	body	320	invalid
5.0ms	37×	body	80	invalid
4.0ms	11×	body	320	valid
3.0ms	12×	body	160	valid
3.0ms	22×	body	80	valid
1.0ms	5×	body	160	invalid

simplify39.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4905	21
1	4905	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: 45.7b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.8b	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
0.8b	(/.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)))
14.5b	(/.f64 (pow.f64 t 3) (*.f64 l l))
34.0b	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

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

12.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.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))
22.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

series229.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(.f64 (.f64 (/.f64 (pow.f64 t 3) (*.f64 l l)) (sin.f64 k)) (tan.f64 k))
82.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)))
8.0ms	(/.f64 (pow.f64 t 3) (*.f64 l l))
90.0ms	(.f64 (.f64 (.f64 (/.f64 (pow.f64 t 3) (.f64 l l)) (sin.f64 k)) (tan.f64 k)) (pow.f64 (/.f64 k t) 2))

simplify61.0ms

Algorithm

egg-herbie

Counts

218 → 218

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5149	3723

prune189.0ms

Filtered

93 candidates to 218 candidates (-134.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	209	9	218
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	210	9	219

Merged error: 19.9b

Counts

219 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 k) 2)
2.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
5.3b	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
21.9b	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite39.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))
9.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))))

series82.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(pow.f64 (sin.f64 k) 2)
12.0ms	(*.f64 t (pow.f64 (sin.f64 k) 2))
16.0ms	(.f64 (.f64 k k) (*.f64 t (pow.f64 (sin.f64 k) 2)))
49.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 (33.0ms)

Iter	Nodes	Cost
0	5041	1635

prune121.0ms

Filtered

58 candidates to 136 candidates (-134.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	127	9	136
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	131	14	145

Merged error: 12.5b

Counts

145 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(.f64 k (.f64 t (pow.f64 (sin.f64 k) 2)))
0.3b	(pow.f64 (sin.f64 k) 2)
2.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
21.9b	(/.f64 (.f64 (.f64 l l) (cos.f64 k)) (.f64 k (.f64 k (*.f64 t (pow.f64 (sin.f64 k) 2)))))

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

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

series77.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4993	1340
1	4993	1340

prune124.0ms

Filtered

58 candidates to 119 candidates (-105.2%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	113	6	119
Fresh	3	10	13
Picked	0	1	1
Done	0	0	0
Total	116	17	133

Merged error: 11.9b

Counts

133 → 17

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (sin.f64 k) 2)
2.4b	(*.f64 t (pow.f64 (sin.f64 k) 2))
10.4b	(/.f64 (*.f64 l l) k)
12.4b	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

rewrite31.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)
13.0ms	(/.f64 (.f64 (/.f64 (.f64 l l) k) (cos.f64 k)) (.f64 k (.f64 t (pow.f64 (sin.f64 k) 2))))

series67.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify53.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5017	1345

prune83.0ms

Filtered

61 candidates to 124 candidates (-103.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	116	8	124
Fresh	2	13	15
Picked	1	0	1
Done	1	0	1
Total	120	21	141

Merged error: 7.8b

Counts

141 → 21

regimes478.0ms

Accuracy

0% (6.3b remaining)

Error of 13.2b against oracle of 7.0b and baseline of 13.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	19
1	19	19

end0.0ms

sample15.2s

Algorithm

intervals

Results

3.5s	740×	body	5120	invalid
3.5s	1329×	body	2560	invalid
2.9s	3416×	body	1280	valid
1.4s	946×	body	2560	valid
1.1s	1912×	body	640	valid
688.0ms	783×	body	1280	invalid
681.0ms	206×	body	5120	valid
309.0ms	589×	body	640	invalid
276.0ms	638×	body	320	valid
131.0ms	355×	body	320	invalid
127.0ms	958×	body	80	invalid
87.0ms	630×	body	80	valid
67.0ms	252×	body	160	valid
48.0ms	189×	body	160	invalid

Details

analyze2.6s

sample443.0ms

simplify39.0ms

prune8.0ms

localize17.0ms

rewrite73.0ms

series229.0ms

simplify61.0ms

prune189.0ms

localize16.0ms

rewrite39.0ms

series82.0ms

simplify46.0ms

prune121.0ms

localize15.0ms

rewrite34.0ms

series77.0ms

simplify44.0ms

prune124.0ms

localize15.0ms

rewrite31.0ms

series67.0ms

simplify53.0ms

prune83.0ms

regimes478.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample15.2s

Profiling