Details

analyze95.0ms (5.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25.1%	13
74.9%	0%	25.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample8.0ms (0.5%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 10 computations (9.1% saved)

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	7
1	10	7

prune6.0ms (0.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.2b

Counts

2 → 1

Compiler

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite6.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_6959` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
3×	`associate-r_binary64_6838` `prod-exp_binary64_6947` `cbrt-unprod_binary64_6931` `pow-prod-down_binary64_6969`
2×	`add-cube-cbrt_binary64_6933` `add-sqr-sqrt_binary64_6920` `*-un-lft-identity_binary64_6898`
1×	`add-log-exp_binary64_6937` `-commutative_binary64_6829` `associate-l*_binary64_6839`

Counts

1 → 18

Calls

1 calls:

5.0ms

(*.f64 (*.f64 x 3) x)

series19.0ms (1.2%)

Counts

1 → 3

Calls

1 calls:

19.0ms

(*.f64 (*.f64 x 3) x)

simplify59.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4931	168
1	4931	168

prune18.0ms (1.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	16	5	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	6	22

Error

0.1b

Counts

22 → 6

Compiler

Compiled 216 to 154 computations (28.7% saved)

localize6.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 x (.f64 x 3))
0.3b	(.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))
19.7b	(sqrt.f64 (.f64 x (.f64 x 3)))
19.7b	(sqrt.f64 (.f64 x (.f64 x 3)))

rewrite38.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

148×	`pow1_binary64_6959`
80×	`pow-prod-down_binary64_6969`
66×	`sqrt-pow1_binary64_6916`
17×	`pow-prod-up_binary64_6968`
14×	`pow1/2_binary64_6978`
11×	`pow-sqr_binary64_6871` `add-exp-log_binary64_6936` `add-sqr-sqrt_binary64_6920` `add-cbrt-cube_binary64_6934`
9×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
7×	`associate-l_binary64_6839`
6×	`sqrt-prod_binary64_6914`
5×	`associate-r_binary64_6838`
4×	`swap-sqr_binary64_6865` `prod-exp_binary64_6947` `add-log-exp_binary64_6937` `cbrt-unprod_binary64_6931`
2×	`*-commutative_binary64_6829`
1×	`pow2_binary64_6979` `sqrt-unprod_binary64_6918` `unswap-sqr_binary64_6866` `pow-plus_binary64_6961` `rem-square-sqrt_binary64_6910`

Counts

4 → 108

Calls

4 calls:

13.0ms	(.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))
5.0ms	(.f64 x (.f64 x 3))
4.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))
4.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))

series104.0ms (6.4%)

Counts

4 → 12

Calls

4 calls:

41.0ms	(.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 x (*.f64 x 3))))
23.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))
22.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))
18.0ms	(.f64 x (.f64 x 3))

simplify57.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4926	737
1	4926	737

prune100.0ms (6.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	114	6	120
Fresh	3	1	4
Picked	1	0	1
Done	0	1	1
Total	118	8	126

Error

0.0b

Counts

126 → 8

Compiler

Compiled 1456 to 1093 computations (24.9% saved)

localize11.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x x) 3)
0.3b	(.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 (*.f64 x x) 3)))
19.7b	(sqrt.f64 (.f64 x (.f64 x 3)))
19.7b	(sqrt.f64 (.f64 (.f64 x x) 3))

rewrite31.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`pow1_binary64_6959`
38×	`pow-prod-down_binary64_6969`
24×	`sqrt-pow1_binary64_6916`
11×	`add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
10×	`add-sqr-sqrt_binary64_6920`
7×	`associate-r_binary64_6838` `add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
5×	`associate-l_binary64_6839`
4×	`prod-exp_binary64_6947` `add-log-exp_binary64_6937` `cbrt-unprod_binary64_6931` `sqrt-prod_binary64_6914` `pow1/2_binary64_6978`
2×	`unswap-sqr_binary64_6866` `*-commutative_binary64_6829`
1×	`sqrt-unprod_binary64_6918`

Counts

4 → 74

Calls

4 calls:

12.0ms	(.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 (*.f64 x x) 3)))
6.0ms	(.f64 (.f64 x x) 3)
4.0ms	(sqrt.f64 (.f64 (.f64 x x) 3))
3.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))

series99.0ms (6.1%)

Counts

4 → 12

Calls

4 calls:

40.0ms	(.f64 (sqrt.f64 (.f64 x (.f64 x 3))) (sqrt.f64 (.f64 (*.f64 x x) 3)))
22.0ms	(sqrt.f64 (.f64 (.f64 x x) 3))
20.0ms	(sqrt.f64 (.f64 x (.f64 x 3)))
16.0ms	(.f64 (.f64 x x) 3)

simplify61.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4972	736
1	4972	736

prune74.0ms (4.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	87	7	94

Error

Counts

94 → 7

Compiler

Compiled 1207 to 867 computations (28.2% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite7.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`pow1_binary64_6959` `add-exp-log_binary64_6936` `add-cbrt-cube_binary64_6934`
3×	`associate-r_binary64_6838` `prod-exp_binary64_6947` `add-sqr-sqrt_binary64_6920` `cbrt-unprod_binary64_6931` `pow-prod-down_binary64_6969`
2×	`add-cube-cbrt_binary64_6933` `*-un-lft-identity_binary64_6898`
1×	`add-log-exp_binary64_6937` `unswap-sqr_binary64_6866` `-commutative_binary64_6829` `associate-l*_binary64_6839`

Counts

1 → 19

Calls

1 calls:

6.0ms

(*.f64 (*.f64 x x) 3)

series21.0ms (1.3%)

Counts

1 → 3

Calls

1 calls:

20.0ms

(*.f64 (*.f64 x x) 3)

simplify54.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5020	182

prune14.0ms (0.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	22	0	22
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	22	7	29

Error

Counts

29 → 7

Compiler

Compiled 167 to 103 computations (38.3% saved)

regimes83.0ms (5.1%)

Accuracy

Total 0.2b remaining (98.8%)

Threshold costs 0.2b (98.8%)

Compiler

Compiled 650 to 536 computations (17.5% 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%)

sample649.0ms (39.7%)

Algorithm

1×

intervals

Results

128.0ms

8000×

body

128

valid

Compiler

Compiled 330 to 273 computations (17.3% saved)

Details

analyze95.0ms (5.8%)

sample8.0ms (0.5%)

simplify7.0ms (0.4%)

prune6.0ms (0.4%)

localize3.0ms (0.2%)

rewrite6.0ms (0.4%)

series19.0ms (1.2%)

simplify59.0ms (3.6%)

prune18.0ms (1.1%)

localize6.0ms (0.3%)

rewrite38.0ms (2.3%)

series104.0ms (6.4%)

simplify57.0ms (3.5%)

prune100.0ms (6.1%)

localize11.0ms (0.7%)

rewrite31.0ms (1.9%)

series99.0ms (6.1%)

simplify61.0ms (3.8%)

prune74.0ms (4.5%)

localize3.0ms (0.2%)

rewrite7.0ms (0.5%)

series21.0ms (1.3%)

simplify54.0ms (3.3%)

prune14.0ms (0.8%)

regimes83.0ms (5.1%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample649.0ms (39.7%)

Profiling