Details

analyze601.0ms (4.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4005	15
1	4005	15
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 13 to 12 computations (7.7% saved)

sample148.0ms (1.2%)

Algorithm

1×

intervals

Results

88.0ms	129×	body	1024	valid
22.0ms	55×	body	512	valid
13.0ms	13×	body	2048	valid
9.0ms	38×	body	256	valid
2.0ms	21×	body	128	valid

Compiler

Compiled 25 to 24 computations (4% saved)

simplify455.0ms (3.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (444.0ms)

Iter	Nodes	Cost
0	4005	15
1	4005	15

prune6.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

58.4b

Counts

2 → 1

Compiler

Compiled 20 to 18 computations (10% saved)

localize13.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (+.f64 1 x) (-.f64 1 x))
6.9b	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))

rewrite273.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

58.3b

Rules

78×	`*-un-lft-identity_binary64_1783`
52×	`add-sqr-sqrt_binary64_1805`
48×	`times-frac_binary64_1789`
30×	`log-prod_binary64_1869`
25×	`add-cube-cbrt_binary64_1818`
18×	`difference-of-squares_binary64_1752`
13×	`distribute-lft-out_binary64_1734`
9×	`distribute-lft-out--_binary64_1735`
7×	`add-exp-log_binary64_1821`
6×	`associate-/r*_binary64_1727`
4×	`associate-/r/_binary64_1729` `add-cbrt-cube_binary64_1819` `associate-/l*_binary64_1728`
3×	`pow1_binary64_1844`
2×	`div-inv_binary64_1780` `flip3--_binary64_1787` `flip--_binary64_1758` `div-exp_binary64_1834` `rem-log-exp_binary64_1824` `add-log-exp_binary64_1822` `associate-/l/_binary64_1730`
1×	`log-pow_binary64_1872` `log-div_binary64_1870` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `flip3-+_binary64_1786` `flip-+_binary64_1757`

Counts

2 → 91

Calls

2 calls:

22.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
17.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 1776 to 1426 computations (19.7% saved)

series139.0ms (1.1%)

Error

0.0b

Counts

2 → 14

Calls

2 calls:

67.0ms	(log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x)))
42.0ms	(/.f64 (+.f64 1 x) (-.f64 1 x))

Compiler

Compiled 338 to 315 computations (6.8% saved)

simplify139.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (97.0ms)

Iter	Nodes	Cost
0	5617	1927

prune198.0ms (1.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	2	106

Error

0.0b

Counts

106 → 2

Compiler

Compiled 1775 to 1409 computations (20.6% saved)

localize29.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
0.1b	(*.f64 2/7 (pow.f64 x 7))
0.1b	(*.f64 2/5 (pow.f64 x 5))
0.1b	(*.f64 2/3 (pow.f64 x 3))

rewrite336.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary64_1805`
26×	`associate-r_binary64_1723`
19×	`add-exp-log_binary64_1821`
14×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
12×	`unpow-prod-down_binary64_1862`
10×	`add-cbrt-cube_binary64_1819` `unswap-sqr_binary64_1751`
9×	`prod-exp_binary64_1832` `associate-l_binary64_1724`
6×	`add-log-exp_binary64_1822` `sqr-pow_binary64_1755`
4×	`pow1_binary64_1844` `cube-prod_binary64_1811`
3×	`pow-to-exp_binary64_1852` `pow-exp_binary64_1851` `cbrt-unprod_binary64_1816` `*-commutative_binary64_1714`
1×	`unpow3_binary64_1849` `cube-mult_binary64_1813` `sum-log_binary64_1874` `flip3-+_binary64_1786` `flip-+_binary64_1757` `+-commutative_binary64_1713`

Counts

4 → 92

Calls

4 calls:

13.0ms	(*.f64 2/3 (pow.f64 x 3))
11.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
11.0ms	(*.f64 2/5 (pow.f64 x 5))
11.0ms	(*.f64 2/7 (pow.f64 x 7))

Compiler

Compiled 2761 to 2097 computations (24% saved)

series476.0ms (3.9%)

Error

0.0b

Counts

4 → 15

Calls

4 calls:

208.0ms	(+.f64 (.f64 2/3 (pow.f64 x 3)) (.f64 2/5 (pow.f64 x 5)))
91.0ms	(*.f64 2/7 (pow.f64 x 7))
80.0ms	(*.f64 2/5 (pow.f64 x 5))
68.0ms	(*.f64 2/3 (pow.f64 x 3))

Compiler

Compiled 930 to 740 computations (20.4% saved)

simplify123.0ms (1%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (89.0ms)

Iter	Nodes	Cost
0	5362	1186

prune277.0ms (2.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

109 → 2

Compiler

Compiled 2928 to 2193 computations (25.1% saved)

localize16.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 x 1)))
0.0b	(/.f64 (-.f64 1 x) (+.f64 x 1))
6.9b	(log.f64 (/.f64 1 (/.f64 (-.f64 1 x) (+.f64 x 1))))

rewrite1.0s (8.4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

372×	`times-frac_binary64_1789`
351×	`*-un-lft-identity_binary64_1783`
253×	`add-sqr-sqrt_binary64_1805`
154×	`add-cube-cbrt_binary64_1818`
95×	`log-prod_binary64_1869`
66×	`difference-of-squares_binary64_1752`
49×	`distribute-lft-out_binary64_1734`
34×	`associate-/r*_binary64_1727`
33×	`distribute-lft-out--_binary64_1735`
28×	`add-exp-log_binary64_1821`
18×	`associate-/r/_binary64_1729`
15×	`div-exp_binary64_1834`
10×	`div-inv_binary64_1780` `add-cbrt-cube_binary64_1819`
9×	`associate-/l*_binary64_1728`
8×	`flip3-+_binary64_1786` `flip-+_binary64_1757`
7×	`rem-log-exp_binary64_1824`
6×	`pow1_binary64_1844`
4×	`1-exp_binary64_1827` `rec-exp_binary64_1833` `cbrt-undiv_binary64_1817`
3×	`log-pow_binary64_1872` `add-log-exp_binary64_1822`
2×	`inv-pow_binary64_1868` `pow-flip_binary64_1857` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `associate-/l/_binary64_1730`
1×	`log-rec_binary64_1871` `log-div_binary64_1870` `div-sub_binary64_1788` `flip3--_binary64_1787` `flip--_binary64_1758`

Counts

3 → 309

Calls

3 calls:

30.0ms	(log.f64 (/.f64 1 (/.f64 (-.f64 1 x) (+.f64 x 1))))
29.0ms	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 x 1)))
18.0ms	(/.f64 (-.f64 1 x) (+.f64 x 1))

Compiler

Compiled 7553 to 6340 computations (16.1% saved)

series204.0ms (1.7%)

Error

0.0b

Counts

3 → 22

Calls

3 calls:

84.0ms	(log.f64 (/.f64 1 (/.f64 (-.f64 1 x) (+.f64 x 1))))
46.0ms	(/.f64 (-.f64 1 x) (+.f64 x 1))
44.0ms	(/.f64 1 (/.f64 (-.f64 1 x) (+.f64 x 1)))

Compiler

Compiled 558 to 525 computations (5.9% saved)

simplify248.0ms (2%)

Algorithm

1×	egg-herbie

Counts

331 → 331

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	4940	7316
1	4940	7316

prune764.0ms (6.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

0.0b

Counts

333 → 2

Compiler

Compiled 6503 to 5319 computations (18.2% saved)

regimes473.0ms (3.8%)

Accuracy

Total 0.2b remaining (98.2%)

Threshold costs 0.2b (98.2%)

Compiler

Compiled 3183 to 2733 computations (14.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	34
1	27	34

end0.0ms (0%)

sample6.3s (51.6%)

Algorithm

1×

intervals

Results

3.0s	3944×	body	1024	valid
799.0ms	2035×	body	512	valid
396.0ms	398×	body	2048	valid
223.0ms	991×	body	256	valid
64.0ms	632×	body	128	valid

Compiler

Compiled 765 to 657 computations (14.1% saved)

Details

analyze601.0ms (4.9%)

sample148.0ms (1.2%)

simplify455.0ms (3.7%)

prune6.0ms (0.1%)

localize13.0ms (0.1%)

rewrite273.0ms (2.2%)

series139.0ms (1.1%)

simplify139.0ms (1.1%)

prune198.0ms (1.6%)

localize29.0ms (0.2%)

rewrite336.0ms (2.7%)

series476.0ms (3.9%)

simplify123.0ms (1%)

prune277.0ms (2.3%)

localize16.0ms (0.1%)

rewrite1.0s (8.4%)

series204.0ms (1.7%)

simplify248.0ms (2%)

prune764.0ms (6.2%)

regimes473.0ms (3.8%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample6.3s (51.6%)

Profiling