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)

sample39.0ms (0.3%)

Algorithm

1×

intervals

Results

22.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify226.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5027	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

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 58 to 52 computations (10.3% saved)

localize21.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 NdChar (+.f64 1 (exp.f64 (/.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)

rewrite80.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

124×	`*-un-lft-identity_binary64_1425`
66×	`times-frac_binary64_1431`
59×	`add-sqr-sqrt_binary64_1446`
45×	`add-cube-cbrt_binary64_1457`
30×	`distribute-lft-out--_binary64_1379`
25×	`exp-prod_binary64_1474`
20×	`distribute-lft-out_binary64_1378`
13×	`associate-/l*_binary64_1372`
11×	`associate-/r*_binary64_1371`
10×	`add-cbrt-cube_binary64_1458` `add-exp-log_binary64_1460`
7×	`difference-of-squares_binary64_1394`
5×	`add-log-exp_binary64_1461`
4×	`div-inv_binary64_1422` `associate-/r/_binary64_1373` `pow1_binary64_1483`
3×	`frac-2neg_binary64_1436` `clear-num_binary64_1424` `div-exp_binary64_1473` `cbrt-undiv_binary64_1456`
2×	`flip3-+_binary64_1428` `div-sub_binary64_1430` `flip-+_binary64_1399` `associate-/l/_binary64_1374`
1×	`flip--_binary64_1400` `exp-diff_binary64_1470` `rem-exp-log_binary64_1462` `flip3--_binary64_1429`

Counts

4 → 146

Calls

4 calls:

19.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
15.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
14.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
12.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series1.2s (9.9%)

Counts

4 → 12

Calls

4 calls:

482.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))))
464.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
145.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
109.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify78.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4920	3757
1	4920	3757

prune210.0ms (1.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	155	3	158
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	155	4	159

Merged error: 0.0b

Counts

159 → 4

Compiler

Compiled 6131 to 1794 computations (70.7% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite94.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

180×	`*-un-lft-identity_binary64_1425`
150×	`times-frac_binary64_1431`
99×	`add-sqr-sqrt_binary64_1446`
85×	`add-cube-cbrt_binary64_1457`
30×	`distribute-lft-out--_binary64_1379`
28×	`distribute-lft-out_binary64_1378`
25×	`exp-prod_binary64_1474`
22×	`associate-/r*_binary64_1371`
19×	`add-exp-log_binary64_1460`
14×	`associate-/l*_binary64_1372`
13×	`add-cbrt-cube_binary64_1458`
9×	`div-exp_binary64_1473`
8×	`div-inv_binary64_1422`
7×	`difference-of-squares_binary64_1394`
5×	`pow1_binary64_1483` `cbrt-undiv_binary64_1456` `add-log-exp_binary64_1461`
4×	`associate-/l/_binary64_1374`
3×	`frac-2neg_binary64_1436` `clear-num_binary64_1424`
2×	`div-sub_binary64_1430` `1-exp_binary64_1466` `rec-exp_binary64_1472`
1×	`flip--_binary64_1400` `pow-flip_binary64_1496` `inv-pow_binary64_1507` `flip3-+_binary64_1428` `exp-diff_binary64_1470` `associate-/r/_binary64_1373` `flip-+_binary64_1399` `rem-exp-log_binary64_1462` `flip3--_binary64_1429`

Counts

4 → 201

Calls

4 calls:

19.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar))
16.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
16.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar)
12.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series1.2s (9.7%)

Counts

4 → 12

Calls

4 calls:

549.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar))
373.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar)
144.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
108.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify112.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5305	5873

prune307.0ms (2.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	212	1	213
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	213	4	217

Merged error: 0b

Counts

217 → 4

Compiler

Compiled 8790 to 2843 computations (67.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite85.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

119×	`*-un-lft-identity_binary64_1425`
66×	`times-frac_binary64_1431`
58×	`add-sqr-sqrt_binary64_1446`
44×	`add-cube-cbrt_binary64_1457`
36×	`log-prod_binary64_1508`
30×	`distribute-lft-out--_binary64_1379`
29×	`exp-prod_binary64_1474`
18×	`distribute-lft-out_binary64_1378` `exp-sum_binary64_1468`
9×	`add-exp-log_binary64_1460`
7×	`difference-of-squares_binary64_1394` `associate-/l*_binary64_1372`
6×	`add-cbrt-cube_binary64_1458` `pow1_binary64_1483`
5×	`add-log-exp_binary64_1461`
4×	`div-inv_binary64_1422` `associate-/r/_binary64_1373`
3×	`associate-/r*_binary64_1371`
2×	`flip3-+_binary64_1428` `div-sub_binary64_1430` `exp-diff_binary64_1470` `flip-+_binary64_1399` `log-pow_binary64_1511` `log-div_binary64_1509` `div-exp_binary64_1473` `rem-exp-log_binary64_1462` `associate-/l/_binary64_1374` `rem-log-exp_binary64_1463`
1×	`flip--_binary64_1400` `frac-2neg_binary64_1436` `clear-num_binary64_1424` `flip3--_binary64_1429` `cbrt-undiv_binary64_1456`

Counts

4 → 140

Calls

4 calls:

22.0ms	(exp.f64 (log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
15.0ms	(log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
14.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
13.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series1.7s (13.7%)

Counts

4 → 12

Calls

4 calls:

793.0ms	(exp.f64 (log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
615.0ms	(log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
147.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
106.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify102.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4967	3764
1	4967	3764

prune203.0ms (1.7%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	152	4	156

Merged error: 0b

Counts

156 → 4

Compiler

Compiled 6105 to 2006 computations (67.1% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.1b	(*.f64 (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))) (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))))
1.0b	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1)))
1.0b	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1)))

rewrite152.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

162×	`*-un-lft-identity_binary64_1425`
134×	`sqrt-prod_binary64_1440`
114×	`add-sqr-sqrt_binary64_1446`
113×	`times-frac_binary64_1431`
72×	`add-cube-cbrt_binary64_1457`
36×	`distribute-lft-out_binary64_1378`
29×	`swap-sqr_binary64_1392`
21×	`associate-l_binary64_1368` `associate-r_binary64_1367` `pow1_binary64_1483`
12×	`distribute-lft-out--_binary64_1379` `associate-/r/_binary64_1373`
10×	`pow1/2_binary64_1502` `sqrt-pow1_binary64_1442`
9×	`unswap-sqr_binary64_1393`
8×	`add-cbrt-cube_binary64_1458` `add-exp-log_binary64_1460`
7×	`div-inv_binary64_1422` `associate-/l*_binary64_1372`
6×	`flip3-+_binary64_1428` `sqrt-div_binary64_1441` `flip-+_binary64_1399`
5×	`pow-prod-up_binary64_1492`
4×	`difference-of-squares_binary64_1394` `rem-sqrt-square_binary64_1438` `add-log-exp_binary64_1461`
3×	`associate-/r*_binary64_1371` `pow-sqr_binary64_1398` `pow-prod-down_binary64_1493`
2×	`associate-/l/_binary64_1374`
1×	`flip--_binary64_1400` `frac-2neg_binary64_1436` `prod-exp_binary64_1471` `pow-plus_binary64_1485` `cbrt-unprod_binary64_1455` `clear-num_binary64_1424` `associate-r/_binary64_1369` `div-sub_binary64_1430` `rem-square-sqrt_binary64_1437` `pow2_binary64_1503` `sqrt-unprod_binary64_1444` `div-exp_binary64_1473` `associate-l/_binary64_1370` `flip3--_binary64_1429` `cbrt-undiv_binary64_1456` `*-commutative_binary64_1358` `frac-times_binary64_1435`

Counts

4 → 214

Calls

4 calls:

50.0ms	(*.f64 (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))) (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))))
22.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1)))
19.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1)))
13.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

series2.3s (18.9%)

Counts

4 → 12

Calls

4 calls:

741.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1)))
728.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1)))
723.0ms	(*.f64 (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))) (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 1))))
105.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify123.0ms (1%)

Algorithm

1×	egg-herbie

Counts

226 → 226

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4951	7128
1	4951	7128

prune382.0ms (3.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	226	0	226
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	226	4	230

Merged error: 0b

Counts

230 → 4

Compiler

Compiled 11596 to 3586 computations (69.1% saved)

regimes442.0ms (3.6%)

Compiler: Compiled 5830 to 4858 computations (16.7% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	179	44
1	179	44

end0.0ms (0%)

sample1.6s (13.3%)

Algorithm

1×

intervals

Results

755.0ms	8000×	body	128	valid
4.0ms	5×	body	8192	exit

Compiler

Compiled 636 to 528 computations (17% saved)

Details

analyze1.5s (12.1%)

sample39.0ms (0.3%)

simplify226.0ms (1.9%)

prune5.0ms (0%)

localize21.0ms (0.2%)

rewrite80.0ms (0.7%)

series1.2s (9.9%)

simplify78.0ms (0.6%)

prune210.0ms (1.7%)

localize23.0ms (0.2%)

rewrite94.0ms (0.8%)

series1.2s (9.7%)

simplify112.0ms (0.9%)

prune307.0ms (2.5%)

localize24.0ms (0.2%)

rewrite85.0ms (0.7%)

series1.7s (13.7%)

simplify102.0ms (0.8%)

prune203.0ms (1.7%)

localize24.0ms (0.2%)

rewrite152.0ms (1.2%)

series2.3s (18.9%)

simplify123.0ms (1%)

prune382.0ms (3.1%)

regimes442.0ms (3.6%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample1.6s (13.3%)

Profiling