Details

analyze2.5s (18%)

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 (15.1%)

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)

simplify91.0ms (0.6%)

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.1%)

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))

series189.0ms (1.3%)

Counts

4 → 240

Calls

4 calls:

100.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
41.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
25.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
22.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

rewrite56.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

176×	`*-un-lft-identity_binary64`
84×	`times-frac_binary64`
78×	`add-sqr-sqrt_binary64`
63×	`distribute-lft-out--_binary64`
50×	`exp-prod_binary64`

Counts

4 → 168

Calls

4 calls:

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

simplify162.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

613×	`times-frac_binary64`
453×	`fma-def_binary64`
408×	`associate-/l*_binary64`
354×	`associate-/r*_binary64`
217×	`+-commutative_binary64`

Counts

408 → 340

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	718	10869
1	2041	10609
2	5051	10609

prune326.0ms (2.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	339	1	340
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	340	1	341

Error

0.0b

Counts

341 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (E.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 17092 to 5575 computations (67.4% saved)

localize28.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 (E.f64) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

series44.0ms (0.3%)

Counts

1 → 60

Calls

1 calls:

44.0ms

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

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`*-un-lft-identity_binary64`
25×	`pow-unpow_binary64`
21×	`times-frac_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`distribute-lft-out--_binary64`

Counts

1 → 43

Calls

1 calls:

11.0ms

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

simplify94.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

453×	`associate-+r+_binary64`
317×	`times-frac_binary64`
271×	`+-commutative_binary64`
261×	`associate-+l+_binary64`
220×	`fma-def_binary64`

Counts

103 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	345	3567
1	1031	3522
2	4132	3480
3	5023	3480

prune519.0ms (3.7%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	349	1	350
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	349	2	351

Error

0.0b

Counts

351 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (*.f64 (pow.f64 (sqrt.f64 (E.f64)) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (pow.f64 (sqrt.f64 (E.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)))))
✓	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (E.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)))))

Status

Error

Program

▶

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (*.f64 (pow.f64 (sqrt.f64 (E.f64)) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (pow.f64 (sqrt.f64 (E.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)))))

✓

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (E.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 17838 to 5701 computations (68% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
	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)

series394.0ms (2.8%)

Counts

1 → 72

Calls

1 calls:

393.0ms

(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`*-un-lft-identity_binary64`
12×	`times-frac_binary64`
10×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
4×	`associate-/r*_binary64`

Counts

1 → 35

Calls

1 calls:

11.0ms

(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

simplify101.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

458×	`associate-/l*_binary64`
457×	`associate-/r*_binary64`
382×	`fma-def_binary64`
338×	`associate-l_binary64`
179×	`associate-*l/_binary64`

Counts

107 → 96

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	525	6459
1	1690	6234
2	5034	6234

prune650.0ms (4.6%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	429	1	430
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	430	2	432

Error

0.0b

Counts

432 → 2

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 (/.f64 NdChar (+.f64 1 (*.f64 (pow.f64 (sqrt.f64 (E.f64)) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (pow.f64 (sqrt.f64 (E.f64)) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (/.f64 (/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))))
✓	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (E.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)))))

Status

Error

Program

▶

0.1b

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

✓

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (E.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 29927 to 7902 computations (73.6% saved)

localize25.0ms (0.2%)

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.1b	(/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))
✓	0.1b	(/.f64 (/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

series701.0ms (5%)

Counts

2 → 144

Calls

2 calls:

422.0ms

(/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

278.0ms

(/.f64 (/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

rewrite118.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

378×	`times-frac_binary64`
298×	`*-un-lft-identity_binary64`
224×	`sqrt-prod_binary64`
186×	`add-sqr-sqrt_binary64`
186×	`add-cube-cbrt_binary64`

Counts

2 → 289

Calls

2 calls:

26.0ms

(/.f64 (/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

11.0ms

(/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)))))

simplify455.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

395×	`*-commutative_binary64`
319×	`+-commutative_binary64`
282×	`fma-def_binary64`
259×	`associate-+r+_binary64`
209×	`associate-/l*_binary64`

Counts

433 → 406

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1333	33441
1	4196	31670
2	4974	31670

prune1.0s (7.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	732	0	732
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	732	2	734

Error

0.0b

Counts

734 → 2

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 (/.f64 NdChar (+.f64 1 (*.f64 (pow.f64 (sqrt.f64 (E.f64)) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (pow.f64 (sqrt.f64 (E.f64)) (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (/.f64 (/.f64 NaChar (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))) (sqrt.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))))
✓	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (E.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)))))

Status

Error

Program

✓

0.1b

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

✓

0.0b

(+.f64 (/.f64 NdChar (+.f64 1 (pow.f64 (E.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 67409 to 19833 computations (70.6% saved)

regimes4.2s (30.2%)

Accuracy

Total 0.0b remaining (25.3%)

Threshold costs 0.0b (25.3%)

Counts

270 → 1

Compiler

Compiled 144780 to 86128 computations (40.5% saved)

simplify4.0ms (0%)

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	27	46
1	43	46
2	59	46
3	79	46
4	102	46
5	111	46
6	112	46
7	108	46

end83.0ms (0.6%)

Remove: (sort Ev EAccept)
Compiler: Compiled 263 to 169 computations (35.7% saved)

Details

analyze2.5s (18%)

sample2.1s (15.1%)

simplify91.0ms (0.6%)

prune4.0ms (0%)

localize21.0ms (0.1%)

series189.0ms (1.3%)

rewrite56.0ms (0.4%)

simplify162.0ms (1.2%)

prune326.0ms (2.3%)

localize28.0ms (0.2%)

series44.0ms (0.3%)

rewrite15.0ms (0.1%)

simplify94.0ms (0.7%)

prune519.0ms (3.7%)

localize24.0ms (0.2%)

series394.0ms (2.8%)

rewrite14.0ms (0.1%)

simplify101.0ms (0.7%)

prune650.0ms (4.6%)

localize25.0ms (0.2%)

series701.0ms (5%)

rewrite118.0ms (0.8%)

simplify455.0ms (3.2%)

prune1.0s (7.3%)

regimes4.2s (30.2%)

simplify4.0ms (0%)

end83.0ms (0.6%)

Profiling