Details

analyze1.5s (21.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
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)

sample48.0ms (0.7%)

Algorithm

1×

intervals

Results

27.0ms

256×

body

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify96.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	5484	44

prune12.0ms (0.2%)

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.1b

Counts

2 → 1

Compiler

Compiled 58 to 52 computations (10.3% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite61.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

155×	`*-un-lft-identity_binary64`
75×	`times-frac_binary64`
70×	`add-sqr-sqrt_binary64`
54×	`distribute-lft-out--_binary64`
48×	`add-cube-cbrt_binary64`
25×	`exp-prod_binary64`
17×	`associate-/l*_binary64`
16×	`distribute-lft-out_binary64`
11×	`difference-of-squares_binary64`
10×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`add-log-exp_binary64`
4×	`associate-/l/_binary64` `pow1_binary64` `div-inv_binary64`
3×	`cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64`
2×	`flip3--_binary64` `associate-/r/_binary64` `flip--_binary64`
1×	`flip3-+_binary64` `rem-exp-log_binary64` `exp-diff_binary64` `flip-+_binary64`

Counts

4 → 159

Calls

4 calls:

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

series125.0ms (1.7%)

Counts

4 → 12

Calls

4 calls:

62.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))
25.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
21.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
17.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify107.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5547	3646

prune153.0ms (2.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	168	3	171
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	3	172

Merged error: 0.0b

Counts

172 → 3

Compiler

Compiled 6494 to 1895 computations (70.8% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 1 (pow.f64 E.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
0.0b	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
0.0b	(pow.f64 E.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

rewrite50.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

141×	`*-un-lft-identity_binary64`
63×	`times-frac_binary64`
62×	`add-sqr-sqrt_binary64`
54×	`distribute-lft-out--_binary64`
40×	`add-cube-cbrt_binary64`
25×	`pow-unpow_binary64`
14×	`associate-/l*_binary64`
13×	`distribute-lft-out_binary64`
11×	`difference-of-squares_binary64`
9×	`add-exp-log_binary64`
8×	`add-cbrt-cube_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64`
5×	`pow1_binary64`
4×	`associate-/l/_binary64`
3×	`div-sub_binary64` `unpow-prod-down_binary64` `div-inv_binary64`
2×	`flip3--_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-exp_binary64` `flip--_binary64` `pow-exp_binary64`
1×	`pow-to-exp_binary64` `flip3-+_binary64` `pow-pow_binary64` `sqr-pow_binary64` `pow-sub_binary64` `e-exp-1_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 145

Calls

4 calls:

15.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
12.0ms	(pow.f64 E.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
5.0ms	(+.f64 1 (pow.f64 E.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))

series97.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

31.0ms	(+.f64 1 (pow.f64 E.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))
27.0ms	(pow.f64 E.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
21.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)
17.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify121.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4984	3160
1	4984	3160

prune128.0ms (1.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0.0b

Counts

160 → 4

Compiler

Compiled 6010 to 1709 computations (71.6% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite69.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

211×	`*-un-lft-identity_binary64`
159×	`times-frac_binary64`
110×	`add-sqr-sqrt_binary64`
88×	`add-cube-cbrt_binary64`
54×	`distribute-lft-out--_binary64`
25×	`exp-prod_binary64`
24×	`distribute-lft-out_binary64`
22×	`associate-/r*_binary64`
19×	`add-exp-log_binary64`
17×	`associate-/l*_binary64`
13×	`add-cbrt-cube_binary64`
11×	`difference-of-squares_binary64`
9×	`div-exp_binary64`
8×	`div-inv_binary64`
5×	`add-log-exp_binary64` `pow1_binary64` `cbrt-undiv_binary64`
4×	`associate-/l/_binary64`
3×	`div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64`
2×	`flip3--_binary64` `1-exp_binary64` `rec-exp_binary64` `flip--_binary64`
1×	`associate-/r/_binary64` `rem-exp-log_binary64` `exp-diff_binary64` `inv-pow_binary64` `pow-flip_binary64`

Counts

4 → 214

Calls

4 calls:

23.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar))
13.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
12.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
11.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

series142.0ms (2%)

Counts

4 → 12

Calls

4 calls:

83.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))) NdChar))
24.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
19.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
17.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify151.0ms (2.1%)

Algorithm

1×	egg-herbie

Counts

226 → 226

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4974	5845
1	4974	5845

prune206.0ms (2.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Merged error: 0.0b

Counts

230 → 4

Compiler

Compiled 9205 to 2948 computations (68% saved)

localize33.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
0.3b	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
0.3b	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
0.3b	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

rewrite98.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

150×	`cbrt-prod_binary64`
128×	`*-un-lft-identity_binary64`
102×	`times-frac_binary64`
92×	`add-sqr-sqrt_binary64`
68×	`add-cube-cbrt_binary64`
27×	`swap-sqr_binary64` `distribute-lft-out_binary64`
21×	`associate-r_binary64` `associate-l_binary64`
14×	`associate-/r/_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64` `unswap-sqr_binary64`
7×	`cbrt-div_binary64` `flip3-+_binary64` `div-inv_binary64` `flip-+_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `associate-r/_binary64` `pow-plus_binary64` `prod-exp_binary64` `frac-times_binary64` `pow2_binary64` `associate-l/_binary64` `*-commutative_binary64`

Counts

4 → 180

Calls

4 calls:

44.0ms	(*.f64 (cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
15.0ms	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
15.0ms	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
15.0ms	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

series632.0ms (8.8%)

Counts

4 → 12

Calls

4 calls:

246.0ms	(*.f64 (cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))) (cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))))))
130.0ms	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
128.0ms	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))
127.0ms	(cbrt.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)))))

simplify190.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	4968	8973
1	4968	8973

prune318.0ms (4.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	192	4	196

Merged error: 0.0b

Counts

196 → 4

Compiler

Compiled 14353 to 4748 computations (66.9% saved)

regimes721.0ms (10.1%)

Compiler: Compiled 1503 to 1251 computations (16.8% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	226	46
1	226	46

end0.0ms (0%)

sample2.0s (27.7%)

Algorithm

1×

intervals

Results

732.0ms	7999×	body	80	valid
2.0ms	3×	body	5120	exit
0.0ms	1×	body	640	valid

Compiler

Compiled 227 to 186 computations (18.1% saved)

Details

analyze1.5s (21.5%)

sample48.0ms (0.7%)

simplify96.0ms (1.3%)

prune12.0ms (0.2%)

localize22.0ms (0.3%)

rewrite61.0ms (0.9%)

series125.0ms (1.7%)

simplify107.0ms (1.5%)

prune153.0ms (2.1%)

localize24.0ms (0.3%)

rewrite50.0ms (0.7%)

series97.0ms (1.3%)

simplify121.0ms (1.7%)

prune128.0ms (1.8%)

localize23.0ms (0.3%)

rewrite69.0ms (1%)

series142.0ms (2%)

simplify151.0ms (2.1%)

prune206.0ms (2.9%)

localize33.0ms (0.5%)

rewrite98.0ms (1.4%)

series632.0ms (8.8%)

simplify190.0ms (2.7%)

prune318.0ms (4.4%)

regimes721.0ms (10.1%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample2.0s (27.7%)

Profiling