Details

analyze153.0ms (2.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	72	16
1	72	16
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 6 to 6 computations (0% saved)

sample61.0ms (0.8%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 1547 to 2061 computations (-33.2% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	70	8
1	70	8

prune2.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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(sqrt.f64 (fabs.f64 (-.f64 x y)))

rewrite11.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

3×	`add-sqr-sqrt_binary64_1805` `sqrt-prod_binary64_1799`
2×	`pow1_binary64_1844` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
1×	`pow1/2_binary64_1863` `add-log-exp_binary64_1822` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`

Counts

1 → 13

Calls

1 calls:

1.0ms

(sqrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 139 to 36 computations (74.1% saved)

series81.0ms (1.1%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

78.0ms

(sqrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 90 to 65 computations (27.8% saved)

simplify140.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

19 → 19

Iterations

Useful iterations: 0 (133.0ms)

Iter	Nodes	Cost
0	4785	181
1	4785	181

prune12.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	18	1	19
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	2	20

Error

0.0b

Counts

20 → 2

Compiler

Compiled 163 to 40 computations (75.5% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))))
0.3b	(*.f64 (fabs.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))))
0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))
0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))

rewrite81.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

20×	`add-sqr-sqrt_binary64_1805`
14×	`cbrt-prod_binary64_1814` `sqrt-prod_binary64_1799`
12×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
9×	`associate-r_binary64_1723`
7×	`pow1_binary64_1844`
6×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
4×	`add-log-exp_binary64_1822`
3×	`pow1/3_binary64_1865` `unswap-sqr_binary64_1751` `associate-l_binary64_1724`
2×	`sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`
1×	`pow-prod-down_binary64_1854` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `*-commutative_binary64_1714` `pow1/2_binary64_1863`

Counts

4 → 66

Calls

4 calls:

6.0ms	(*.f64 (fabs.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))))
2.0ms	(sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))))
1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 1395 to 205 computations (85.3% saved)

series1.3s (18.1%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

388.0ms	(*.f64 (fabs.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))))
319.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
300.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
278.0ms	(sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y))))

Compiler

Compiled 990 to 577 computations (41.7% saved)

simplify68.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4918	1448
1	4918	1448

prune78.0ms (1.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	88	4	92

Error

Counts

92 → 4

Compiler

Compiled 1618 to 254 computations (84.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))
0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))
0.5b	(cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) 3))
0.7b	(pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) 3)

rewrite139.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

42×	`cbrt-prod_binary64_1814`
24×	`sqrt-prod_binary64_1799`
20×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
18×	`unpow-prod-down_binary64_1862` `cube-prod_binary64_1811`
6×	`pow1_binary64_1844`
5×	`add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`
4×	`pow-pow_binary64_1855` `pow1/3_binary64_1865` `add-log-exp_binary64_1822`
3×	`pow-unpow_binary64_1860`
2×	`sqrt-pow1_binary64_1801` `unpow3_binary64_1849` `cube-mult_binary64_1813` `sqr-pow_binary64_1755`
1×	`pow1/2_binary64_1863` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851` `rem-cube-cbrt_binary64_1806` `sqrt-pow2_binary64_1802` `rem-cbrt-cube_binary64_1807`

Counts

4 → 94

Calls

4 calls:

4.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) 3)
4.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) 3))
1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 2343 to 712 computations (69.6% saved)

series1.3s (18.2%)

Error

Counts

4 → 24

Calls

4 calls:

418.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) 3)
309.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fabs.f64 (-.f64 x y)))) 3))
293.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
275.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 1080 to 640 computations (40.7% saved)

simplify64.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4885	1650
1	4885	1650

prune114.0ms (1.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	118	4	122

Error

Counts

122 → 4

Compiler

Compiled 2282 to 541 computations (76.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))
0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))
0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))
0.5b	(cbrt.f64 (fabs.f64 (-.f64 x y)))

rewrite62.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`cbrt-prod_binary64_1814`
8×	`add-cube-cbrt_binary64_1818` `add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
4×	`pow1/3_binary64_1865` `pow1_binary64_1844` `add-log-exp_binary64_1822` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819`

Counts

4 → 44

Calls

4 calls:

1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
1.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 1600 to 210 computations (86.9% saved)

series1.2s (16.6%)

Error

Counts

4 → 24

Calls

4 calls:

299.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
297.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
289.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))
281.0ms	(cbrt.f64 (fabs.f64 (-.f64 x y)))

Compiler

Compiled 2232 to 850 computations (61.9% saved)

simplify68.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5200	712

prune89.0ms (1.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

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

Error

Counts

72 → 4

Compiler

Compiled 2248 to 214 computations (90.5% saved)

regimes101.0ms (1.4%)

Accuracy

Total 0.0b remaining (34.3%)

Threshold costs 0.0b (34.3%)

Compiler

Compiled 868 to 422 computations (51.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	8
1	16	8

end0.0ms (0%)

sample2.0s (28.2%)

Algorithm

1×

intervals

Results

177.0ms

8000×

body

128

valid

Compiler

Compiled 48179 to 64091 computations (-33% saved)

Details

analyze153.0ms (2.1%)

sample61.0ms (0.8%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize4.0ms (0.1%)

rewrite11.0ms (0.2%)

series81.0ms (1.1%)

simplify140.0ms (1.9%)

prune12.0ms (0.2%)

localize7.0ms (0.1%)

rewrite81.0ms (1.1%)

series1.3s (18.1%)

simplify68.0ms (0.9%)

prune78.0ms (1.1%)

localize10.0ms (0.1%)

rewrite139.0ms (1.9%)

series1.3s (18.2%)

simplify64.0ms (0.9%)

prune114.0ms (1.6%)

localize12.0ms (0.2%)

rewrite62.0ms (0.9%)

series1.2s (16.6%)

simplify68.0ms (0.9%)

prune89.0ms (1.2%)

regimes101.0ms (1.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.0s (28.2%)

Profiling