Details

analyze2.5s (27.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
1.6%	98%	0.4%	11
1.6%	98%	0.4%	12
1.6%	98%	0.4%	13
1.6%	98%	0.4%	14

Compiler

Compiled 41 to 29 computations (29.3% saved)

sample2.1s (22.5%)

Symmetry

(sort Ev EAccept)

Results

2.0s	8255×	body	128	valid
3.0ms	1×	body	8192	exit
1.0ms	1×	body	1024	valid

Compiler

Compiled 122 to 86 computations (29.5% saved)

simplify94.0ms (1%)

Algorithm

1×	egg-herbie

Rules

713×	`div-sub_binary64`
583×	`exp-sum_binary64`
502×	`exp-diff_binary64`
464×	`exp-prod_binary64`
370×	`distribute-rgt-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	28	46
1	57	46
2	158	44
3	433	44
4	1039	44
5	2185	44
6	3700	44
7	4917	44
8	4999	44
9	4971	44
10	5079	44

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Compiler

Compiled 145 to 95 computations (34.5% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
✓	0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
✓	0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
✓	0.0b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

series162.0ms (1.8%)

Counts

4 → 240

Calls

4 calls:

58.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
55.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
25.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
23.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

rewrite71.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

327×	`prod-diff_binary64`
230×	`add-sqr-sqrt_binary64`
223×	`log1p-expm1-u_binary64`
223×	`expm1-log1p-u_binary64`
215×	`add-log-exp_binary64`

Counts

4 → 92

Calls

4 calls:

68.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
68.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
68.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
68.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	56
1	431	56
2	4848	56
3	5359	56
0	0	0
1	0	0

simplify106.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

593×	`times-frac_binary64`
507×	`associate-+l+_binary64`
428×	`fma-def_binary64`
374×	`associate-/l*_binary64`
332×	`associate-/r*_binary64`

Counts

332 → 207

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	542	7549
1	1685	7455
2	5819	7455

prune234.0ms (2.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	205	2	207
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	206	2	208

Error

0.0b

Counts

208 → 2

Alt Table

Status	Error	Program
	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (-.f64 (exp.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) 1))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
▶	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Status

Error

Program

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (-.f64 (exp.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) 1))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

▶

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Compiler

Compiled 11676 to 4282 computations (63.3% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
	0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
	0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
✓	0.0b	(pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

series103.0ms (1.1%)

Counts

1 → 60

Calls

1 calls:

103.0ms

(pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

rewrite60.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

276×	`expm1-udef_binary64`
276×	`log1p-udef_binary64`
153×	`add-sqr-sqrt_binary64`
147×	`log1p-expm1-u_binary64`
147×	`expm1-log1p-u_binary64`

Counts

1 → 18

Calls

1 calls:

59.0ms

(pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	293	15
2	4174	15
3	4983	15
0	0	0
1	0	0

simplify67.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

462×	`associate-/r/_binary64`
453×	`associate-+r+_binary64`
316×	`times-frac_binary64`
266×	`+-commutative_binary64`
260×	`associate-+l+_binary64`

Counts

78 → 58

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	276	2733
1	862	2707
2	3705	2510
3	5381	2510

prune357.0ms (3.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

208 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (-.f64 (exp.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) 1))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
✓	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Status

Error

Program

▶

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (-.f64 (exp.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) 1))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

✓

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Compiler

Compiled 11796 to 4605 computations (61% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
	0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
	0.0b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
✓	0.2b	(log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

series1.7s (18.7%)

Counts

1 → 60

Calls

1 calls:

1.7s	(log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

rewrite60.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

374×	`fma-neg_binary64`
269×	`expm1-udef_binary64`
269×	`log1p-udef_binary64`
146×	`add-sqr-sqrt_binary64`
143×	`expm1-log1p-u_binary64`

Counts

1 → 16

Calls

1 calls:

59.0ms

(log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	17
1	276	17
2	4035	17
3	5274	17
0	0	0
1	0	0

simplify84.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

409×	`times-frac_binary64`
292×	`associate-/l*_binary64`
249×	`associate-/r*_binary64`
230×	`associate-r_binary64`
230×	`fma-def_binary64`

Counts

76 → 57

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	286	3647
1	1053	3419
2	4769	3369
3	4996	3369

prune250.0ms (2.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

206 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (-.f64 (exp.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) 1))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
✓	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Status

Error

Program

✓

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (-.f64 (exp.f64 (log1p.f64 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) 1))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

✓

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (exp.f64 1) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))) (/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

Compiler

Compiled 12765 to 4859 computations (61.9% saved)

regimes1.1s (11.9%)

Accuracy

Total 0.0b remaining (32.9%)

Threshold costs 0.0b (32.9%)

Counts

77 → 1

Compiler

Compiled 28770 to 20668 computations (28.2% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
11×	`sub-neg_binary64`
10×	`distribute-neg-in_binary64`
10×	`cancel-sign-sub-inv_binary64`
8×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	50
1	45	50
2	61	50
3	81	50
4	104	50
5	113	50
6	114	50
7	110	50

end84.0ms (0.9%)

Remove: (sort Ev EAccept)
Compiler: Compiled 250 to 178 computations (28.8% saved)

Details

analyze2.5s (27.4%)

sample2.1s (22.5%)

simplify94.0ms (1%)

prune4.0ms (0%)

localize21.0ms (0.2%)

series162.0ms (1.8%)

rewrite71.0ms (0.8%)

simplify106.0ms (1.1%)

prune234.0ms (2.5%)

localize22.0ms (0.2%)

series103.0ms (1.1%)

rewrite60.0ms (0.6%)

simplify67.0ms (0.7%)

prune357.0ms (3.9%)

localize24.0ms (0.3%)

series1.7s (18.7%)

rewrite60.0ms (0.6%)

simplify84.0ms (0.9%)

prune250.0ms (2.7%)

regimes1.1s (11.9%)

simplify6.0ms (0.1%)

end84.0ms (0.9%)

Profiling