Details

analyze1.5s (20.6%)

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)

sample40.0ms (0.5%)

Algorithm

1×

intervals

Results

22.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify178.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	4969	44
1	4969	44

prune5.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)

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

rewrite72.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

176×	`*-un-lft-identity_binary64_2465`
84×	`times-frac_binary64_2471`
78×	`add-sqr-sqrt_binary64_2487`
63×	`distribute-lft-out--_binary64_2417`
50×	`add-cube-cbrt_binary64_2500` `exp-prod_binary64_2517`
21×	`distribute-lft-out_binary64_2416`
14×	`difference-of-squares_binary64_2434` `associate-/l*_binary64_2410`
8×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
6×	`add-log-exp_binary64_2504` `associate-/r*_binary64_2409`
4×	`associate-/l/_binary64_2412` `div-sub_binary64_2470` `div-inv_binary64_2462` `pow1_binary64_2526`
2×	`flip--_binary64_2440` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516` `frac-2neg_binary64_2476` `rem-exp-log_binary64_2505` `flip3--_binary64_2469` `exp-diff_binary64_2513`

Counts

4 → 160

Calls

4 calls:

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

series264.0ms (3.5%)

Counts

4 → 12

Calls

4 calls:

78.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
76.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
57.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
53.0ms	(/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT)

simplify77.0ms (1%)

Algorithm

1×	egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5821	3140

prune212.0ms (2.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	168	4	172
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	4	173

Error

Counts

173 → 4

Compiler

Compiled 6472 to 1864 computations (71.2% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite73.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

166×	`*-un-lft-identity_binary64_2465`
84×	`times-frac_binary64_2471`
75×	`add-sqr-sqrt_binary64_2487` `exp-prod_binary64_2517`
49×	`add-cube-cbrt_binary64_2500`
48×	`distribute-lft-out--_binary64_2417`
30×	`distribute-lft-out_binary64_2416`
13×	`difference-of-squares_binary64_2434`
7×	`add-log-exp_binary64_2504` `associate-/l*_binary64_2410`
6×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
4×	`div-sub_binary64_2470` `div-inv_binary64_2462` `pow1_binary64_2526`
3×	`associate-/r*_binary64_2409` `rem-exp-log_binary64_2505` `exp-diff_binary64_2513`
2×	`associate-/l/_binary64_2412`
1×	`flip--_binary64_2440` `clear-num_binary64_2464` `cbrt-undiv_binary64_2499` `div-exp_binary64_2516` `frac-2neg_binary64_2476` `flip3--_binary64_2469`

Counts

4 → 148

Calls

4 calls:

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

series274.0ms (3.7%)

Counts

4 → 12

Calls

4 calls:

76.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
73.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
69.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
56.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify98.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4957	2733
1	4957	2733

prune221.0ms (3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	160	0	160
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	160	4	164

Error

Counts

164 → 4

Compiler

Compiled 8117 to 1865 computations (77% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
0.0b	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
0.1b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.2b	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3))

rewrite69.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

131×	`*-un-lft-identity_binary64_2465`
63×	`times-frac_binary64_2471`
61×	`add-sqr-sqrt_binary64_2487`
50×	`exp-prod_binary64_2517`
41×	`add-cube-cbrt_binary64_2500`
39×	`distribute-lft-out--_binary64_2417`
21×	`distribute-lft-out_binary64_2416`
12×	`cbrt-prod_binary64_2496`
10×	`difference-of-squares_binary64_2434`
7×	`associate-/l*_binary64_2410`
6×	`add-log-exp_binary64_2504` `add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501`
4×	`div-sub_binary64_2470` `pow1_binary64_2526`
3×	`associate-/r*_binary64_2409` `cube-prod_binary64_2493` `unpow-prod-down_binary64_2544` `div-inv_binary64_2462` `exp-diff_binary64_2513`
2×	`associate-/l/_binary64_2412` `rem-exp-log_binary64_2505`
1×	`unpow3_binary64_2531` `flip--_binary64_2440` `clear-num_binary64_2464` `cbrt-div_binary64_2497` `cbrt-undiv_binary64_2499` `cube-mult_binary64_2495` `pow1/3_binary64_2547` `div-exp_binary64_2516` `sqr-pow_binary64_2437` `frac-2neg_binary64_2476` `rem-cbrt-cube_binary64_2489` `cube-div_binary64_2494` `flip3--_binary64_2469`

Counts

4 → 136

Calls

4 calls:

14.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3))
13.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
13.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)
12.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))

series270.0ms (3.6%)

Counts

4 → 12

Calls

4 calls:

77.0ms	(cbrt.f64 (pow.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)) 3))
70.0ms	(exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT))
69.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
54.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT)

simplify85.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4931	2716
1	4931	2716

prune195.0ms (2.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Error

Counts

152 → 4

Compiler

Compiled 5904 to 1938 computations (67.2% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)))
0.1b	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))
0.2b	(pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)
23.9b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3))

rewrite101.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

274×	`*-un-lft-identity_binary64_2465`
147×	`times-frac_binary64_2471`
127×	`add-sqr-sqrt_binary64_2487`
112×	`cbrt-prod_binary64_2496`
85×	`add-cube-cbrt_binary64_2500`
84×	`exp-prod_binary64_2517`
75×	`cube-prod_binary64_2493` `unpow-prod-down_binary64_2544`
72×	`distribute-lft-out--_binary64_2417`
54×	`distribute-lft-out_binary64_2416`
21×	`difference-of-squares_binary64_2434`
7×	`add-exp-log_binary64_2503` `add-cbrt-cube_binary64_2501` `div-inv_binary64_2462`
6×	`add-log-exp_binary64_2504`
5×	`pow1_binary64_2526`
3×	`unpow3_binary64_2531` `cube-mult_binary64_2495` `sqr-pow_binary64_2437` `pow-unpow_binary64_2542`
2×	`rem-cube-cbrt_binary64_2488` `pow-exp_binary64_2533` `rem-exp-log_binary64_2505` `cube-div_binary64_2494`
1×	`cbrt-div_binary64_2497` `cbrt-undiv_binary64_2499` `div-sub_binary64_2470` `pow-to-exp_binary64_2534` `pow1/3_binary64_2547` `div-exp_binary64_2516` `pow-pow_binary64_2537` `rem-cbrt-cube_binary64_2489` `exp-diff_binary64_2513`

Counts

4 → 237

Calls

4 calls:

20.0ms	(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)))
18.0ms	(pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)
15.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3))
12.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

series1.2s (16.4%)

Counts

4 → 12

Calls

4 calls:

981.0ms	(pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)
92.0ms	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3))
76.0ms	(exp.f64 (cbrt.f64 (pow.f64 (/.f64 (-.f64 (+.f64 (+.f64 Vef Ev) EAccept) mu) KbT) 3)))
72.0ms	(exp.f64 (/.f64 (-.f64 mu (-.f64 (-.f64 Ec Vef) EDonor)) KbT))

simplify107.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

249 → 249

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5054	5026

prune392.0ms (5.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	249	0	249
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	249	4	253

Error

Counts

253 → 4

Compiler

Compiled 9849 to 3278 computations (66.7% saved)

regimes325.0ms (4.4%)

Accuracy

Total 0.0b remaining (9.5%)

Threshold costs 0.0b (9.5%)

Compiler

Compiled 3970 to 3648 computations (8.1% saved)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	225	65
1	225	65

end0.0ms (0%)

sample1.5s (20.7%)

Algorithm

1×

intervals

Results

739.0ms	7999×	body	128	valid
5.0ms	1×	body	8192	exit
0.0ms	1×	body	1024	valid

Compiler

Compiled 463 to 409 computations (11.7% saved)

Details

analyze1.5s (20.6%)

sample40.0ms (0.5%)

simplify178.0ms (2.4%)

prune5.0ms (0.1%)

localize21.0ms (0.3%)

rewrite72.0ms (1%)

series264.0ms (3.5%)

simplify77.0ms (1%)

prune212.0ms (2.8%)

localize24.0ms (0.3%)

rewrite73.0ms (1%)

series274.0ms (3.7%)

simplify98.0ms (1.3%)

prune221.0ms (3%)

localize24.0ms (0.3%)

rewrite69.0ms (0.9%)

series270.0ms (3.6%)

simplify85.0ms (1.1%)

prune195.0ms (2.6%)

localize24.0ms (0.3%)

rewrite101.0ms (1.4%)

series1.2s (16.4%)

simplify107.0ms (1.4%)

prune392.0ms (5.3%)

regimes325.0ms (4.4%)

bsearch0.0ms (0%)

simplify10.0ms (0.1%)

end0.0ms (0%)

sample1.5s (20.7%)

Profiling