Details

analyze2.3s (13.1%)

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
24.9%	74.7%	0.4%	8
24.9%	74.7%	0.4%	9
24.9%	74.7%	0.4%	10
25.7%	73.9%	0.4%	11
25.7%	73.9%	0.4%	12
25.7%	73.9%	0.4%	13
25.7%	73.9%	0.4%	14

Compiler

Compiled 41 to 29 computations (29.3% saved)

sample55.0ms (0.3%)

Algorithm

1×

intervals

Results

30.0ms

256×

body

128

valid

Compiler

Compiled 90 to 66 computations (26.7% saved)

simplify92.0ms (0.5%)

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)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series180.0ms (1%)

Counts

4 → 240

Calls

4 calls:

65.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
60.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
28.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
26.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

rewrite57.0ms (0.3%)

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:

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

simplify177.0ms (1%)

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 → 333

Iterations

Useful iterations: 1 (0.0ms)

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

prune341.0ms (2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	332	1	333
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	333	1	334

Error

0.0b

Counts

334 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.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 (exp.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.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 16899 to 5518 computations (67.3% saved)

localize23.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.3b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
✓	0.5b	(*.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
✓	17.9b	(cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

series2.1s (12.3%)

Counts

3 → 180

Calls

3 calls:

1.5s

(*.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

524.0ms

(cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

87.0ms

(*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

rewrite307.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

440×	`*-un-lft-identity_binary64`
236×	`cbrt-prod_binary64`
216×	`distribute-lft-out--_binary64`
205×	`times-frac_binary64`
162×	`add-sqr-sqrt_binary64`

Counts

3 → 256

Calls

3 calls:

95.0ms

(*.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

70.0ms

(*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

16.0ms

(cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

simplify780.0ms (4.5%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-def_binary64`
373×	`associate-*r/_binary64`
367×	`associate-/l*_binary64`
98×	`sub-neg_binary64`
67×	`sqr-pow_binary64`

Counts

436 → 397

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2606	37830
1	5106	37830

prune3.6s (20.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	739	0	739
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	739	1	740

Error

0.0b

Counts

740 → 1

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.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 (exp.f64 (*.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)) (cbrt.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) (cbrt.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 100731 to 49548 computations (50.8% saved)

regimes4.4s (25.3%)

Accuracy

Total -0.0b remaining (-1.1%)

Threshold costs -0.0b (-1.1%)

Counts

157 → 1

Compiler

Compiled 77650 to 49138 computations (36.7% saved)

simplify9.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	31	49
1	46	49
2	62	49
3	82	49
4	105	49
5	114	49
6	115	49
7	110	49

end19.0ms (0.1%)

Remove: (sort Ev EAccept)
Compiler: Compiled 123 to 87 computations (29.3% saved)

sample2.9s (16.9%)

Algorithm

1×

intervals

Results

1.9s	7999×	body	128	valid
2.0ms	1×	body	8192	exit
0.0ms	1×	body	256	valid

Compiler

Compiled 152 to 96 computations (36.8% saved)

Details

analyze2.3s (13.1%)

sample55.0ms (0.3%)

simplify92.0ms (0.5%)

prune4.0ms (0%)

localize22.0ms (0.1%)

series180.0ms (1%)

rewrite57.0ms (0.3%)

simplify177.0ms (1%)

prune341.0ms (2%)

localize23.0ms (0.1%)

series2.1s (12.3%)

rewrite307.0ms (1.8%)

simplify780.0ms (4.5%)

prune3.6s (20.6%)

regimes4.4s (25.3%)

simplify9.0ms (0%)

end19.0ms (0.1%)

sample2.9s (16.9%)

Profiling