Details

analyze399.0ms (11%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	11
1	10	11
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	62.5%	12.5%	4
25%	56.2%	18.8%	5
28.1%	50%	21.9%	6
29.7%	46.9%	23.5%	7
30.5%	45.3%	24.3%	8
30.8%	44.9%	24.3%	9
31.2%	44.5%	24.3%	10
31.3%	44.4%	24.3%	11
31.4%	44.3%	24.3%	12
31.4%	44.2%	24.3%	13
31.5%	44.2%	24.3%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample28.0ms (0.8%)

Algorithm

1×

intervals

Results

12.0ms	91×	body	1024	valid
3.0ms	40×	body	512	valid
2.0ms	98×	body	128	valid
2.0ms	11×	body	2048	valid
1.0ms	16×	body	256	valid

Compiler

Compiled 15 to 12 computations (20% saved)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	10	11
1	10	11

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

41.5b

Counts

2 → 1

Compiler

Compiled 14 to 10 computations (28.6% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.2b	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
2.2b	(-.f64 (exp.f64 x) 1)

rewrite70.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

41.4b

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-/r*_binary64_1727`
5×	`difference-of-sqr-1_binary64_1753` `distribute-lft-out--_binary64_1735`
4×	`add-log-exp_binary64_1822` `add-cbrt-cube_binary64_1819`
3×	`add-exp-log_binary64_1821` `cancel-sign-sub-inv_binary64_1749` `associate-/l*_binary64_1728`
2×	`pow1_binary64_1844` `flip3--_binary64_1787` `flip--_binary64_1758` `associate-/r/_binary64_1729`
1×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `div-exp_binary64_1834` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780`

Counts

2 → 63

Calls

2 calls:

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

Compiler

Compiled 977 to 489 computations (49.9% saved)

series73.0ms (2%)

Error

1.0b

Counts

2 → 12

Calls

2 calls:

42.0ms	(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
17.0ms	(-.f64 (exp.f64 x) 1)

Compiler

Compiled 252 to 184 computations (27% saved)

simplify68.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5105	1195

prune60.0ms (1.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

76 → 2

Compiler

Compiled 998 to 498 computations (50.1% saved)

localize6.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite42.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`add-log-exp_binary64_1822`
6×	`add-sqr-sqrt_binary64_1805`
4×	`pow1_binary64_1844` `add-exp-log_binary64_1821` `add-cbrt-cube_binary64_1819` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
3×	`associate-l_binary64_1724` `associate-r_binary64_1723` `sum-log_binary64_1874`
1×	`pow-prod-down_binary64_1854` `prod-exp_binary64_1832` `cbrt-unprod_binary64_1816` `unswap-sqr_binary64_1751` `*-commutative_binary64_1714` `flip3-+_binary64_1786` `flip-+_binary64_1757` `associate-+l+_binary64_1716` `+-commutative_binary64_1713`

Counts

2 → 31

Calls

2 calls:

9.0ms	(+.f64 (+.f64 1/2 (/.f64 1 x)) (*.f64 x 1/12))
4.0ms	(*.f64 x 1/12)

Compiler

Compiled 486 to 389 computations (20% saved)

series61.0ms (1.7%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

39.0ms	(+.f64 (+.f64 1/2 (/.f64 1 x)) (*.f64 x 1/12))
16.0ms	(*.f64 x 1/12)

Compiler

Compiled 210 to 181 computations (13.8% saved)

simplify67.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4926	453
1	4926	453

prune32.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

0.0b

Counts

45 → 2

Compiler

Compiled 525 to 419 computations (20.2% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
2.2b	(-.f64 1 (exp.f64 (neg.f64 x)))

rewrite68.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

29×	`add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
18×	`times-frac_binary64_1789`
14×	`add-cube-cbrt_binary64_1818`
10×	`difference-of-squares_binary64_1752`
6×	`add-exp-log_binary64_1821` `associate-/r*_binary64_1727`
5×	`distribute-lft-out--_binary64_1735`
4×	`add-log-exp_binary64_1822` `add-cbrt-cube_binary64_1819`
3×	`pow1_binary64_1844` `cancel-sign-sub-inv_binary64_1749` `associate-/l*_binary64_1728`
2×	`flip3--_binary64_1787` `flip--_binary64_1758` `div-exp_binary64_1834` `associate-/r/_binary64_1729`
1×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `inv-pow_binary64_1868` `pow-flip_binary64_1857` `1-exp_binary64_1827` `rec-exp_binary64_1833` `cbrt-undiv_binary64_1817` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `div-inv_binary64_1780`

Counts

2 → 62

Calls

2 calls:

7.0ms	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
5.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

Compiler

Compiled 947 to 597 computations (37% saved)

series70.0ms (1.9%)

Error

0.0b

Counts

2 → 12

Calls

2 calls:

43.0ms	(/.f64 1 (-.f64 1 (exp.f64 (neg.f64 x))))
20.0ms	(-.f64 1 (exp.f64 (neg.f64 x)))

Compiler

Compiled 250 to 219 computations (12.4% saved)

simplify86.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

74 → 74

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4951	1118
1	4951	1118

prune58.0ms (1.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	73	1	74
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	73	3	76

Error

0.0b

Counts

76 → 3

Compiler

Compiled 934 to 600 computations (35.8% saved)

localize9.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b

(*.f64 (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))))

0.0b

(/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))))

2.3b

(-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))

rewrite292.0ms (8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

96×	`add-sqr-sqrt_binary64_1805`
84×	`*-un-lft-identity_binary64_1783`
69×	`times-frac_binary64_1789`
47×	`add-exp-log_binary64_1821`
37×	`add-cube-cbrt_binary64_1818`
33×	`associate-r_binary64_1723`
22×	`sqrt-prod_binary64_1799`
21×	`associate-l_binary64_1724`
18×	`div-exp_binary64_1834`
17×	`add-cbrt-cube_binary64_1819`
16×	`difference-of-squares_binary64_1752` `prod-exp_binary64_1832`
14×	`distribute-lft-out_binary64_1734`
9×	`1-exp_binary64_1827` `rec-exp_binary64_1833` `unswap-sqr_binary64_1751`
8×	`pow1_binary64_1844` `distribute-lft-out--_binary64_1735`
6×	`cancel-sign-sub-inv_binary64_1749` `associate-/r/_binary64_1729`
5×	`add-log-exp_binary64_1822` `cbrt-undiv_binary64_1817` `associate-/r*_binary64_1727`
4×	`cbrt-unprod_binary64_1816`
3×	`inv-pow_binary64_1868` `pow-flip_binary64_1857` `div-inv_binary64_1780` `associate-/l*_binary64_1728` `pow-prod-down_binary64_1854`
2×	`flip3--_binary64_1787` `flip--_binary64_1758` `flip3-+_binary64_1786` `flip-+_binary64_1757`
1×	`diff-log_binary64_1875` `sub-neg_binary64_1776` `frac-2neg_binary64_1794` `clear-num_binary64_1782` `frac-times_binary64_1793` `un-div-inv_binary64_1781` `associate-l/_binary64_1726` `associate-r/_binary64_1725` `*-commutative_binary64_1714`

Counts

3 → 162

Calls

3 calls:

31.0ms

(*.f64 (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))))

7.0ms

(/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))))

6.0ms

(-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))

Compiler

Compiled 4449 to 2576 computations (42.1% saved)

series200.0ms (5.5%)

Error

0.0b

Counts

3 → 18

Calls

3 calls:

101.0ms

(*.f64 (/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))) (/.f64 1 (-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))))

49.0ms

(/.f64 1 (+.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x)))))

35.0ms

(-.f64 1 (sqrt.f64 (exp.f64 (neg.f64 x))))

Compiler

Compiled 694 to 558 computations (19.6% saved)

simplify131.0ms (3.6%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4906	4087
1	4906	4087

prune215.0ms (5.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	179	1	180
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	180	3	183

Error

0.0b

Counts

183 → 3

Compiler

Compiled 4061 to 2254 computations (44.5% saved)

regimes176.0ms (4.8%)

Accuracy

Total 0.7b remaining (98.2%)

Threshold costs 0.7b (98.2%)

Compiler

Compiled 1574 to 1228 computations (22% saved)

bsearch1.0ms (0%)

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

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	46
1	43	46

end0.0ms (0%)

sample1.4s (38.6%)

Algorithm

1×

intervals

Results

375.0ms	2672×	body	1024	valid
105.0ms	1307×	body	512	valid
71.0ms	3052×	body	128	valid
46.0ms	289×	body	2048	valid
33.0ms	680×	body	256	valid
0.0ms	1×	body	2048	invalid

Compiler

Compiled 517 to 408 computations (21.1% saved)

Details

analyze399.0ms (11%)

sample28.0ms (0.8%)

simplify7.0ms (0.2%)

prune2.0ms (0.1%)

localize4.0ms (0.1%)

rewrite70.0ms (1.9%)

series73.0ms (2%)

simplify68.0ms (1.9%)

prune60.0ms (1.6%)

localize6.0ms (0.2%)

rewrite42.0ms (1.2%)

series61.0ms (1.7%)

simplify67.0ms (1.9%)

prune32.0ms (0.9%)

localize5.0ms (0.1%)

rewrite68.0ms (1.9%)

series70.0ms (1.9%)

simplify86.0ms (2.4%)

prune58.0ms (1.6%)

localize9.0ms (0.3%)

rewrite292.0ms (8%)

series200.0ms (5.5%)

simplify131.0ms (3.6%)

prune215.0ms (5.9%)

regimes176.0ms (4.8%)

bsearch1.0ms (0%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.4s (38.6%)

Profiling