Details

analyze3.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
62.5%	25%	12.5%	4
68.7%	12.5%	18.8%	5
71.8%	6.2%	21.9%	6
73.4%	3.1%	23.5%	7
74.2%	1.6%	24.3%	8
74.6%	0.8%	24.6%	9
75%	0.4%	24.6%	10
75.1%	0.2%	24.7%	11
75.1%	0.1%	24.8%	12
75.1%	0%	24.8%	13
75.2%	0%	24.8%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample27.0ms (0.9%)

Algorithm

1×

intervals

Results

14.0ms	88×	body	1024	valid
4.0ms	50×	body	512	valid
2.0ms	89×	body	128	valid
1.0ms	24×	body	256	valid
1.0ms	5×	body	2048	valid

Compiler

Compiled 13 to 12 computations (7.7% saved)

simplify102.0ms (3.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	168	9
1	168	9

prune5.0ms (0.2%)

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

43.0b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (-.f64 (exp.f64 x) 1) x)
5.3b	(-.f64 (exp.f64 x) 1)

rewrite15.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64_1805`
30×	`*-un-lft-identity_binary64_1783`
21×	`times-frac_binary64_1789`
15×	`add-cube-cbrt_binary64_1818`
10×	`difference-of-squares_binary64_1752`
7×	`associate-/l*_binary64_1728`
5×	`difference-of-sqr-1_binary64_1753` `distribute-lft-out--_binary64_1735`
4×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `add-log-exp_binary64_1822`
3×	`cancel-sign-sub-inv_binary64_1749` `associate-/r*_binary64_1727`
2×	`flip3--_binary64_1787` `associate-/l/_binary64_1730` `flip--_binary64_1758` `pow1_binary64_1844`
1×	`div-sub_binary64_1788` `div-inv_binary64_1780` `diff-log_binary64_1875` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `div-exp_binary64_1834` `clear-num_binary64_1782` `sub-neg_binary64_1776`

Counts

2 → 64

Calls

2 calls:

7.0ms	(/.f64 (-.f64 (exp.f64 x) 1) x)
4.0ms	(-.f64 (exp.f64 x) 1)

series48.0ms (1.5%)

Counts

2 → 12

Calls

2 calls:

32.0ms	(/.f64 (-.f64 (exp.f64 x) 1) x)
16.0ms	(-.f64 (exp.f64 x) 1)

Compiler

Compiled 134 to 114 computations (14.9% saved)

simplify60.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4961	1076
1	4961	1076

prune67.0ms (2.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	74	2	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	2	77

Error

0.0b

Counts

77 → 2

Compiler

Compiled 917 to 503 computations (45.1% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(.f64 x (+.f64 1/2 (.f64 x 1/6)))
0.3b	(*.f64 x 1/6)

rewrite11.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_1805`
6×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `add-cube-cbrt_binary64_1818` `associate-l_binary64_1724` `-un-lft-identity_binary64_1783` `associate-r*_binary64_1723` `pow1_binary64_1844`
2×	`associate-r/_binary64_1725` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `-commutative_binary64_1714` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751` `add-log-exp_binary64_1822`
1×	`distribute-lft-in_binary64_1732` `flip-+_binary64_1757` `distribute-rgt-in_binary64_1733` `flip3-+_binary64_1786`

Counts

2 → 40

Calls

2 calls:

5.0ms	(.f64 x (+.f64 1/2 (.f64 x 1/6)))
4.0ms	(*.f64 x 1/6)

series57.0ms (1.8%)

Counts

2 → 9

Calls

2 calls:

43.0ms	(.f64 x (+.f64 1/2 (.f64 x 1/6)))
14.0ms	(*.f64 x 1/6)

Compiler

Compiled 139 to 127 computations (8.6% saved)

simplify82.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4923	458
1	4923	458

prune36.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

51 → 2

Compiler

Compiled 640 to 500 computations (21.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (+.f64 (exp.f64 x) 1))
0.0b	(pow.f64 (exp.f64 x) 2)
0.0b	(/.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (+.f64 (exp.f64 x) 1)) x)
5.3b	(+.f64 (pow.f64 (exp.f64 x) 2) -1)

rewrite71.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

274×	`times-frac_binary64_1789`
238×	`*-un-lft-identity_binary64_1783`
156×	`add-sqr-sqrt_binary64_1805`
112×	`add-cube-cbrt_binary64_1818`
88×	`difference-of-sqr--1_binary64_1754`
63×	`distribute-lft-out_binary64_1734`
46×	`associate-/l*_binary64_1728`
25×	`unpow-prod-down_binary64_1862`
23×	`sqr-pow_binary64_1755` `unpow2_binary64_1848`
11×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
10×	`associate-/r/_binary64_1729`
7×	`flip-+_binary64_1757` `associate-/r*_binary64_1727` `flip3-+_binary64_1786`
6×	`div-inv_binary64_1780` `add-log-exp_binary64_1822`
5×	`pow1_binary64_1844`
4×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `pow-pow_binary64_1855`
3×	`associate-/l/_binary64_1730` `pow-unpow_binary64_1860` `exp-prod_binary64_1835`
2×	`frac-2neg_binary64_1794` `clear-num_binary64_1782`
1×	`+-commutative_binary64_1713` `sum-log_binary64_1874` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`

Counts

4 → 267

Calls

4 calls:

21.0ms	(/.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (+.f64 (exp.f64 x) 1)) x)
12.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (+.f64 (exp.f64 x) 1))
6.0ms	(+.f64 (pow.f64 (exp.f64 x) 2) -1)
3.0ms	(pow.f64 (exp.f64 x) 2)

series178.0ms (5.7%)

Counts

4 → 24

Calls

4 calls:

78.0ms	(/.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (+.f64 (exp.f64 x) 1)) x)
50.0ms	(/.f64 (+.f64 (pow.f64 (exp.f64 x) 2) -1) (+.f64 (exp.f64 x) 1))
30.0ms	(+.f64 (pow.f64 (exp.f64 x) 2) -1)
20.0ms	(pow.f64 (exp.f64 x) 2)

Compiler

Compiled 436 to 352 computations (19.3% saved)

simplify137.0ms (4.3%)

Algorithm

1×	egg-herbie

Counts

291 → 291

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4929	7434
1	4929	7434

prune331.0ms (10.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	290	1	291
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	291	2	293

Error

0.0b

Counts

293 → 2

Compiler

Compiled 6216 to 3815 computations (38.6% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.7b	(cbrt.f64 (+.f64 (exp.f64 x) 1))
0.7b	(cbrt.f64 (+.f64 (exp.f64 x) 1))
0.7b	(cbrt.f64 (+.f64 (exp.f64 x) 1))
5.3b	(+.f64 (pow.f64 (exp.f64 x) 2) -1)

rewrite25.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_1783`
12×	`cbrt-prod_binary64_1814`
9×	`add-sqr-sqrt_binary64_1805`
7×	`add-cube-cbrt_binary64_1818`
6×	`cbrt-div_binary64_1815` `add-log-exp_binary64_1822`
4×	`add-cbrt-cube_binary64_1819` `difference-of-sqr--1_binary64_1754` `add-exp-log_binary64_1821` `distribute-lft-out_binary64_1734` `flip-+_binary64_1757` `flip3-+_binary64_1786` `pow1_binary64_1844`
3×	`pow1/3_binary64_1865`
1×	`+-commutative_binary64_1713` `sqr-pow_binary64_1755` `unpow2_binary64_1848` `unpow-prod-down_binary64_1862` `sum-log_binary64_1874`

Counts

4 → 58

Calls

4 calls:

6.0ms	(cbrt.f64 (+.f64 (exp.f64 x) 1))
6.0ms	(+.f64 (pow.f64 (exp.f64 x) 2) -1)
4.0ms	(cbrt.f64 (+.f64 (exp.f64 x) 1))
4.0ms	(cbrt.f64 (+.f64 (exp.f64 x) 1))

series281.0ms (8.9%)

Counts

4 → 24

Calls

4 calls:

87.0ms	(cbrt.f64 (+.f64 (exp.f64 x) 1))
83.0ms	(cbrt.f64 (+.f64 (exp.f64 x) 1))
76.0ms	(cbrt.f64 (+.f64 (exp.f64 x) 1))
34.0ms	(+.f64 (pow.f64 (exp.f64 x) 2) -1)

Compiler

Compiled 1070 to 850 computations (20.6% saved)

simplify75.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5268	1081

prune124.0ms (4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	82	2	84

Error

Counts

84 → 2

Compiler

Compiled 2679 to 1862 computations (30.5% saved)

regimes103.0ms (3.3%)

Accuracy

Total 0.3b remaining (86.3%)

Threshold costs 0.3b (86.3%)

Compiler

Compiled 863 to 646 computations (25.1% saved)

bsearch20.0ms (0.6%)

Steps

Iters	Range		Point
9	-0.05167305611259264	-6.29516150395975e-07	-0.0001289306651216294

Compiler

Compiled 1 to 1 computations (0% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	79
1	38	79

end0.0ms (0%)

sample1.3s (39.8%)

Algorithm

1×

intervals

Results

409.0ms	2697×	body	1024	valid
110.0ms	1295×	body	512	valid
74.0ms	3064×	body	128	valid
47.0ms	289×	body	2048	valid
38.0ms	655×	body	256	valid

Compiler

Compiled 475 to 355 computations (25.3% saved)

Details

analyze3.0ms (0.1%)

sample27.0ms (0.9%)

simplify102.0ms (3.2%)

prune5.0ms (0.2%)

localize4.0ms (0.1%)

rewrite15.0ms (0.5%)

series48.0ms (1.5%)

simplify60.0ms (1.9%)

prune67.0ms (2.1%)

localize5.0ms (0.2%)

rewrite11.0ms (0.4%)

series57.0ms (1.8%)

simplify82.0ms (2.6%)

prune36.0ms (1.2%)

localize8.0ms (0.2%)

rewrite71.0ms (2.3%)

series178.0ms (5.7%)

simplify137.0ms (4.3%)

prune331.0ms (10.5%)

localize13.0ms (0.4%)

rewrite25.0ms (0.8%)

series281.0ms (8.9%)

simplify75.0ms (2.4%)

prune124.0ms (4%)

regimes103.0ms (3.3%)

bsearch20.0ms (0.6%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.3s (39.8%)

Profiling