Details

analyze2.7s (31.5%)

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.0s (23%)

Symmetry

(sort Ev EAccept)

Results

1.9s	8255×	body	128	valid
0.0ms	1×	body	256	valid

Compiler

Compiled 122 to 86 computations (29.5% saved)

simplify94.0ms (1.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.1%)

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	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
✓	0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) 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)

series403.0ms (4.7%)

Counts

4 → 252

Calls

4 calls:

286.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
64.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
26.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
26.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

rewrite51.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

155×	`*-un-lft-identity_binary64`
75×	`times-frac_binary64`
70×	`add-sqr-sqrt_binary64`
48×	`add-cube-cbrt_binary64`
45×	`distribute-lft-out--_binary64`

Counts

4 → 167

Calls

4 calls:

11.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
9.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
9.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
8.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify255.0ms (3%)

Algorithm

1×	egg-herbie

Rules

761×	`associate-/l*_binary64`
673×	`fma-def_binary64`
278×	`*-commutative_binary64`
250×	`+-commutative_binary64`
191×	`associate-+r+_binary64`

Counts

419 → 354

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1003	13686
1	2913	13296
2	5873	13296

prune448.0ms (5.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	353	1	354
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	353	2	355

Error

Counts

355 → 2

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)))))
▶	0.6b	(+.f64 (/.f64 (*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar)) (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar))) (/.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 (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)))))

▶

0.6b

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

Compiler

Compiled 20165 to 6849 computations (66% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar))
✓	0.2b	(/.f64 (*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar)) (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar)))
✓	0.5b	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
✓	0.6b	(cbrt.f64 NdChar)

series1.3s (15%)

Counts

4 → 168

Calls

4 calls:

924.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar))
303.0ms	(/.f64 (*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar)) (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar)))
35.0ms	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
35.0ms	(cbrt.f64 NdChar)

rewrite56.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

100×	`times-frac_binary64`
98×	`*-un-lft-identity_binary64`
68×	`add-sqr-sqrt_binary64`
60×	`add-cube-cbrt_binary64`
58×	`cbrt-prod_binary64`

Counts

4 → 183

Calls

4 calls:

16.0ms	(/.f64 (*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar)) (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar)))
12.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar))
8.0ms	(*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar))
1.0ms	(cbrt.f64 NdChar)

simplify289.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

925×	`fma-def_binary64`
337×	`*-commutative_binary64`
244×	`+-commutative_binary64`
196×	`associate-+r+_binary64`
150×	`associate-/l*_binary64`

Counts

351 → 354

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	995	15577
1	3031	14481
2	4991	14481
3	4982	14481

prune393.0ms (4.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	388	0	388
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	388	2	390

Error

Counts

390 → 2

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)))))
✓	0.6b	(+.f64 (/.f64 (*.f64 (cbrt.f64 NdChar) (cbrt.f64 NdChar)) (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 NdChar))) (/.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 (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)))))

✓

0.6b

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

Compiler

Compiled 25396 to 8806 computations (65.3% saved)

regimes491.0ms (5.7%)

Accuracy

Total 0.0b remaining (6.5%)

Threshold costs 0.0b (6.5%)

Counts

34 → 1

Compiler

Compiled 13110 to 9118 computations (30.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	26	44
1	41	44
2	57	44
3	77	44
4	100	44
5	109	44
6	110	44
7	106	44

end85.0ms (1%)

Remove: (sort Ev EAccept)
Compiler: Compiled 235 to 159 computations (32.3% saved)

Details

analyze2.7s (31.5%)

sample2.0s (23%)

simplify94.0ms (1.1%)

prune4.0ms (0.1%)

localize21.0ms (0.2%)

series403.0ms (4.7%)

rewrite51.0ms (0.6%)

simplify255.0ms (3%)

prune448.0ms (5.2%)

localize29.0ms (0.3%)

series1.3s (15%)

rewrite56.0ms (0.6%)

simplify289.0ms (3.4%)

prune393.0ms (4.6%)

regimes491.0ms (5.7%)

simplify4.0ms (0%)

end85.0ms (1%)

Profiling