Details

analyze1.5s (12.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 32 to 29 computations (9.4% saved)

sample47.0ms (0.4%)

Algorithm

1×

intervals

Results

22.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify176.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4969	44
1	4969	44

prune8.0ms (0.1%)

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

Compiler

Compiled 58 to 52 computations (10.3% saved)

localize24.0ms (0.2%)

Local error

Found 8 expressions with local error:

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

rewrite67.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

145×	`*-un-lft-identity_binary64_2069`
75×	`times-frac_binary64_2075`
67×	`add-sqr-sqrt_binary64_2091`
51×	`distribute-lft-out--_binary64_2021`
50×	`exp-prod_binary64_2121`
47×	`add-cube-cbrt_binary64_2104`
13×	`distribute-lft-out_binary64_2020`
10×	`difference-of-squares_binary64_2038` `associate-/l*_binary64_2014`
8×	`add-exp-log_binary64_2107` `add-cbrt-cube_binary64_2105`
7×	`associate-/r*_binary64_2013`
6×	`add-log-exp_binary64_2108`
4×	`div-inv_binary64_2066` `pow1_binary64_2130`
3×	`div-sub_binary64_2074`
2×	`rem-exp-log_binary64_2109` `frac-2neg_binary64_2080` `clear-num_binary64_2068` `associate-/l/_binary64_2016` `cbrt-undiv_binary64_2103` `exp-diff_binary64_2117` `div-exp_binary64_2120` `associate-/r/_binary64_2015`
1×	`flip--_binary64_2044` `flip-+_binary64_2043` `flip3--_binary64_2073` `flip3-+_binary64_2072`

Counts

4 → 147

Calls

8 calls:

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

series1.9s (15.3%)

Counts

4 → 114

Calls

4 calls:

934.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
343.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
337.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
270.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 9523 to 7143 computations (25% saved)

simplify107.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

261 → 261

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5712	10378

prune500.0ms (4.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	258	3	261
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	259	3	262

Error

Counts

262 → 3

Compiler

Compiled 12715 to 3959 computations (68.9% saved)

localize24.0ms (0.2%)

Local error

Found 8 expressions with local error:

0.0b	(exp.f64 (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 Vef Ev) EAccept)
0.0b	(-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu)
0.0b	(exp.f64 (/.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 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.3b	(log.f64 (exp.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))

rewrite63.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

130×	`*-un-lft-identity_binary64_2069`
63×	`times-frac_binary64_2075`
60×	`add-sqr-sqrt_binary64_2091`
53×	`exp-prod_binary64_2121`
51×	`distribute-lft-out--_binary64_2021`
40×	`add-cube-cbrt_binary64_2104`
10×	`difference-of-squares_binary64_2038`
9×	`distribute-lft-out_binary64_2020`
7×	`associate-/l*_binary64_2014`
6×	`add-log-exp_binary64_2108` `add-exp-log_binary64_2107` `add-cbrt-cube_binary64_2105`
5×	`pow1_binary64_2130`
4×	`log-pow_binary64_2158`
3×	`div-inv_binary64_2066` `log-prod_binary64_2155` `associate-/r*_binary64_2013` `div-sub_binary64_2074`
2×	`rem-exp-log_binary64_2109` `associate-/l/_binary64_2016` `exp-diff_binary64_2117`
1×	`frac-2neg_binary64_2080` `flip--_binary64_2044` `rem-log-exp_binary64_2110` `clear-num_binary64_2068` `cbrt-undiv_binary64_2103` `flip3--_binary64_2073` `div-exp_binary64_2120`

Counts

4 → 129

Calls

8 calls:

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

series1.8s (14.7%)

Counts

4 → 115

Calls

4 calls:

836.0ms	(log.f64 (exp.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
349.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
348.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
275.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 9016 to 7032 computations (22% saved)

simplify94.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

244 → 244

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5078	8969

prune395.0ms (3.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

Counts

247 → 3

Compiler

Compiled 11983 to 3583 computations (70.1% saved)

localize37.0ms (0.3%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0b	(+.f64 1 (pow.f64 (exp.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (cbrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)))) (.f64 (cbrt.f64 KbT) (cbrt.f64 KbT)))) (/.f64 (cbrt.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor))) (cbrt.f64 KbT))))
0.0b	(+.f64 (+.f64 Vef Ev) EAccept)
0.0b	(-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu)
0.5b	(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
0.6b	(cbrt.f64 KbT)
0.6b	(cbrt.f64 KbT)
0.6b	(cbrt.f64 KbT)

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`cbrt-prod_binary64_2100`
23×	`add-sqr-sqrt_binary64_2091`
15×	`*-un-lft-identity_binary64_2069` `add-cube-cbrt_binary64_2104`
11×	`pow1_binary64_2130`
9×	`pow1/3_binary64_2151`
6×	`add-exp-log_binary64_2107` `swap-sqr_binary64_2036` `associate-l_binary64_2010` `associate-r_binary64_2009`
4×	`add-log-exp_binary64_2108` `add-cbrt-cube_binary64_2105` `unswap-sqr_binary64_2037`
2×	`pow-prod-up_binary64_2139` `pow-sqr_binary64_2042` `pow-prod-down_binary64_2140`
1×	`pow2_binary64_2150` `prod-exp_binary64_2118` `cbrt-unprod_binary64_2102` `*-commutative_binary64_2000` `pow-plus_binary64_2132`

Counts

4 → 73

Calls

8 calls:

6.0ms	(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
1.0ms	(cbrt.f64 KbT)
1.0ms	(cbrt.f64 KbT)
1.0ms	(cbrt.f64 KbT)
0.0ms	(-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu)

series340.0ms (2.8%)

Counts

4 → 12

Calls

4 calls:

95.0ms	(*.f64 (cbrt.f64 KbT) (cbrt.f64 KbT))
85.0ms	(cbrt.f64 KbT)
84.0ms	(cbrt.f64 KbT)
76.0ms	(cbrt.f64 KbT)

Compiler

Compiled 1378 to 862 computations (37.4% saved)

simplify78.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4873	548
1	4873	548

prune134.0ms (1.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	85	3	88

Error

Counts

88 → 3

Compiler

Compiled 4919 to 1055 computations (78.6% saved)

localize23.0ms (0.2%)

Local error

Found 8 expressions with local error:

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

rewrite82.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

201×	`*-un-lft-identity_binary64_2069`
159×	`times-frac_binary64_2075`
107×	`add-sqr-sqrt_binary64_2091`
87×	`add-cube-cbrt_binary64_2104`
51×	`distribute-lft-out--_binary64_2021`
50×	`exp-prod_binary64_2121`
21×	`distribute-lft-out_binary64_2020`
19×	`associate-/r*_binary64_2013`
17×	`add-exp-log_binary64_2107`
11×	`add-cbrt-cube_binary64_2105`
10×	`difference-of-squares_binary64_2038` `associate-/l*_binary64_2014`
8×	`div-inv_binary64_2066` `div-exp_binary64_2120`
6×	`add-log-exp_binary64_2108`
5×	`pow1_binary64_2130`
4×	`cbrt-undiv_binary64_2103`
3×	`div-sub_binary64_2074`
2×	`rem-exp-log_binary64_2109` `frac-2neg_binary64_2080` `clear-num_binary64_2068` `associate-/l/_binary64_2016` `1-exp_binary64_2113` `exp-diff_binary64_2117` `rec-exp_binary64_2119`
1×	`pow-flip_binary64_2143` `flip--_binary64_2044` `flip3--_binary64_2073` `inv-pow_binary64_2154` `associate-/r/_binary64_2015`

Counts

4 → 202

Calls

8 calls:

16.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) NaChar))
16.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
12.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
11.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
0.0ms	(-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu)

series1.9s (15.3%)

Counts

4 → 114

Calls

4 calls:

923.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))) NaChar))
346.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
342.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
267.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

Compiler

Compiled 9773 to 7393 computations (24.4% saved)

simplify122.0ms (1%)

Algorithm

1×	egg-herbie

Counts

316 → 316

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5057	12644

prune595.0ms (4.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

319 → 3

Compiler

Compiled 15503 to 5134 computations (66.9% saved)

regimes574.0ms (4.7%)

Accuracy

Total 0.1b remaining (81.2%)

Threshold costs 0.1b (81.2%)

Compiler

Compiled 7960 to 6908 computations (13.2% saved)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	225	48
1	225	48

end0.0ms (0%)

sample1.7s (14.1%)

Algorithm

1×

intervals

Results

719.0ms	8000×	body	128	valid
1.0ms	1×	body	8192	exit

Compiler

Compiled 851 to 735 computations (13.6% saved)

Pareto

Details

analyze1.5s (12.1%)

sample47.0ms (0.4%)

simplify176.0ms (1.4%)

prune8.0ms (0.1%)

localize24.0ms (0.2%)

rewrite67.0ms (0.5%)

series1.9s (15.3%)

simplify107.0ms (0.9%)

prune500.0ms (4.1%)

localize24.0ms (0.2%)

rewrite63.0ms (0.5%)

series1.8s (14.7%)

simplify94.0ms (0.8%)

prune395.0ms (3.2%)

localize37.0ms (0.3%)

rewrite21.0ms (0.2%)

series340.0ms (2.8%)

simplify78.0ms (0.6%)

prune134.0ms (1.1%)

localize23.0ms (0.2%)

rewrite82.0ms (0.7%)

series1.9s (15.3%)

simplify122.0ms (1%)

prune595.0ms (4.8%)

regimes574.0ms (4.7%)

bsearch0.0ms (0%)

simplify9.0ms (0.1%)

end0.0ms (0%)

sample1.7s (14.1%)

Profiling