Details

analyze325.0ms (6.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4965	10
1	4965	10
0	1	1
1	1	1

Search

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

Compiler

Compiled 7 to 5 computations (28.6% saved)

sample16.0ms (0.3%)

Algorithm

1×

intervals

Results

9.0ms

256×

body

128

valid

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify184.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (178.0ms)

Iter	Nodes	Cost
0	4965	10
1	4965	10

prune6.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.3b

Counts

2 → 1

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b	(log.f64 (log.f64 x))
0.3b	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

rewrite41.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

11×	`log-prod_binary64_1869`
10×	`pow1_binary64_1844` `*-un-lft-identity_binary64_1783`
8×	`add-sqr-sqrt_binary64_1805` `log-pow_binary64_1872`
6×	`add-cube-cbrt_binary64_1818`
4×	`cancel-sign-sub-inv_binary64_1749` `distribute-lft-out--_binary64_1735` `associate--r+_binary64_1719`
3×	`add-exp-log_binary64_1821` `associate--l+_binary64_1720`
2×	`add-log-exp_binary64_1822` `add-cbrt-cube_binary64_1819`
1×	`diff-log_binary64_1875` `flip3--_binary64_1787` `sub-neg_binary64_1776` `flip--_binary64_1758` `difference-of-squares_binary64_1752` `rem-log-exp_binary64_1824`

Counts

2 → 40

Calls

2 calls:

6.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 401 to 108 computations (73.1% saved)

series489.0ms (9.1%)

Error

0.3b

Counts

2 → 6

Calls

2 calls:

293.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
191.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 177 to 149 computations (15.8% saved)

simplify63.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5070	484

prune46.0ms (0.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	38	8	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	8	47

Error

0.0b

Counts

47 → 8

Compiler

Compiled 416 to 158 computations (62% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))
0.5b	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))
0.6b	(cbrt.f64 (log.f64 (log.f64 x)))

rewrite169.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`add-sqr-sqrt_binary64_1805`
27×	`cbrt-prod_binary64_1814`
18×	`unpow-prod-down_binary64_1862`
14×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
12×	`associate-l_binary64_1724`
11×	`pow1_binary64_1844`
10×	`add-exp-log_binary64_1821` `unswap-sqr_binary64_1751`
7×	`associate-r_binary64_1723`
6×	`unpow2_binary64_1848`
5×	`add-cbrt-cube_binary64_1819` `log-pow_binary64_1872`
4×	`add-log-exp_binary64_1822` `sqr-pow_binary64_1755`
3×	`pow1/3_binary64_1865` `pow-unpow_binary64_1860` `prod-exp_binary64_1832`
2×	`pow-pow_binary64_1855` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
1×	`pow3_binary64_1866` `pow-prod-up_binary64_1853` `pow-plus_binary64_1846` `cbrt-unprod_binary64_1816` `rem-3cbrt-lft_binary64_1808` `*-commutative_binary64_1714`

Counts

4 → 92

Calls

4 calls:

9.0ms	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))
3.0ms	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
1.0ms	(cbrt.f64 (log.f64 (log.f64 x)))

Compiler

Compiled 1777 to 569 computations (68% saved)

series1.3s (24.7%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

401.0ms	(pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2)
359.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
344.0ms	(cbrt.f64 (log.f64 (log.f64 x)))
202.0ms	(*.f64 (pow.f64 (cbrt.f64 (log.f64 (log.f64 x))) 2) (cbrt.f64 (log.f64 (log.f64 x))))

Compiler

Compiled 555 to 405 computations (27% saved)

simplify70.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5133	1191

prune113.0ms (2.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	104	8	112

Error

0.0b

Counts

112 → 8

Compiler

Compiled 1264 to 444 computations (64.9% saved)

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(log.f64 (log.f64 x))
0.3b	(+.f64 (log.f64 (sqrt.f64 x)) (-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (log.f64 x))))
0.3b	(-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (log.f64 x)))

rewrite123.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

32×	`*-un-lft-identity_binary64_1783`
26×	`log-prod_binary64_1869`
25×	`pow1_binary64_1844`
22×	`log-pow_binary64_1872`
15×	`add-sqr-sqrt_binary64_1805`
13×	`add-cube-cbrt_binary64_1818`
12×	`distribute-lft-out--_binary64_1735` `associate--l+_binary64_1720`
11×	`associate-+r+_binary64_1715`
10×	`distribute-lft-out_binary64_1734`
9×	`sqrt-prod_binary64_1799`
8×	`cancel-sign-sub-inv_binary64_1749`
6×	`associate-+l+_binary64_1716`
4×	`add-log-exp_binary64_1822` `add-exp-log_binary64_1821` `associate--r+_binary64_1719`
3×	`add-cbrt-cube_binary64_1819`
2×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `sum-log_binary64_1874`
1×	`flip3--_binary64_1787` `flip--_binary64_1758` `difference-of-squares_binary64_1752` `flip3-+_binary64_1786` `flip-+_binary64_1757` `associate-+r-_binary64_1717` `+-commutative_binary64_1713` `rem-log-exp_binary64_1824`

Counts

3 → 83

Calls

3 calls:

12.0ms	(+.f64 (log.f64 (sqrt.f64 x)) (-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (log.f64 x))))
7.0ms	(-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (log.f64 x)))
1.0ms	(log.f64 (log.f64 x))

Compiler

Compiled 1131 to 227 computations (79.9% saved)

series307.0ms (5.7%)

Error

0.0b

Counts

3 → 9

Calls

3 calls:

198.0ms	(log.f64 (log.f64 x))
55.0ms	(+.f64 (log.f64 (sqrt.f64 x)) (-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (log.f64 x))))
49.0ms	(-.f64 (log.f64 (sqrt.f64 x)) (log.f64 (log.f64 x)))

Compiler

Compiled 321 to 253 computations (21.2% saved)

simplify60.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4931	1127
1	4931	1127

prune83.0ms (1.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	90	2	92
Fresh	1	5	6
Picked	1	0	1
Done	1	0	1
Total	93	7	100

Error

0.0b

Counts

100 → 7

Compiler

Compiled 930 to 262 computations (71.8% saved)

localize17.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
0.5b	(cbrt.f64 (sqrt.f64 x))
0.5b	(cbrt.f64 (sqrt.f64 x))
0.5b	(cbrt.f64 (sqrt.f64 x))

rewrite174.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

58×	`cbrt-prod_binary64_1814`
44×	`add-sqr-sqrt_binary64_1805`
29×	`sqrt-prod_binary64_1799`
22×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
11×	`pow1_binary64_1844` `swap-sqr_binary64_1750`
9×	`pow1/3_binary64_1865` `unswap-sqr_binary64_1751` `associate-l_binary64_1724` `associate-r_binary64_1723`
6×	`add-exp-log_binary64_1821`
4×	`add-log-exp_binary64_1822` `add-cbrt-cube_binary64_1819`
2×	`pow-prod-down_binary64_1854` `pow-prod-up_binary64_1853` `pow-sqr_binary64_1756`
1×	`pow2_binary64_1864` `pow-plus_binary64_1846` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `*-commutative_binary64_1714`

Counts

4 → 98

Calls

4 calls:

9.0ms	(*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
2.0ms	(cbrt.f64 (sqrt.f64 x))
2.0ms	(cbrt.f64 (sqrt.f64 x))
2.0ms	(cbrt.f64 (sqrt.f64 x))

Compiler

Compiled 2159 to 389 computations (82% saved)

series325.0ms (6.1%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

88.0ms	(*.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))
82.0ms	(cbrt.f64 (sqrt.f64 x))
74.0ms	(cbrt.f64 (sqrt.f64 x))
73.0ms	(cbrt.f64 (sqrt.f64 x))

Compiler

Compiled 612 to 413 computations (32.5% saved)

simplify62.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5290	1109

prune114.0ms (2.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	110	7	117

Error

0.0b

Counts

117 → 7

Compiler

Compiled 1481 to 299 computations (79.8% saved)

regimes570.0ms (10.6%)

Accuracy

Total -0.0b remaining (-265.7%)

Threshold costs -0.0b (-265.7%)

Compiler

Compiled 4580 to 2923 computations (36.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	8	15
1	8	15

end1.0ms (0%)

Compiler: Compiled 9 to 6 computations (33.3% saved)

sample649.0ms (12.1%)

Algorithm

1×

intervals

Results

303.0ms

8000×

body

128

valid

Compiler

Compiled 115 to 73 computations (36.5% saved)

Details

analyze325.0ms (6.1%)

sample16.0ms (0.3%)

simplify184.0ms (3.4%)

prune6.0ms (0.1%)

localize5.0ms (0.1%)

rewrite41.0ms (0.8%)

series489.0ms (9.1%)

simplify63.0ms (1.2%)

prune46.0ms (0.9%)

localize10.0ms (0.2%)

rewrite169.0ms (3.2%)

series1.3s (24.7%)

simplify70.0ms (1.3%)

prune113.0ms (2.1%)

localize9.0ms (0.2%)

rewrite123.0ms (2.3%)

series307.0ms (5.7%)

simplify60.0ms (1.1%)

prune83.0ms (1.5%)

localize17.0ms (0.3%)

rewrite174.0ms (3.2%)

series325.0ms (6.1%)

simplify62.0ms (1.2%)

prune114.0ms (2.1%)

regimes570.0ms (10.6%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end1.0ms (0%)

sample649.0ms (12.1%)

Profiling