Details

analyze195.0ms (15.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	188	14
1	188	14
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
50%	50%	0.1%	6
59.3%	37.5%	3.2%	7
70.2%	23.4%	6.3%	8
74.1%	17.2%	8.7%	9
79.2%	11.3%	9.5%	10
81%	8.2%	10.8%	11
83.4%	5.6%	11%	12
84.2%	4%	11.8%	13
85.4%	2.8%	11.8%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample23.0ms (1.8%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify21.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (12.0ms)

Iter	Nodes	Cost
0	128	7
1	128	7

prune2.0ms (0.1%)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (*.f64 x y) x)

rewrite14.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-log-exp_binary64_6255` `cancel-sign-sub-inv_binary64_6182`
2×	`add-cube-cbrt_binary64_6251` `add-sqr-sqrt_binary64_6238` `*-un-lft-identity_binary64_6216`
1×	`diff-log_binary64_6308` `pow1_binary64_6277` `add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `flip3--_binary64_6220` `sub-neg_binary64_6209` `flip--_binary64_6191`

Counts

1 → 14

Calls

1 calls:

4.0ms

(-.f64 (*.f64 x y) x)

Compiler

Compiled 168 to 53 computations (68.5% saved)

series81.0ms (6.3%)

Error

Counts

1 → 9

Calls

1 calls:

75.0ms

(-.f64 (*.f64 x y) x)

Compiler

Compiled 114 to 85 computations (25.4% saved)

simplify76.0ms (5.9%)

Algorithm

1×	egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	5045	198

prune13.0ms (1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	22	1	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	2	24

Error

Counts

24 → 2

Compiler

Compiled 179 to 93 computations (48% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(*.f64 x (-.f64 y 1))

rewrite48.0ms (3.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`add-sqr-sqrt_binary64_6238`
8×	`*-un-lft-identity_binary64_6216`
7×	`associate-r_binary64_6156`
6×	`cancel-sign-sub-inv_binary64_6182`
5×	`add-cube-cbrt_binary64_6251`
4×	`distribute-rgt-in_binary64_6166` `distribute-lft-in_binary64_6165`
3×	`pow1_binary64_6277` `add-exp-log_binary64_6254` `add-cbrt-cube_binary64_6252` `associate-l_binary64_6157`
2×	`sub-neg_binary64_6209` `associate-*r/_binary64_6158` `difference-of-squares_binary64_6185`
1×	`pow-prod-down_binary64_6287` `prod-exp_binary64_6265` `add-log-exp_binary64_6255` `cbrt-unprod_binary64_6249` `unswap-sqr_binary64_6184` `flip3--_binary64_6220` `flip--_binary64_6191` `difference-of-sqr-1_binary64_6186` `distribute-lft-out--_binary64_6168` `*-commutative_binary64_6147`

Counts

1 → 32

Calls

1 calls:

13.0ms

(*.f64 x (-.f64 y 1))

Compiler

Compiled 360 to 243 computations (32.5% saved)

series67.0ms (5.2%)

Error

Counts

1 → 9

Calls

1 calls:

61.0ms

(*.f64 x (-.f64 y 1))

Compiler

Compiled 108 to 79 computations (26.9% saved)

simplify85.0ms (6.6%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5171	332

prune23.0ms (1.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

43 → 2

Compiler

Compiled 326 to 182 computations (44.2% saved)

regimes76.0ms (5.9%)

Accuracy

Total 0.0b remaining (95.9%)

Threshold costs 0.0b (95.9%)

Compiler

Compiled 167 to 112 computations (32.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	7
1	16	7

end0.0ms (0%)

sample557.0ms (43.1%)

Algorithm

1×

intervals

Results

170.0ms	8000×	body	128	valid
10.0ms	76×	body	128	invalid

Compiler

Compiled 62 to 43 computations (30.6% saved)

Details

analyze195.0ms (15.1%)

sample23.0ms (1.8%)

simplify21.0ms (1.6%)

prune2.0ms (0.1%)

localize3.0ms (0.2%)

rewrite14.0ms (1.1%)

series81.0ms (6.3%)

simplify76.0ms (5.9%)

prune13.0ms (1%)

localize3.0ms (0.3%)

rewrite48.0ms (3.7%)

series67.0ms (5.2%)

simplify85.0ms (6.6%)

prune23.0ms (1.8%)

regimes76.0ms (5.9%)

bsearch0.0ms (0%)

simplify4.0ms (0.3%)

end0.0ms (0%)

sample557.0ms (43.1%)

Profiling