Details

analyze1.9s (13.7%)

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)

sample53.0ms (0.4%)

Algorithm

1×

intervals

Results

22.0ms	256×	body	128	valid
1.0ms	1×	body	8192	exit

Compiler

Compiled 90 to 66 computations (26.7% saved)

simplify86.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

740×	`div-sub_binary64`
565×	`exp-sum_binary64`
535×	`sub-neg_binary64`
498×	`exp-diff_binary64`
496×	`exp-prod_binary64`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	28	46
1	57	46
2	157	44
3	416	44
4	929	44
5	1872	44
6	3261	44
7	4918	44
8	5000	44
9	4969	44

prune5.0ms (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

Error

0.0b

Counts

2 → 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 114 to 78 computations (31.6% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite241.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

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

Calls

4 calls:

15.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
13.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
11.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 4903 to 1348 computations (72.5% saved)

series696.0ms (5.1%)

Error

0.0b

Counts

4 → 109

Calls

4 calls:

310.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
134.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
78.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
77.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

Compiler

Compiled 12861 to 7744 computations (39.8% saved)

simplify162.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

438×	`times-frac_binary64`
329×	`associate-+l+_binary64`
310×	`associate-/l*_binary64`
260×	`associate-/r*_binary64`
164×	`associate-r_binary64`

Counts

268 → 208

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	628	7903
1	1633	7542
2	5386	7542

prune208.0ms (1.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	205	3	208
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	206	3	209

Error

Counts

209 → 3

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

Compiler

Compiled 6773 to 2146 computations (68.3% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
0.6b	(cbrt.f64 KbT)
0.6b	(cbrt.f64 KbT)
0.6b	(cbrt.f64 KbT)

rewrite138.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`

Counts

4 → 73

Calls

4 calls:

9.0ms	(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
1.0ms	(cbrt.f64 KbT)
1.0ms	(cbrt.f64 KbT)
1.0ms	(cbrt.f64 KbT)

Compiler

Compiled 2788 to 836 computations (70% saved)

series90.0ms (0.7%)

Error

Counts

4 → 12

Calls

4 calls:

20.0ms	(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
19.0ms	(cbrt.f64 KbT)
19.0ms	(cbrt.f64 KbT)
18.0ms	(cbrt.f64 KbT)

Compiler

Compiled 1461 to 932 computations (36.2% saved)

simplify95.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

735×	`log-prod_binary64`
577×	`distribute-rgt-in_binary64`
538×	`distribute-lft-in_binary64`
525×	`unswap-sqr_binary64`
287×	`associate-l_binary64`

Counts

85 → 64

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	54	624
1	94	576
2	292	556
3	763	542
4	1759	418
5	4280	418
6	4543	418
7	4810	418

prune54.0ms (0.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

67 → 3

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

Compiler

Compiled 1435 to 585 computations (59.2% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))
0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.0b	(exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))
0.1b	(log.f64 (exp.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))

rewrite191.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

92×	`*-un-lft-identity_binary64`
39×	`times-frac_binary64`
37×	`add-sqr-sqrt_binary64`
30×	`distribute-lft-out--_binary64`
29×	`add-cube-cbrt_binary64`

Counts

4 → 103

Calls

4 calls:

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

Compiler

Compiled 3287 to 887 computations (73% saved)

series767.0ms (5.6%)

Error

Counts

4 → 109

Calls

4 calls:

225.0ms	(log.f64 (exp.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))))
192.0ms	(exp.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)))
136.0ms	(exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT))
85.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 15341 to 9113 computations (40.6% saved)

simplify219.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

462×	`associate-/r*_binary64`
461×	`associate-/l*_binary64`
369×	`associate-r_binary64`
192×	`+-commutative_binary64`
178×	`*-commutative_binary64`

Counts

212 → 167

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	693	8671
1	1891	8376
2	4939	8358
3	4994	8358

prune197.0ms (1.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	167	3	170

Error

Counts

170 → 3

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

Compiler

Compiled 6899 to 2180 computations (68.4% saved)

localize32.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1))) (cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1))))
0.3b	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))
0.3b	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))
0.3b	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))

rewrite632.0ms (4.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

150×	`cbrt-prod_binary64`
128×	`*-un-lft-identity_binary64`
102×	`times-frac_binary64`
92×	`add-sqr-sqrt_binary64`
68×	`add-cube-cbrt_binary64`

Counts

4 → 180

Calls

4 calls:

51.0ms	(*.f64 (cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1))) (cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1))))
16.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))
15.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))
15.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))

Compiler

Compiled 12360 to 3852 computations (68.8% saved)

series3.8s (27.6%)

Error

Counts

4 → 101

Calls

4 calls:

1.9s	(*.f64 (cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1))) (cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1))))
559.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))
556.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))
555.0ms	(cbrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (+.f64 Vef (-.f64 (+.f64 EAccept Ev) mu)) KbT)) 1)))

Compiler

Compiled 39080 to 22246 computations (43.1% saved)

simplify298.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

478×	`associate-l_binary64`
403×	`associate-*r/_binary64`
317×	`times-frac_binary64`
303×	`associate-/l*_binary64`
247×	`associate-*l/_binary64`

Counts

281 → 268

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	633	18734
1	1711	16908
2	5360	16908

prune353.0ms (2.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

271 → 3

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

Compiler

Compiled 16494 to 5520 computations (66.5% saved)

regimes2.1s (15.4%)

Accuracy

Total 0.0b remaining (20.2%)

Threshold costs 0.0b (20.2%)

Compiler

Compiled 54950 to 36258 computations (34% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`+-commutative_binary64`
11×	`sub-neg_binary64`
10×	`cancel-sign-sub-inv_binary64` `distribute-neg-in_binary64`
8×	`neg-mul-1_binary64` `neg-sub0_binary64`
7×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	86
1	48	86
2	64	86
3	84	86
4	107	86
5	116	86
6	117	86
7	113	86

end8.0ms (0.1%)

Remove: (sort Ev EAccept)
Compiler: Compiled 192 to 96 computations (50% saved)

sample1.3s (9.6%)

Algorithm

1×

intervals

Results

698.0ms	7998×	body	128	valid
1.0ms	1×	body	8192	exit
0.0ms	1×	body	1024	valid
0.0ms	1×	body	512	valid

Compiler

Compiled 270 to 164 computations (39.3% saved)

Details

analyze1.9s (13.7%)

sample53.0ms (0.4%)

simplify86.0ms (0.6%)

prune5.0ms (0%)

localize22.0ms (0.2%)

rewrite241.0ms (1.8%)

series696.0ms (5.1%)

simplify162.0ms (1.2%)

prune208.0ms (1.5%)

localize26.0ms (0.2%)

rewrite138.0ms (1%)

series90.0ms (0.7%)

simplify95.0ms (0.7%)

prune54.0ms (0.4%)

localize25.0ms (0.2%)

rewrite191.0ms (1.4%)

series767.0ms (5.6%)

simplify219.0ms (1.6%)

prune197.0ms (1.4%)

localize32.0ms (0.2%)

rewrite632.0ms (4.6%)

series3.8s (27.6%)

simplify298.0ms (2.2%)

prune353.0ms (2.6%)

regimes2.1s (15.4%)

simplify6.0ms (0%)

end8.0ms (0.1%)

sample1.3s (9.6%)

Profiling