Details

analyze81.0ms (3.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
62.4%	37.5%	0.1%	4
68.7%	31.2%	0.1%	5
68.7%	18.7%	12.6%	6
68.7%	18.7%	12.6%	7
68.7%	12.5%	18.8%	8
68.7%	12.5%	18.8%	9
68.7%	9.4%	22%	10
68.7%	9.4%	22%	11
68.7%	7.8%	23.5%	12
68.7%	7.8%	23.5%	13
68.7%	7%	24.3%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample15.0ms (0.6%)

Algorithm

1×

intervals

Results

8.0ms	256×	body	128	valid
1.0ms	26×	body	128	overflowed

Compiler

Compiled 17 to 15 computations (11.8% saved)

simplify170.0ms (6.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	13
1	8	13

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

Merged error: 0.8b

Counts

2 → 1

Compiler

Compiled 16 to 12 computations (25% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
0.7b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite16.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64_1762`
12×	`times-frac_binary64_1768`
11×	`add-sqr-sqrt_binary64_1783` `add-cube-cbrt_binary64_1794`
5×	`distribute-lft-out_binary64_1715`
4×	`associate-/r*_binary64_1708` `add-log-exp_binary64_1798` `add-cbrt-cube_binary64_1795`
3×	`associate-/l*_binary64_1709` `add-exp-log_binary64_1797`
2×	`associate-/r/_binary64_1710` `flip3-+_binary64_1765` `flip-+_binary64_1736` `pow1_binary64_1820`
1×	`frac-2neg_binary64_1773` `clear-num_binary64_1761` `div-inv_binary64_1759` `+-commutative_binary64_1694` `cbrt-undiv_binary64_1793` `div-exp_binary64_1810` `sum-log_binary64_1850`

Counts

2 → 45

Calls

2 calls:

8.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
5.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

series129.0ms (5.1%)

Counts

2 → 6

Calls

2 calls:

91.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
38.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

simplify58.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5165	899

prune39.0ms (1.5%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	48	3	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	49	3	52

Merged error: 0.5b

Counts

52 → 3

Compiler

Compiled 756 to 173 computations (77.1% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
1.0b	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
3.4b	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite27.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64_1762`
11×	`add-sqr-sqrt_binary64_1783`
9×	`add-log-exp_binary64_1798`
8×	`log-prod_binary64_1845`
7×	`add-cube-cbrt_binary64_1794` `pow1_binary64_1820`
6×	`exp-prod_binary64_1811` `log-div_binary64_1846`
5×	`add-exp-log_binary64_1797`
4×	`flip3-+_binary64_1765` `flip-+_binary64_1736` `associate--r+_binary64_1700` `distribute-lft-out--_binary64_1716` `associate--r-_binary64_1703` `add-cbrt-cube_binary64_1795`
3×	`log-pow_binary64_1848` `exp-sum_binary64_1805` `distribute-lft-out_binary64_1715`
2×	`diff-log_binary64_1851` `rem-exp-log_binary64_1799` `difference-of-squares_binary64_1731` `sub-neg_binary64_1755`
1×	`flip3--_binary64_1766` `+-commutative_binary64_1694` `exp-diff_binary64_1807` `flip--_binary64_1737` `sum-log_binary64_1850` `rem-log-exp_binary64_1800`

Counts

4 → 66

Calls

4 calls:

8.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
5.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
5.0ms	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

series260.0ms (10.2%)

Counts

4 → 12

Calls

4 calls:

92.0ms	(exp.f64 (-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))))
70.0ms	(-.f64 a (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))))
65.0ms	(log.f64 (+.f64 (exp.f64 a) (exp.f64 b)))
33.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

simplify67.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4968	1203
1	4968	1203

prune53.0ms (2.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	78	3	81

Merged error: 0.5b

Counts

81 → 3

Compiler

Compiled 1150 to 327 computations (71.6% saved)

localize7.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.0b	(+.f64 (exp.f64 a) (exp.f64 b))
0.0b	(pow.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))) 3)
0.3b	(cbrt.f64 (pow.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))) 3))
0.7b	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))

rewrite48.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`*-un-lft-identity_binary64_1762`
60×	`times-frac_binary64_1768`
47×	`add-sqr-sqrt_binary64_1783` `add-cube-cbrt_binary64_1794`
42×	`cbrt-prod_binary64_1790`
36×	`cube-prod_binary64_1787` `unpow-prod-down_binary64_1838`
17×	`distribute-lft-out_binary64_1715`
10×	`associate-/r/_binary64_1710`
9×	`add-cbrt-cube_binary64_1795`
7×	`add-exp-log_binary64_1797`
6×	`flip3-+_binary64_1765` `flip-+_binary64_1736` `add-log-exp_binary64_1798`
5×	`div-inv_binary64_1759` `pow1_binary64_1820`
4×	`associate-/r*_binary64_1708`
3×	`associate-/l*_binary64_1709` `pow-unpow_binary64_1836`
2×	`cube-mult_binary64_1789` `rem-cube-cbrt_binary64_1784` `sqr-pow_binary64_1734` `cube-div_binary64_1788` `unpow3_binary64_1825` `pow-exp_binary64_1827` `cbrt-undiv_binary64_1793` `div-exp_binary64_1810`
1×	`frac-2neg_binary64_1773` `pow1/3_binary64_1841` `clear-num_binary64_1761` `+-commutative_binary64_1694` `pow-pow_binary64_1831` `rem-cbrt-cube_binary64_1785` `pow-to-exp_binary64_1828` `cbrt-div_binary64_1791` `sum-log_binary64_1850`

Counts

4 → 153

Calls

4 calls:

10.0ms	(cbrt.f64 (pow.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))) 3))
10.0ms	(pow.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))) 3)
7.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
4.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

series415.0ms (16.3%)

Counts

4 → 12

Calls

4 calls:

192.0ms	(pow.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))) 3)
95.0ms	(cbrt.f64 (pow.f64 (/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b))) 3))
93.0ms	(/.f64 (exp.f64 a) (+.f64 (exp.f64 a) (exp.f64 b)))
35.0ms	(+.f64 (exp.f64 a) (exp.f64 b))

simplify83.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5086	3537

prune127.0ms (5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	164	1	165
Fresh	1	0	1
Picked	0	1	1
Done	0	1	1
Total	165	3	168

Merged error: 0.4b

Counts

168 → 3

Compiler

Compiled 2832 to 924 computations (67.4% saved)

localize6.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 1/8 (*.f64 3/16 (-.f64 a b)))
0.0b	(*.f64 3/16 (-.f64 a b))
0.7b	(cbrt.f64 (+.f64 1/8 (*.f64 3/16 (-.f64 a b))))

rewrite17.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary64_1783`
8×	`*-un-lft-identity_binary64_1762`
6×	`add-cube-cbrt_binary64_1794`
5×	`add-log-exp_binary64_1798` `add-cbrt-cube_binary64_1795` `add-exp-log_binary64_1797` `pow1_binary64_1820` `associate-r_binary64_1704`
4×	`sub-neg_binary64_1755`
3×	`cbrt-prod_binary64_1790` `associate-l_binary64_1705`
2×	`flip3-+_binary64_1765` `flip-+_binary64_1736` `associate-*r/_binary64_1706` `distribute-rgt-in_binary64_1714` `distribute-lft-in_binary64_1713` `cbrt-div_binary64_1791` `associate-+r+_binary64_1696`
1×	`flip3--_binary64_1766` `pow-prod-down_binary64_1830` `pow1/3_binary64_1841` `prod-exp_binary64_1808` `unswap-sqr_binary64_1730` `+-commutative_binary64_1694` `distribute-lft-out--_binary64_1716` `difference-of-squares_binary64_1731` `cbrt-unprod_binary64_1792` `flip--_binary64_1737` `*-commutative_binary64_1695` `sum-log_binary64_1850`

Counts

3 → 50

Calls

3 calls:

7.0ms	(*.f64 3/16 (-.f64 a b))
4.0ms	(+.f64 1/8 (*.f64 3/16 (-.f64 a b)))
3.0ms	(cbrt.f64 (+.f64 1/8 (*.f64 3/16 (-.f64 a b))))

series221.0ms (8.7%)

Counts

3 → 9

Calls

3 calls:

157.0ms	(cbrt.f64 (+.f64 1/8 (*.f64 3/16 (-.f64 a b))))
39.0ms	(*.f64 3/16 (-.f64 a b))
25.0ms	(+.f64 1/8 (*.f64 3/16 (-.f64 a b)))

simplify41.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5282	805

prune48.0ms (1.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	57	2	59
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	58	4	62

Merged error: 0.4b

Counts

62 → 4

Compiler

Compiled 799 to 537 computations (32.8% saved)

regimes49.0ms (1.9%)

Compiler: Compiled 278 to 257 computations (7.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	15
1	20	15

end0.0ms (0%)

sample551.0ms (21.6%)

Algorithm

1×

intervals

Results

254.0ms	8000×	body	128	valid
18.0ms	684×	body	128	overflowed

Compiler

Compiled 76 to 70 computations (7.9% saved)

Details

analyze81.0ms (3.2%)

sample15.0ms (0.6%)

simplify170.0ms (6.7%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

rewrite16.0ms (0.6%)

series129.0ms (5.1%)

simplify58.0ms (2.3%)

prune39.0ms (1.5%)

localize8.0ms (0.3%)

rewrite27.0ms (1.1%)

series260.0ms (10.2%)

simplify67.0ms (2.6%)

prune53.0ms (2.1%)

localize7.0ms (0.3%)

rewrite48.0ms (1.9%)

series415.0ms (16.3%)

simplify83.0ms (3.3%)

prune127.0ms (5%)

localize6.0ms (0.2%)

rewrite17.0ms (0.7%)

series221.0ms (8.7%)

simplify41.0ms (1.6%)

prune48.0ms (1.9%)

regimes49.0ms (1.9%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample551.0ms (21.6%)

Profiling