Details

analyze150.0ms (14.4%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	7
1	46	7
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	1
50%	50%	0%	2
50%	50%	0%	2
50%	50%	0%	3
50%	50%	0%	3
87.5%	12.5%	0%	4
87.5%	12.5%	0%	4
93.7%	6.2%	0%	5
93.7%	6.2%	0%	5
96.8%	3.1%	0%	6
96.8%	3.1%	0%	6
98.4%	1.6%	0%	7
98.4%	1.6%	0%	7
99.2%	0.8%	0%	8
99.2%	0.8%	0%	8
99.6%	0.4%	0%	9
99.6%	0.4%	0%	9
99.8%	0.2%	0%	10
99.8%	0.2%	0%	10
99.9%	0.1%	0%	11
99.9%	0.1%	0%	11
99.9%	0%	0%	12
99.9%	0%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	13
99.9%	0%	0%	14
99.9%	0%	0%	14

Compiler

Compiled 12 to 10 computations (16.7% saved)

sample65.0ms (6.2%)

Algorithm

2×

intervals

Results

14.0ms

512×

body

128

valid

Compiler

Compiled 1553 to 1552 computations (0.1% saved)

simplify8.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	46	7
1	46	7

prune2.0ms (0.2%)

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.3%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 x (-.f64 1 x))

rewrite44.0ms (4.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

24×	`add-sqr-sqrt_binary64_1464` `*-un-lft-identity_binary64_1442`
18×	`times-frac_binary64_1448`
12×	`add-cube-cbrt_binary64_1477`
8×	`difference-of-squares_binary64_1411`
6×	`associate-/r*_binary64_1386`
4×	`distribute-lft-out--_binary64_1394`
3×	`add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `associate-/l*_binary64_1387`
2×	`associate-/r/_binary64_1388`
1×	`pow1_binary64_1503` `div-exp_binary64_1493` `add-log-exp_binary64_1481` `cbrt-undiv_binary64_1476` `frac-2neg_binary64_1453` `clear-num_binary64_1441` `div-inv_binary64_1439` `flip3--_binary64_1446` `flip--_binary64_1417`

Counts

1 → 41

Calls

1 calls:

6.0ms

(/.f64 x (-.f64 1 x))

Compiler

Compiled 526 to 328 computations (37.6% saved)

series46.0ms (4.4%)

Error

Counts

1 → 12

Calls

1 calls:

36.0ms

(/.f64 x (-.f64 1 x))

Compiler

Compiled 204 to 173 computations (15.2% saved)

simplify96.0ms (9.2%)

Algorithm

1×	egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4849	704
1	4849	704

prune41.0ms (3.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	52	1	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	52	2	54

Error

Counts

54 → 2

Compiler

Compiled 574 to 352 computations (38.7% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (*.f64 x x))

rewrite13.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

3×	`add-log-exp_binary64_1481`
2×	`*-un-lft-identity_binary64_1442`
1×	`sum-log_binary64_1533` `pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478` `add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `flip3-+_binary64_1445` `flip-+_binary64_1416` `distribute-rgt1-in_binary64_1398` `distribute-rgt-out_binary64_1395` `+-commutative_binary64_1372`

Counts

1 → 13

Calls

1 calls:

3.0ms

(+.f64 x (*.f64 x x))

Compiler

Compiled 146 to 43 computations (70.5% saved)

series56.0ms (5.4%)

Error

Counts

1 → 6

Calls

1 calls:

53.0ms

(+.f64 x (*.f64 x x))

Compiler

Compiled 59 to 45 computations (23.7% saved)

simplify80.0ms (7.6%)

Algorithm

1×	egg-herbie

Counts

19 → 19

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	5054	165

prune12.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

21 → 2

Compiler

Compiled 145 to 43 computations (70.3% saved)

regimes21.0ms (2%)

Accuracy

Total 0.0b remaining (54.8%)

Threshold costs 0.0b (54.8%)

Compiler

Compiled 92 to 70 computations (23.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	7
1	15	7

end0.0ms (0%)

sample402.0ms (38.5%)

Algorithm

1×

intervals

Results

146.0ms

8000×

body

128

valid

Compiler

Compiled 51 to 40 computations (21.6% saved)

Details

analyze150.0ms (14.4%)

sample65.0ms (6.2%)

simplify8.0ms (0.8%)

prune2.0ms (0.2%)

localize3.0ms (0.3%)

rewrite44.0ms (4.2%)

series46.0ms (4.4%)

simplify96.0ms (9.2%)

prune41.0ms (3.9%)

localize3.0ms (0.3%)

rewrite13.0ms (1.2%)

series56.0ms (5.4%)

simplify80.0ms (7.6%)

prune12.0ms (1.2%)

regimes21.0ms (2%)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

end0.0ms (0%)

sample402.0ms (38.5%)

Profiling