Details

analyze1.6s (12.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)

sample44.0ms (0.4%)

Algorithm

1×

intervals

Results

27.0ms

256×

body

128

valid

Compiler

Compiled 63 to 66 computations (-4.8% saved)

simplify232.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5029	44

prune8.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.0b

Counts

2 → 1

Compiler

Compiled 120 to 108 computations (10% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite115.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

206×	`*-un-lft-identity_binary64_2487`
105×	`times-frac_binary64_2493`
76×	`add-sqr-sqrt_binary64_2509`
64×	`add-cube-cbrt_binary64_2522`
58×	`exp-prod_binary64_2539`
56×	`distribute-lft-out_binary64_2438`
36×	`distribute-lft-out--_binary64_2439`
33×	`distribute-rgt-neg-in_binary64_2445`
21×	`distribute-lft-neg-in_binary64_2444`
15×	`associate-/l*_binary64_2432`
11×	`associate-/r*_binary64_2431`
10×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523`
6×	`difference-of-squares_binary64_2456`
5×	`add-log-exp_binary64_2526`
4×	`associate-/r/_binary64_2433` `div-inv_binary64_2484` `pow1_binary64_2548`
3×	`frac-2neg_binary64_2498` `flip-+_binary64_2461` `clear-num_binary64_2486` `div-sub_binary64_2492` `flip3-+_binary64_2490` `div-exp_binary64_2538` `neg-mul-1_binary64_2483` `cbrt-undiv_binary64_2521`
2×	`associate-/l/_binary64_2434` `neg-sub0_binary64_2482`
1×	`rem-exp-log_binary64_2527` `exp-diff_binary64_2535` `unsub-neg_binary64_2481` `exp-neg_binary64_2534` `distribute-frac-neg_binary64_2450` `associate-+r-_binary64_2421`

Counts

4 → 189

Calls

4 calls:

26.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))))
21.0ms	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
20.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
17.0ms	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)

series1.2s (10.1%)

Counts

4 → 12

Calls

4 calls:

510.0ms	(/.f64 NaChar (+.f64 1 (exp.f64 (/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT))))
470.0ms	(/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))
161.0ms	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
107.0ms	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)

simplify90.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4919	4537
1	4919	4537

prune355.0ms (2.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	198	3	201
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	198	4	202

Merged error: 0.0b

Counts

202 → 4

Compiler

Compiled 9763 to 3654 computations (62.6% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite132.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

262×	`*-un-lft-identity_binary64_2487`
189×	`times-frac_binary64_2493`
116×	`add-sqr-sqrt_binary64_2509`
104×	`add-cube-cbrt_binary64_2522`
64×	`distribute-lft-out_binary64_2438`
58×	`exp-prod_binary64_2539`
36×	`distribute-lft-out--_binary64_2439`
33×	`distribute-rgt-neg-in_binary64_2445`
22×	`associate-/r*_binary64_2431`
21×	`distribute-lft-neg-in_binary64_2444`
19×	`add-exp-log_binary64_2525`
16×	`associate-/l*_binary64_2432`
13×	`add-cbrt-cube_binary64_2523`
9×	`div-exp_binary64_2538`
8×	`div-inv_binary64_2484`
6×	`difference-of-squares_binary64_2456`
5×	`pow1_binary64_2548` `add-log-exp_binary64_2526` `cbrt-undiv_binary64_2521`
4×	`associate-/l/_binary64_2434`
3×	`frac-2neg_binary64_2498` `clear-num_binary64_2486` `div-sub_binary64_2492` `neg-mul-1_binary64_2483`
2×	`flip-+_binary64_2461` `flip3-+_binary64_2490` `rec-exp_binary64_2537` `neg-sub0_binary64_2482` `1-exp_binary64_2531`
1×	`associate-/r/_binary64_2433` `rem-exp-log_binary64_2527` `exp-diff_binary64_2535` `pow-flip_binary64_2561` `unsub-neg_binary64_2481` `exp-neg_binary64_2534` `inv-pow_binary64_2572` `distribute-frac-neg_binary64_2450` `associate-+r-_binary64_2421`

Counts

4 → 244

Calls

4 calls:

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

series1.2s (9.7%)

Counts

4 → 12

Calls

4 calls:

556.0ms	(/.f64 1 (/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) NdChar))
378.0ms	(/.f64 (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))) NdChar)
136.0ms	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
121.0ms	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)

simplify110.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

256 → 256

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5480	6901

prune409.0ms (3.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	255	1	256
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	256	4	260

Merged error: 0b

Counts

260 → 4

Compiler

Compiled 11445 to 3733 computations (67.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
0.0b	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)
0.5b	(log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))))
1.8b	(exp.f64 (log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))))

rewrite118.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

201×	`*-un-lft-identity_binary64_2487`
105×	`times-frac_binary64_2493`
75×	`add-sqr-sqrt_binary64_2509`
63×	`add-cube-cbrt_binary64_2522`
62×	`exp-prod_binary64_2539`
54×	`distribute-lft-out_binary64_2438`
36×	`distribute-lft-out--_binary64_2439` `log-prod_binary64_2573`
33×	`distribute-rgt-neg-in_binary64_2445`
21×	`distribute-lft-neg-in_binary64_2444`
18×	`exp-sum_binary64_2533`
9×	`add-exp-log_binary64_2525` `associate-/l*_binary64_2432`
6×	`difference-of-squares_binary64_2456` `add-cbrt-cube_binary64_2523` `pow1_binary64_2548`
5×	`add-log-exp_binary64_2526`
4×	`associate-/r/_binary64_2433` `div-inv_binary64_2484`
3×	`associate-/r*_binary64_2431` `flip-+_binary64_2461` `div-sub_binary64_2492` `flip3-+_binary64_2490` `neg-mul-1_binary64_2483`
2×	`rem-exp-log_binary64_2527` `exp-diff_binary64_2535` `rem-log-exp_binary64_2528` `div-exp_binary64_2538` `log-div_binary64_2574` `associate-/l/_binary64_2434` `neg-sub0_binary64_2482` `log-pow_binary64_2576`
1×	`frac-2neg_binary64_2498` `clear-num_binary64_2486` `unsub-neg_binary64_2481` `exp-neg_binary64_2534` `distribute-frac-neg_binary64_2450` `associate-+r-_binary64_2421` `cbrt-undiv_binary64_2521`

Counts

4 → 183

Calls

4 calls:

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

series1.7s (13.4%)

Counts

4 → 12

Calls

4 calls:

802.0ms	(exp.f64 (log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))))))
609.0ms	(log.f64 (/.f64 NdChar (+.f64 1 (exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT)))))
129.0ms	(exp.f64 (/.f64 (neg.f64 (-.f64 (-.f64 (-.f64 Ec Vef) EDonor) mu)) KbT))
111.0ms	(/.f64 (+.f64 (+.f64 (+.f64 Ev Vef) EAccept) (neg.f64 mu)) KbT)

simplify75.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4930	4769
1	4930	4769

prune301.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	195	4	199

Merged error: 0b

Counts

199 → 4

Compiler

Compiled 8461 to 2740 computations (67.6% saved)

localize28.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite165.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

162×	`*-un-lft-identity_binary64_2487`
134×	`sqrt-prod_binary64_2503`
120×	`add-sqr-sqrt_binary64_2509`
115×	`times-frac_binary64_2493`
72×	`add-cube-cbrt_binary64_2522`
36×	`distribute-lft-out_binary64_2438`
29×	`swap-sqr_binary64_2454`
21×	`pow1_binary64_2548` `associate-l_binary64_2428` `associate-r_binary64_2427`
12×	`associate-/r/_binary64_2433` `distribute-lft-out--_binary64_2439`
10×	`sqrt-pow1_binary64_2505` `pow1/2_binary64_2567`
9×	`unswap-sqr_binary64_2455`
8×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523` `rem-sqrt-square_binary64_2500`
7×	`associate-/l*_binary64_2432` `div-inv_binary64_2484`
6×	`flip-+_binary64_2461` `flip3-+_binary64_2490` `sqrt-div_binary64_2504`
5×	`pow-prod-up_binary64_2557`
4×	`difference-of-squares_binary64_2456` `add-log-exp_binary64_2526`
3×	`associate-/r*_binary64_2431` `pow-sqr_binary64_2460` `pow-prod-down_binary64_2558`
2×	`sqr-abs_binary64_2502` `associate-/l/_binary64_2434`
1×	`flip--_binary64_2462` `associate-l/_binary64_2430` `-commutative_binary64_2418` `prod-exp_binary64_2536` `frac-2neg_binary64_2498` `frac-times_binary64_2497` `pow-plus_binary64_2550` `rem-square-sqrt_binary64_2499` `clear-num_binary64_2486` `div-sub_binary64_2492` `pow2_binary64_2568` `cbrt-unprod_binary64_2520` `div-exp_binary64_2538` `associate-*r/_binary64_2429` `flip3--_binary64_2491` `sqrt-unprod_binary64_2507` `cbrt-undiv_binary64_2521`

Counts

4 → 216

Calls

4 calls:

64.0ms	(*.f64 (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1))) (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1))))
22.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1)))
20.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1)))
14.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)

series2.3s (19%)

Counts

4 → 12

Calls

4 calls:

755.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1)))
747.0ms	(sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1)))
725.0ms	(*.f64 (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1))) (sqrt.f64 (/.f64 NaChar (+.f64 (exp.f64 (/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)) 1))))
114.0ms	(/.f64 (-.f64 (+.f64 (+.f64 Ev Vef) EAccept) mu) KbT)

simplify115.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5747	7190

prune415.0ms (3.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	228	0	228
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	228	4	232

Merged error: 0b

Counts

232 → 4

Compiler

Compiled 12155 to 3777 computations (68.9% saved)

regimes183.0ms (1.5%)

Compiler: Compiled 1720 to 1508 computations (12.3% saved)

bsearch0.0ms (0%)

simplify6.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.3s (10.8%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 225 to 193 computations (14.2% saved)

Details

analyze1.6s (12.6%)

sample44.0ms (0.4%)

simplify232.0ms (1.9%)

prune8.0ms (0.1%)

localize26.0ms (0.2%)

rewrite115.0ms (0.9%)

series1.2s (10.1%)

simplify90.0ms (0.7%)

prune355.0ms (2.9%)

localize29.0ms (0.2%)

rewrite132.0ms (1.1%)

series1.2s (9.7%)

simplify110.0ms (0.9%)

prune409.0ms (3.3%)

localize25.0ms (0.2%)

rewrite118.0ms (1%)

series1.7s (13.4%)

simplify75.0ms (0.6%)

prune301.0ms (2.4%)

localize28.0ms (0.2%)

rewrite165.0ms (1.3%)

series2.3s (19%)

simplify115.0ms (0.9%)

prune415.0ms (3.4%)

regimes183.0ms (1.5%)

bsearch0.0ms (0%)

simplify6.0ms (0%)

end0.0ms (0%)

sample1.3s (10.8%)

Profiling