Details

analyze156.0ms (4.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	14
1	18	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
50%	50%	0.1%	5
56.2%	43.7%	0.1%	6
71.8%	28.1%	0.1%	7
73.4%	25%	1.7%	8
80.4%	16.4%	3.2%	9
80.8%	14%	5.2%	10
84.1%	8.8%	7.1%	11
84.2%	7.4%	8.4%	12
85.8%	4.5%	9.7%	13
85.8%	3.8%	10.4%	14

Compiler

Compiled 6 to 6 computations (0% saved)

sample18.0ms (0.6%)

Algorithm

1×

intervals

Results

7.0ms	256×	body	128	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	11	7
1	11	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.2b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(/.f64 x (*.f64 y 3))

rewrite32.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
3×	`add-cube-cbrt_binary64_18868` `add-sqr-sqrt_binary64_18855` `times-frac_binary64_18839` `-un-lft-identity_binary64_18833` `associate-/l_binary64_18778`
2×	`div-exp_binary64_18884` `cbrt-undiv_binary64_18867`
1×	`pow1_binary64_18894` `prod-exp_binary64_18882` `add-log-exp_binary64_18872` `cbrt-unprod_binary64_18866` `frac-2neg_binary64_18844` `clear-num_binary64_18832` `div-inv_binary64_18830` `associate-/r*_binary64_18777`

Counts

1 → 21

Calls

1 calls:

4.0ms

(/.f64 x (*.f64 y 3))

Compiler

Compiled 214 to 138 computations (35.5% saved)

series64.0ms (1.9%)

Error

0.1b

Counts

1 → 6

Calls

1 calls:

61.0ms

(/.f64 x (*.f64 y 3))

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify140.0ms (4.2%)

Algorithm

1×	egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (130.0ms)

Iter	Nodes	Cost
0	4849	238
1	4849	238

prune37.0ms (1.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	23	4	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	5	28

Error

Counts

28 → 5

Compiler

Compiled 234 to 143 computations (38.9% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.2b	(/.f64 (/.f64 x y) 3)

rewrite78.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

75×	`times-frac_binary64_18839`
43×	`add-cube-cbrt_binary64_18868` `add-sqr-sqrt_binary64_18855` `*-un-lft-identity_binary64_18833`
13×	`associate-/l*_binary64_18778`
6×	`add-exp-log_binary64_18871` `add-cbrt-cube_binary64_18869`
5×	`div-inv_binary64_18830`
3×	`div-exp_binary64_18884` `cbrt-undiv_binary64_18867` `associate-/r*_binary64_18777`
1×	`pow1_binary64_18894` `add-log-exp_binary64_18872` `frac-2neg_binary64_18844` `clear-num_binary64_18832` `associate-/l/_binary64_18780`

Counts

1 → 70

Calls

1 calls:

6.0ms

(/.f64 (/.f64 x y) 3)

Compiler

Compiled 1011 to 514 computations (49.2% saved)

series69.0ms (2.1%)

Error

Counts

1 → 6

Calls

1 calls:

66.0ms

(/.f64 (/.f64 x y) 3)

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify105.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4990	1226
1	4990	1226

prune62.0ms (1.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	76	5	81

Error

Counts

81 → 5

Compiler

Compiled 976 to 475 computations (51.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b	(*.f64 (/.f64 1 y) (/.f64 x 3))

rewrite66.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`add-sqr-sqrt_binary64_18855`
25×	`times-frac_binary64_18839`
23×	`add-exp-log_binary64_18871`
17×	`*-un-lft-identity_binary64_18833`
15×	`add-cube-cbrt_binary64_18868`
13×	`add-cbrt-cube_binary64_18869` `associate-l_binary64_18774` `associate-r_binary64_18773`
8×	`div-exp_binary64_18884` `prod-exp_binary64_18882`
6×	`unswap-sqr_binary64_18801`
4×	`cbrt-unprod_binary64_18866` `cbrt-undiv_binary64_18867`
3×	`pow1_binary64_18894`
2×	`1-exp_binary64_18877` `rec-exp_binary64_18883` `div-inv_binary64_18830`
1×	`pow-prod-down_binary64_18904` `add-log-exp_binary64_18872` `frac-times_binary64_18843` `associate-l/_binary64_18776` `associate-r/_binary64_18775` `*-commutative_binary64_18764`

Counts

1 → 56

Calls

1 calls:

15.0ms

(*.f64 (/.f64 1 y) (/.f64 x 3))

Compiler

Compiled 824 to 595 computations (27.8% saved)

series80.0ms (2.4%)

Error

Counts

1 → 6

Calls

1 calls:

77.0ms

(*.f64 (/.f64 1 y) (/.f64 x 3))

Compiler

Compiled 90 to 75 computations (16.7% saved)

simplify119.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (106.0ms)

Iter	Nodes	Cost
0	4988	674
1	4988	674

prune43.0ms (1.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	62	0	62
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	62	5	67

Error

Counts

67 → 5

Compiler

Compiled 667 to 427 computations (36% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b	(/.f64 y (/.f64 x 3))
0.3b	(/.f64 1 (/.f64 y (/.f64 x 3)))

rewrite683.0ms (20.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

471×	`times-frac_binary64_18839`
229×	`add-cube-cbrt_binary64_18868` `add-sqr-sqrt_binary64_18855` `*-un-lft-identity_binary64_18833`
57×	`associate-/r*_binary64_18777`
28×	`add-exp-log_binary64_18871`
22×	`div-inv_binary64_18830`
18×	`div-exp_binary64_18884`
16×	`add-cbrt-cube_binary64_18869`
9×	`cbrt-undiv_binary64_18867`
6×	`associate-/r/_binary64_18779` `associate-/l*_binary64_18778`
3×	`pow1_binary64_18894` `1-exp_binary64_18877` `rec-exp_binary64_18883`
2×	`add-log-exp_binary64_18872` `frac-2neg_binary64_18844` `clear-num_binary64_18832`
1×	`inv-pow_binary64_18918` `pow-flip_binary64_18907`

Counts

2 → 274

Calls

2 calls:

13.0ms	(/.f64 1 (/.f64 y (/.f64 x 3)))
7.0ms	(/.f64 y (/.f64 x 3))

Compiler

Compiled 5275 to 3566 computations (32.4% saved)

series134.0ms (4%)

Error

Counts

2 → 12

Calls

2 calls:

67.0ms	(/.f64 y (/.f64 x 3))
61.0ms	(/.f64 1 (/.f64 y (/.f64 x 3)))

Compiler

Compiled 216 to 184 computations (14.8% saved)

simplify225.0ms (6.7%)

Algorithm

1×	egg-herbie

Counts

286 → 286

Iterations

Useful iterations: 0 (153.0ms)

Iter	Nodes	Cost
0	4907	5609
1	4907	5609

prune272.0ms (8.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	286	0	286
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	286	5	291

Error

Counts

291 → 5

Compiler

Compiled 4392 to 2610 computations (40.6% saved)

regimes137.0ms (4.1%)

Accuracy

Total 0.3b remaining (99.4%)

Threshold costs 0.3b (99.4%)

Compiler

Compiled 740 to 646 computations (12.7% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	7
1	7	7

end0.0ms (0%)

sample785.0ms (23.5%)

Algorithm

1×

intervals

Results

191.0ms	8000×	body	128	valid
5.0ms	198×	body	128	invalid

Compiler

Compiled 196 to 173 computations (11.7% saved)

Details

analyze156.0ms (4.7%)

sample18.0ms (0.6%)

simplify13.0ms (0.4%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

rewrite32.0ms (1%)

series64.0ms (1.9%)

simplify140.0ms (4.2%)

prune37.0ms (1.1%)

localize3.0ms (0.1%)

rewrite78.0ms (2.3%)

series69.0ms (2.1%)

simplify105.0ms (3.1%)

prune62.0ms (1.9%)

localize5.0ms (0.1%)

rewrite66.0ms (2%)

series80.0ms (2.4%)

simplify119.0ms (3.6%)

prune43.0ms (1.3%)

localize5.0ms (0.2%)

rewrite683.0ms (20.4%)

series134.0ms (4%)

simplify225.0ms (6.7%)

prune272.0ms (8.2%)

regimes137.0ms (4.1%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample785.0ms (23.5%)

Profiling