Details

analyze649.0ms (4%)

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)

sample408.0ms (2.5%)

Algorithm

1×

intervals

Results

315.0ms	155×	body	8192	exit
42.0ms	116×	body	1024	nan
18.0ms	256×	body	128	valid
11.0ms	56×	body	512	nan
3.0ms	21×	body	256	nan
1.0ms	13×	body	128	nan
0.0ms	7×	body	128	overflowed
0.0ms	1×	body	2048	nan
0.0ms	4×	body	128	invalid

Compiler

Compiled 17 to 17 computations (0% saved)

simplify246.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	5961	11

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

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.2b	(pow.f64 l (exp.f64 w))

rewrite20.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_789`
7×	`associate-r_binary64_707` `unpow-prod-down_binary64_846` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
5×	`add-exp-log_binary64_805`
4×	`add-cbrt-cube_binary64_803`
3×	`associate-l_binary64_708` `unswap-sqr_binary64_735` `sqr-pow_binary64_739` `prod-exp_binary64_816` `pow1_binary64_828` `pow-unpow_binary64_844`
2×	`pow-to-exp_binary64_836` `pow-exp_binary64_835` `add-log-exp_binary64_806` `associate-*l/_binary64_710`
1×	`cbrt-unprod_binary64_800` `exp-diff_binary64_815` `neg-sub0_binary64_762` `*-commutative_binary64_698` `exp-neg_binary64_814` `pow-pow_binary64_839`

Counts

2 → 44

Calls

2 calls:

13.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
4.0ms	(pow.f64 l (exp.f64 w))

series274.0ms (1.7%)

Counts

2 → 6

Calls

2 calls:

164.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
110.0ms	(pow.f64 l (exp.f64 w))

simplify94.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4905	687
1	4905	687

prune106.0ms (0.7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	46	4	50
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	48	4	52

Merged error: 0.0b

Counts

52 → 4

Compiler

Compiled 1695 to 820 computations (51.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (exp.f64 (neg.f64 w)))
0.0b	(cbrt.f64 (exp.f64 (neg.f64 w)))
0.0b	(cbrt.f64 (exp.f64 (neg.f64 w)))
0.2b	(pow.f64 l (exp.f64 w))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `cbrt-prod_binary64_798` `add-cube-cbrt_binary64_802`
6×	`cbrt-div_binary64_799`
5×	`add-exp-log_binary64_805` `pow1_binary64_828`
4×	`add-log-exp_binary64_806` `add-cbrt-cube_binary64_803`
3×	`pow1/3_binary64_849` `exp-diff_binary64_815` `neg-sub0_binary64_762` `unpow-prod-down_binary64_846` `pow-unpow_binary64_844` `exp-neg_binary64_814`
1×	`pow-to-exp_binary64_836` `sqr-pow_binary64_739` `pow-exp_binary64_835` `pow-pow_binary64_839`

Counts

4 → 56

Calls

4 calls:

3.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
3.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
3.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
3.0ms	(pow.f64 l (exp.f64 w))

series494.0ms (3.1%)

Counts

4 → 12

Calls

4 calls:

133.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
131.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
118.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
112.0ms	(pow.f64 l (exp.f64 w))

simplify75.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4921	651
1	4921	651

prune87.0ms (0.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	66	2	68
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	68	4	72

Merged error: 0.0b

Counts

72 → 4

Compiler

Compiled 1966 to 597 computations (69.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (exp.f64 (neg.f64 w)))
0.0b	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
0.0b	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
0.2b	(pow.f64 l (exp.f64 w))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`cbrt-prod_binary64_798`
11×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
6×	`sqrt-prod_binary64_783` `cbrt-div_binary64_799`
5×	`add-exp-log_binary64_805` `pow1_binary64_828`
4×	`add-log-exp_binary64_806` `add-cbrt-cube_binary64_803` `sqrt-div_binary64_784`
3×	`pow1/3_binary64_849` `exp-diff_binary64_815` `neg-sub0_binary64_762` `unpow-prod-down_binary64_846` `pow-unpow_binary64_844` `exp-neg_binary64_814`
1×	`pow-to-exp_binary64_836` `sqr-pow_binary64_739` `pow-exp_binary64_835` `pow-pow_binary64_839`

Counts

4 → 62

Calls

4 calls:

5.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
5.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
3.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
3.0ms	(pow.f64 l (exp.f64 w))

series500.0ms (3.1%)

Counts

4 → 12

Calls

4 calls:

135.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
134.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))
128.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
104.0ms	(pow.f64 l (exp.f64 w))

simplify56.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4893	865
1	4893	865

prune98.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	75	3	78

Merged error: 0.0b

Counts

78 → 3

Compiler

Compiled 2600 to 558 computations (78.5% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
0.0b	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
0.0b	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
0.2b	(pow.f64 l (exp.f64 w))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_798`
12×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
9×	`sqrt-prod_binary64_783`
6×	`cbrt-div_binary64_799` `sqrt-div_binary64_784`
5×	`add-exp-log_binary64_805` `pow1_binary64_828`
4×	`add-log-exp_binary64_806` `add-cbrt-cube_binary64_803`
3×	`pow1/3_binary64_849` `exp-diff_binary64_815` `neg-sub0_binary64_762` `unpow-prod-down_binary64_846` `pow-unpow_binary64_844` `exp-neg_binary64_814`
1×	`pow-to-exp_binary64_836` `sqr-pow_binary64_739` `pow-exp_binary64_835` `pow-pow_binary64_839`

Counts

4 → 65

Calls

4 calls:

4.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
4.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
4.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
3.0ms	(pow.f64 l (exp.f64 w))

series519.0ms (3.2%)

Counts

4 → 12

Calls

4 calls:

144.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
134.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
133.0ms	(cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))
107.0ms	(pow.f64 l (exp.f64 w))

simplify134.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 0 (116.0ms)

Iter	Nodes	Cost
0	4841	990
1	4841	990

prune109.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	76	4	80

Merged error: 0.0b

Counts

80 → 4

Compiler

Compiled 3006 to 397 computations (86.8% saved)

regimes27.0ms (0.2%)

Compiler: Compiled 244 to 128 computations (47.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	59
1	24	59

end0.0ms (0%)

sample12.1s (75.1%)

Algorithm

1×

intervals

Results

9.3s	4672×	body	8192	exit
1.2s	3305×	body	1024	nan
542.0ms	8000×	body	128	valid
327.0ms	1644×	body	512	nan
98.0ms	817×	body	256	nan
15.0ms	303×	body	128	nan
9.0ms	126×	body	128	overflowed
8.0ms	116×	body	128	invalid
8.0ms	5×	body	4096	nan
3.0ms	5×	body	2048	nan

Compiler

Compiled 162 to 83 computations (48.8% saved)

Details

analyze649.0ms (4%)

sample408.0ms (2.5%)

simplify246.0ms (1.5%)

prune5.0ms (0%)

localize7.0ms (0%)

rewrite20.0ms (0.1%)

series274.0ms (1.7%)

simplify94.0ms (0.6%)

prune106.0ms (0.7%)

localize10.0ms (0.1%)

rewrite17.0ms (0.1%)

series494.0ms (3.1%)

simplify75.0ms (0.5%)

prune87.0ms (0.5%)

localize14.0ms (0.1%)

rewrite22.0ms (0.1%)

series500.0ms (3.1%)

simplify56.0ms (0.3%)

prune98.0ms (0.6%)

localize15.0ms (0.1%)

rewrite23.0ms (0.1%)

series519.0ms (3.2%)

simplify134.0ms (0.8%)

prune109.0ms (0.7%)

regimes27.0ms (0.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample12.1s (75.1%)

Profiling