Details

analyze657.0ms (4.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample418.0ms (2.6%)

Algorithm

1×

intervals

Results

325.0ms	161×	body	8192	exit
41.0ms	100×	body	1024	nan
18.0ms	256×	body	128	valid
12.0ms	58×	body	512	nan
4.0ms	29×	body	256	nan
1.0ms	11×	body	128	nan
1.0ms	7×	body	128	overflowed
0.0ms	4×	body	128	invalid

Compiler

Compiled 17 to 17 computations (0% saved)

simplify250.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5961	11

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 0.2b

Counts

2 → 2

Compiler

Compiled 37 to 29 computations (21.6% saved)

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
0.2b	(pow.f64 l (exp.f64 w))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`times-frac_binary64_773`
20×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
15×	`unpow-prod-down_binary64_846`
7×	`associate-/l*_binary64_712`
5×	`sqr-pow_binary64_739` `add-exp-log_binary64_805`
4×	`add-cbrt-cube_binary64_803`
3×	`associate-/r*_binary64_711` `pow1_binary64_828` `pow-unpow_binary64_844` `div-exp_binary64_818`
2×	`pow-to-exp_binary64_836` `pow-exp_binary64_835` `add-log-exp_binary64_806`
1×	`frac-2neg_binary64_778` `cbrt-undiv_binary64_801` `clear-num_binary64_766` `div-inv_binary64_764` `pow-pow_binary64_839`

Counts

2 → 62

Calls

2 calls:

6.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
3.0ms	(pow.f64 l (exp.f64 w))

series288.0ms (1.8%)

Counts

2 → 6

Calls

2 calls:

175.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
113.0ms	(pow.f64 l (exp.f64 w))

simplify88.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4948	1214
1	4948	1214

prune153.0ms (0.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	66	4	70

Merged error: 0.1b

Counts

70 → 4

Compiler

Compiled 2563 to 1093 computations (57.4% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 w))
0.0b	(sqrt.f64 (exp.f64 w))
0.0b	(/.f64 1 (sqrt.f64 (exp.f64 w)))
0.2b	(pow.f64 l (exp.f64 w))

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64_789`
26×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
18×	`times-frac_binary64_773` `sqrt-prod_binary64_783`
12×	`sqrt-pow1_binary64_785`
9×	`exp-prod_binary64_819` `add-exp-log_binary64_805` `pow1_binary64_828`
6×	`associate-/r*_binary64_711` `pow-flip_binary64_841` `add-cbrt-cube_binary64_803`
4×	`add-log-exp_binary64_806`
3×	`unpow-prod-down_binary64_846` `pow-unpow_binary64_844` `associate-/l*_binary64_712` `pow1/2_binary64_847`
2×	`rem-sqrt-square_binary64_780` `div-exp_binary64_818`
1×	`frac-2neg_binary64_778` `pow-to-exp_binary64_836` `cbrt-undiv_binary64_801` `sqr-pow_binary64_739` `pow-exp_binary64_835` `1-exp_binary64_811` `rec-exp_binary64_817` `clear-num_binary64_766` `div-inv_binary64_764` `pow-pow_binary64_839` `inv-pow_binary64_852`

Counts

4 → 97

Calls

4 calls:

6.0ms	(/.f64 1 (sqrt.f64 (exp.f64 w)))
3.0ms	(pow.f64 l (exp.f64 w))
2.0ms	(sqrt.f64 (exp.f64 w))
2.0ms	(sqrt.f64 (exp.f64 w))

series210.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

101.0ms	(pow.f64 l (exp.f64 w))
59.0ms	(/.f64 1 (sqrt.f64 (exp.f64 w)))
27.0ms	(sqrt.f64 (exp.f64 w))
23.0ms	(sqrt.f64 (exp.f64 w))

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5411	1115

prune110.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	109	4	113

Merged error: 0.1b

Counts

113 → 4

Compiler

Compiled 2387 to 838 computations (64.9% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (sqrt.f64 (exp.f64 w)))
0.0b	(*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w))))
0.0b	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w)))))
0.2b	(pow.f64 l (exp.f64 w))

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`cbrt-prod_binary64_798`
44×	`add-sqr-sqrt_binary64_789`
23×	`sqrt-prod_binary64_783`
22×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
20×	`pow1_binary64_828`
18×	`add-exp-log_binary64_805`
13×	`pow1/3_binary64_849`
11×	`swap-sqr_binary64_734`
9×	`associate-l_binary64_708` `unswap-sqr_binary64_735` `associate-r_binary64_707` `pow-flip_binary64_841`
7×	`add-cbrt-cube_binary64_803`
4×	`pow-prod-up_binary64_837` `prod-exp_binary64_816` `add-log-exp_binary64_806` `div-exp_binary64_818` `pow-prod-down_binary64_838` `pow-sqr_binary64_740`
3×	`unpow-prod-down_binary64_846` `times-frac_binary64_773` `pow-unpow_binary64_844` `associate-/l*_binary64_712`
2×	`pow2_binary64_848` `cbrt-undiv_binary64_801` `cbrt-unprod_binary64_800` `pow-plus_binary64_830` `1-exp_binary64_811` `rec-exp_binary64_817`
1×	`frac-2neg_binary64_778` `pow-to-exp_binary64_836` `associate-/r_binary64_711` `sqr-pow_binary64_739` `pow-exp_binary64_835` `-commutative_binary64_698` `clear-num_binary64_766` `div-inv_binary64_764` `pow-pow_binary64_839` `inv-pow_binary64_852`

Counts

4 → 122

Calls

4 calls:

11.0ms	(*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w))))
9.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w)))))
3.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 w)))
3.0ms	(pow.f64 l (exp.f64 w))

series479.0ms (3%)

Counts

4 → 12

Calls

4 calls:

155.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w)))))
121.0ms	(*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w))))
104.0ms	(pow.f64 l (exp.f64 w))
98.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 w)))

simplify77.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4920	1664
1	4920	1664

prune142.0ms (0.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	134	4	138

Merged error: 0.1b

Counts

138 → 4

Compiler

Compiled 3951 to 936 computations (76.3% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w)))))
0.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (pow.f64 (sqrt.f64 l) (exp.f64 w)))

rewrite49.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`unpow-prod-down_binary64_846`
52×	`add-sqr-sqrt_binary64_789`
29×	`add-exp-log_binary64_805`
28×	`sqrt-prod_binary64_783`
24×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
16×	`unswap-sqr_binary64_735` `pow1_binary64_828`
14×	`sqr-pow_binary64_739`
12×	`swap-sqr_binary64_734` `prod-exp_binary64_816`
10×	`associate-l_binary64_708` `associate-r_binary64_707`
9×	`pow-flip_binary64_841` `add-cbrt-cube_binary64_803`
8×	`pow-to-exp_binary64_836` `pow-exp_binary64_835`
6×	`pow1/3_binary64_849` `pow-unpow_binary64_844` `pow-pow_binary64_839`
4×	`add-log-exp_binary64_806` `div-exp_binary64_818`
3×	`pow-prod-up_binary64_837` `times-frac_binary64_773` `associate-/l*_binary64_712` `pow-prod-down_binary64_838` `pow-sqr_binary64_740`
2×	`pow2_binary64_848` `cbrt-undiv_binary64_801` `cbrt-unprod_binary64_800` `1-exp_binary64_811` `pow1/2_binary64_847` `rec-exp_binary64_817` `sqrt-pow1_binary64_785` `sqrt-pow2_binary64_786`
1×	`frac-2neg_binary64_778` `associate-/r_binary64_711` `pow-plus_binary64_830` `-commutative_binary64_698` `clear-num_binary64_766` `div-inv_binary64_764` `inv-pow_binary64_852`

Counts

4 → 151

Calls

4 calls:

11.0ms	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (pow.f64 (sqrt.f64 l) (exp.f64 w)))
10.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w)))))
4.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
4.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

series621.0ms (3.9%)

Counts

4 → 12

Calls

4 calls:

229.0ms	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (pow.f64 (sqrt.f64 l) (exp.f64 w)))
154.0ms	(/.f64 1 (*.f64 (cbrt.f64 (sqrt.f64 (exp.f64 w))) (cbrt.f64 (sqrt.f64 (exp.f64 w)))))
126.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
111.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

simplify77.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4987	2843
1	4987	2843

prune210.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	161	2	163
Fresh	1	1	2
Picked	1	0	1
Done	0	1	1
Total	163	4	167

Merged error: 0.0b

Counts

167 → 4

Compiler

Compiled 6359 to 1576 computations (75.2% saved)

regimes30.0ms (0.2%)

Compiler: Compiled 248 to 140 computations (43.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	23
1	12	23

end0.0ms (0%)

sample12.1s (74.9%)

Algorithm

1×

intervals

Results

9.3s	4605×	body	8192	exit
1.2s	3276×	body	1024	nan
549.0ms	8000×	body	128	valid
321.0ms	1589×	body	512	nan
97.0ms	812×	body	256	nan
17.0ms	335×	body	128	nan
10.0ms	136×	body	128	overflowed
10.0ms	115×	body	128	invalid
8.0ms	2×	body	8192	nan
3.0ms	2×	body	4096	nan
3.0ms	6×	body	2048	nan

Compiler

Compiled 145 to 85 computations (41.4% saved)

Details

analyze657.0ms (4.1%)

sample418.0ms (2.6%)

simplify250.0ms (1.6%)

prune4.0ms (0%)

localize5.0ms (0%)

rewrite13.0ms (0.1%)

series288.0ms (1.8%)

simplify88.0ms (0.5%)

prune153.0ms (0.9%)

localize9.0ms (0.1%)

rewrite21.0ms (0.1%)

series210.0ms (1.3%)

simplify60.0ms (0.4%)

prune110.0ms (0.7%)

localize13.0ms (0.1%)

rewrite39.0ms (0.2%)

series479.0ms (3%)

simplify77.0ms (0.5%)

prune142.0ms (0.9%)

localize17.0ms (0.1%)

rewrite49.0ms (0.3%)

series621.0ms (3.9%)

simplify77.0ms (0.5%)

prune210.0ms (1.3%)

regimes30.0ms (0.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample12.1s (74.9%)

Profiling