Details

analyze5.0ms (0.1%)

Algorithm

1×

Search

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

Compiler

Compiled 5 to 5 computations (0% saved)

sample83.0ms (1.2%)

Algorithm

1×

intervals

Results

45.0ms	83×	body	1024	valid
12.0ms	47×	body	512	valid
5.0ms	98×	body	128	valid
5.0ms	6×	body	2048	valid
3.0ms	22×	body	256	valid

Compiler

Compiled 9 to 10 computations (-11.1% saved)

simplify166.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	7	6
1	7	6

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

39.6b

Counts

2 → 1

Compiler

Compiled 8 to 8 computations (0% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

5.3b	(log.f64 (+.f64 1 x))

rewrite28.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

39.5b

Rules

4×	`log-prod_binary64_1528` `*-un-lft-identity_binary64_1442`
2×	`pow1_binary64_1503` `log-div_binary64_1529` `add-cube-cbrt_binary64_1477` `add-sqr-sqrt_binary64_1464` `add-exp-log_binary64_1480`
1×	`log-pow_binary64_1531` `flip3-+_binary64_1445` `flip-+_binary64_1416` `distribute-lft-out_binary64_1393` `rem-log-exp_binary64_1483` `add-log-exp_binary64_1481` `add-cbrt-cube_binary64_1478`

Counts

1 → 15

Calls

1 calls:

6.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 152 to 124 computations (18.4% saved)

series56.0ms (0.8%)

Error

0.0b

Counts

1 → 7

Calls

1 calls:

43.0ms

(log.f64 (+.f64 1 x))

Compiler

Compiled 149 to 126 computations (15.4% saved)

simplify133.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 0 (118.0ms)

Iter	Nodes	Cost
0	5002	222

prune41.0ms (0.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	18	4	22
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	5	23

Error

0.0b

Counts

23 → 5

Compiler

Compiled 227 to 172 computations (24.2% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2)
0.0b	(+.f64 1/3 (*.f64 x -1/4))
0.0b	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
0.2b	(.f64 x (+.f64 1/3 (.f64 x -1/4)))

rewrite177.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

11×	`pow1_binary64_1503` `add-exp-log_binary64_1480` `add-cbrt-cube_binary64_1478`
10×	`add-sqr-sqrt_binary64_1464`
8×	`add-log-exp_binary64_1481`
7×	`add-cube-cbrt_binary64_1477` `*-un-lft-identity_binary64_1442`
6×	`associate-r_binary64_1382`
4×	`pow-prod-down_binary64_1513` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `flip3-+_binary64_1445` `associate-r/_binary64_1384` `flip-+_binary64_1416` `associate-l*_binary64_1383`
3×	`distribute-rgt-in_binary64_1392` `distribute-lft-in_binary64_1391`
2×	`unswap-sqr_binary64_1410` `*-commutative_binary64_1373` `sum-log_binary64_1533` `+-commutative_binary64_1372` `associate-+l+_binary64_1375`

Counts

4 → 69

Calls

4 calls:

19.0ms	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
10.0ms	(.f64 x (+.f64 1/3 (.f64 x -1/4)))
10.0ms	(+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2)
5.0ms	(+.f64 1/3 (*.f64 x -1/4))

Compiler

Compiled 1669 to 1121 computations (32.8% saved)

series245.0ms (3.6%)

Error

0.0b

Counts

4 → 22

Calls

4 calls:

78.0ms	(.f64 x (+.f64 1/3 (.f64 x -1/4)))
55.0ms	(.f64 (.f64 x x) (+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2))
50.0ms	(+.f64 1/3 (*.f64 x -1/4))
36.0ms	(+.f64 (.f64 x (+.f64 1/3 (.f64 x -1/4))) -1/2)

Compiler

Compiled 748 to 534 computations (28.6% saved)

simplify116.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4942	1313
1	4942	1313

prune147.0ms (2.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	91	5	96

Error

0.0b

Counts

96 → 5

Compiler

Compiled 1786 to 1183 computations (33.8% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (log.f64 (+.f64 x 1)))
0.2b	(*.f64 (sqrt.f64 (log.f64 (+.f64 x 1))) (sqrt.f64 (log.f64 (+.f64 x 1))))
5.3b	(log.f64 (+.f64 x 1))
5.3b	(log.f64 (+.f64 x 1))

rewrite222.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

30×	`add-sqr-sqrt_binary64_1464` `sqrt-prod_binary64_1458`
29×	`pow1_binary64_1503`
21×	`*-un-lft-identity_binary64_1442`
15×	`add-cube-cbrt_binary64_1477`
11×	`swap-sqr_binary64_1409`
9×	`log-pow_binary64_1531` `pow1/2_binary64_1522` `sqrt-pow1_binary64_1460`
8×	`log-prod_binary64_1528` `add-exp-log_binary64_1480`
7×	`associate-l_binary64_1383` `associate-r_binary64_1382`
6×	`add-cbrt-cube_binary64_1478`
5×	`pow-prod-up_binary64_1512`
4×	`log-div_binary64_1529` `add-log-exp_binary64_1481` `unswap-sqr_binary64_1410`
3×	`pow-prod-down_binary64_1513` `rem-sqrt-square_binary64_1455` `pow-sqr_binary64_1415`
2×	`flip3-+_binary64_1445` `flip-+_binary64_1416` `distribute-lft-out_binary64_1393` `rem-log-exp_binary64_1483`
1×	`pow2_binary64_1523` `pow-plus_binary64_1505` `prod-exp_binary64_1491` `cbrt-unprod_binary64_1475` `sqrt-unprod_binary64_1462` `sqr-abs_binary64_1457` `rem-square-sqrt_binary64_1454` `*-commutative_binary64_1373`

Counts

4 → 99

Calls

4 calls:

16.0ms	(*.f64 (sqrt.f64 (log.f64 (+.f64 x 1))) (sqrt.f64 (log.f64 (+.f64 x 1))))
7.0ms	(log.f64 (+.f64 x 1))
6.0ms	(log.f64 (+.f64 x 1))
3.0ms	(sqrt.f64 (log.f64 (+.f64 x 1)))

Compiler

Compiled 1750 to 1477 computations (15.6% saved)

series241.0ms (3.5%)

Error

0.0b

Counts

4 → 25

Calls

4 calls:

61.0ms	(sqrt.f64 (log.f64 (+.f64 x 1)))
51.0ms	(log.f64 (+.f64 x 1))
48.0ms	(*.f64 (sqrt.f64 (log.f64 (+.f64 x 1))) (sqrt.f64 (log.f64 (+.f64 x 1))))
47.0ms	(log.f64 (+.f64 x 1))

Compiler

Compiled 904 to 769 computations (14.9% saved)

simplify158.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (117.0ms)

Iter	Nodes	Cost
0	4942	1147
1	4942	1147

prune166.0ms (2.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	124	5	129

Error

0.0b

Counts

129 → 5

Compiler

Compiled 1514 to 1213 computations (19.9% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 x x) x)
0.3b	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
15.7b	(log.f64 (+.f64 (pow.f64 x 3) 1))
16.4b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))

rewrite239.0ms (3.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

23×	`*-un-lft-identity_binary64_1442`
16×	`log-prod_binary64_1528`
13×	`add-sqr-sqrt_binary64_1464`
11×	`pow1_binary64_1503`
10×	`add-cube-cbrt_binary64_1477`
8×	`log-div_binary64_1529`
7×	`log-pow_binary64_1531` `cancel-sign-sub-inv_binary64_1408`
6×	`add-exp-log_binary64_1480` `add-log-exp_binary64_1481`
4×	`flip3-+_binary64_1445` `flip-+_binary64_1416` `distribute-lft-out_binary64_1393` `add-cbrt-cube_binary64_1478` `distribute-lft-out--_binary64_1394` `associate--l+_binary64_1379` `associate--r+_binary64_1378`
2×	`rem-log-exp_binary64_1483` `diff-log_binary64_1534` `flip3--_binary64_1446` `sub-neg_binary64_1435` `flip--_binary64_1417` `difference-of-squares_binary64_1411` `associate--r-_binary64_1381` `associate--l-_binary64_1380`
1×	`distribute-rgt-out--_binary64_1396`

Counts

4 → 78

Calls

4 calls:

36.0ms	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
13.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
12.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
9.0ms	(-.f64 (*.f64 x x) x)

Compiler

Compiled 1930 to 1206 computations (37.5% saved)

series542.0ms (7.9%)

Error

0.0b

Counts

4 → 28

Calls

4 calls:

295.0ms	(log.f64 (+.f64 (pow.f64 x 3) 1))
73.0ms	(-.f64 (*.f64 x x) x)
65.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
65.0ms	(-.f64 (log.f64 (+.f64 (pow.f64 x 3) 1)) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))

Compiler

Compiled 1005 to 822 computations (18.2% saved)

simplify235.0ms (3.5%)

Algorithm

1×	egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 0 (196.0ms)

Iter	Nodes	Cost
0	4884	1811
1	4884	1811

prune174.0ms (2.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	105	1	106
Fresh	0	1	1
Picked	1	0	1
Done	0	3	3
Total	106	5	111

Error

0.0b

Counts

111 → 5

Compiler

Compiled 2097 to 1333 computations (36.4% saved)

regimes233.0ms (3.4%)

Accuracy

Total 0.1b remaining (85.3%)

Threshold costs 0.1b (85.3%)

Compiler

Compiled 960 to 709 computations (26.1% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 3 to 3 computations (0% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	37
1	27	37

end0.0ms (0%)

sample3.3s (49%)

Algorithm

1×

intervals

Results

1.5s	2715×	body	1024	valid
362.0ms	1333×	body	512	valid
184.0ms	251×	body	2048	valid
159.0ms	3015×	body	128	valid
94.0ms	686×	body	256	valid

Compiler

Compiled 349 to 257 computations (26.4% saved)

Details

analyze5.0ms (0.1%)

sample83.0ms (1.2%)

simplify166.0ms (2.4%)

prune4.0ms (0.1%)

localize7.0ms (0.1%)

rewrite28.0ms (0.4%)

series56.0ms (0.8%)

simplify133.0ms (1.9%)

prune41.0ms (0.6%)

localize19.0ms (0.3%)

rewrite177.0ms (2.6%)

series245.0ms (3.6%)

simplify116.0ms (1.7%)

prune147.0ms (2.2%)

localize11.0ms (0.2%)

rewrite222.0ms (3.3%)

series241.0ms (3.5%)

simplify158.0ms (2.3%)

prune166.0ms (2.4%)

localize22.0ms (0.3%)

rewrite239.0ms (3.5%)

series542.0ms (7.9%)

simplify235.0ms (3.5%)

prune174.0ms (2.5%)

regimes233.0ms (3.4%)

bsearch3.0ms (0.1%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample3.3s (49%)

Profiling