Details

analyze43.0ms (0.1%)

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
50%	50%	0.1%	3
50%	50%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	31.2%	6.3%	6
68.7%	21.9%	9.5%	7
68.7%	17.2%	14.1%	8
71.8%	11.7%	16.5%	9
71.8%	9%	19.2%	10
73.4%	6%	20.6%	11
73.4%	4.6%	22%	12
74.1%	3.1%	22.8%	13
74.1%	2.3%	23.5%	14

Compiler

Compiled 7 to 7 computations (0% saved)

sample36.0ms (0.1%)

Algorithm

1×

intervals

Results

15.0ms	55×	body	2048	valid
6.0ms	45×	body	1024	valid
3.0ms	31×	body	512	valid
3.0ms	97×	body	128	valid
1.0ms	28×	body	256	valid
0.0ms	4×	body	128	invalid

Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify158.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4875	9
1	4875	9

prune1.0ms (0%)

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

27.7b

Counts

2 → 1

Compiler

Compiled 6 to 6 computations (0% saved)

localize5.0ms (0%)

Local error

Found 4 expressions with local error:

5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)
0.0b	(exp.f64 (*.f64 a x))
0.0b	(exp.f64 (*.f64 a x))
5.2b	(-.f64 (exp.f64 (*.f64 a x)) 1)

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary64_1805`
6×	`*-un-lft-identity_binary64_1783` `add-log-exp_binary64_1822`
3×	`add-cube-cbrt_binary64_1818` `cancel-sign-sub-inv_binary64_1749`
2×	`add-cbrt-cube_binary64_1819` `difference-of-squares_binary64_1752` `add-exp-log_binary64_1821` `pow1_binary64_1844`
1×	`flip3--_binary64_1787` `rem-exp-log_binary64_1823` `difference-of-sqr-1_binary64_1753` `distribute-lft-out--_binary64_1735` `exp-to-pow_binary64_1845` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776` `exp-prod_binary64_1835`

Counts

2 → 28

Calls

4 calls:

4.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
1.0ms	(exp.f64 (*.f64 a x))
0.0ms	(exp.f64 (*.f64 a x))
0.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)

series82.0ms (0.2%)

Counts

2 → 20

Calls

2 calls:

47.0ms	(-.f64 (exp.f64 (*.f64 a x)) 1)
34.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 348 to 316 computations (9.2% saved)

simplify97.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4961	510
1	4961	510

prune91.0ms (0.2%)

Pruning

22 alts after pruning (21 fresh and 1 done)

	Pruned	Kept	Total
New	27	21	48
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	27	22	49

Error

0.2b

Counts

49 → 22

Compiler

Compiled 516 to 323 computations (37.4% saved)

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize2.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

3.9b	(.f64 x (.f64 1/6 (pow.f64 a 3)))
0.8b	(.f64 x (+.f64 a (.f64 x (+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (.f64 1/6 (pow.f64 a 3)))))))
0.2b	(*.f64 1/6 (pow.f64 a 3))
0.0b	(.f64 1/2 (.f64 a a))
0.8b	(.f64 x (+.f64 a (.f64 x (+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (.f64 1/6 (pow.f64 a 3)))))))
3.9b	(.f64 x (.f64 1/6 (pow.f64 a 3)))
7.0b	(.f64 x (+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (*.f64 1/6 (pow.f64 a 3)))))
10.5b	(+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (.f64 1/6 (pow.f64 a 3))))

rewrite36.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-exp-log_binary64_1821`
13×	`add-cbrt-cube_binary64_1819` `add-sqr-sqrt_binary64_1805`
10×	`pow1_binary64_1844`
9×	`add-cube-cbrt_binary64_1818` `prod-exp_binary64_1832` `associate-l_binary64_1724` `*-un-lft-identity_binary64_1783`
7×	`associate-r_binary64_1723`
6×	`add-log-exp_binary64_1822`
5×	`cbrt-unprod_binary64_1816`
4×	`associate-*r/_binary64_1725`
3×	`flip-+_binary64_1757` `*-commutative_binary64_1714` `flip3-+_binary64_1786` `pow-prod-down_binary64_1854`
2×	`distribute-lft-in_binary64_1732` `distribute-rgt-in_binary64_1733` `unswap-sqr_binary64_1751`
1×	`+-commutative_binary64_1713` `sum-log_binary64_1874` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`

Counts

4 → 74

Calls

8 calls:

10.0ms	(.f64 x (+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (*.f64 1/6 (pow.f64 a 3)))))
7.0ms	(+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (.f64 1/6 (pow.f64 a 3))))
6.0ms	(.f64 x (.f64 1/6 (pow.f64 a 3)))
5.0ms	(.f64 x (+.f64 a (.f64 x (+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (.f64 1/6 (pow.f64 a 3)))))))
0.0ms	(.f64 1/2 (.f64 a a))

series808.0ms (1.5%)

Counts

4 → 48

Calls

4 calls:

336.0ms	(.f64 x (+.f64 a (.f64 x (+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (.f64 1/6 (pow.f64 a 3)))))))
216.0ms	(.f64 x (+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (*.f64 1/6 (pow.f64 a 3)))))
167.0ms	(+.f64 (.f64 1/2 (.f64 a a)) (.f64 x (.f64 1/6 (pow.f64 a 3))))
89.0ms	(.f64 x (.f64 1/6 (pow.f64 a 3)))

Compiler

Compiled 1276 to 1032 computations (19.1% saved)

simplify55.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5442	2357

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

5.2b	(-.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))) 1)
0.0b	(exp.f64 (*.f64 a x))
0.0b	(exp.f64 (exp.f64 (*.f64 a x)))
0.0b	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
0.0b	(exp.f64 (exp.f64 (*.f64 a x)))
0.0b	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
0.0b	(exp.f64 (*.f64 a x))
5.2b	(-.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))) 1)

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64_1805` `*-un-lft-identity_binary64_1783`
9×	`add-cube-cbrt_binary64_1818`
8×	`add-log-exp_binary64_1822`
7×	`exp-prod_binary64_1835`
6×	`log-prod_binary64_1869` `pow1_binary64_1844`
5×	`log-pow_binary64_1872`
4×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
3×	`cancel-sign-sub-inv_binary64_1749` `associate--l+_binary64_1720`
2×	`rem-exp-log_binary64_1823` `difference-of-squares_binary64_1752` `distribute-lft-out--_binary64_1735`
1×	`flip3--_binary64_1787` `difference-of-sqr-1_binary64_1753` `exp-to-pow_binary64_1845` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776` `rem-log-exp_binary64_1824`

Counts

4 → 58

Calls

8 calls:

7.0ms	(-.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))) 1)
2.0ms	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
2.0ms	(exp.f64 (exp.f64 (*.f64 a x)))
2.0ms	(exp.f64 (*.f64 a x))
0.0ms	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))

series374.0ms (0.7%)

Counts

4 → 42

Calls

4 calls:

160.0ms	(-.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))) 1)
135.0ms	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
46.0ms	(exp.f64 (exp.f64 (*.f64 a x)))
32.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 764 to 704 computations (7.9% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4962	1062
1	4962	1062

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
0.0b	(sqrt.f64 (exp.f64 (*.f64 a x)))
0.0b	(sqrt.f64 (exp.f64 (*.f64 a x)))
0.0b	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
0.0b	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
0.0b	(exp.f64 (*.f64 a x))
0.0b	(exp.f64 (*.f64 a x))
5.2b	(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`*-un-lft-identity_binary64_1783`
10×	`add-log-exp_binary64_1822`
9×	`add-sqr-sqrt_binary64_1805`
7×	`flip-+_binary64_1757` `flip3-+_binary64_1786`
6×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `add-cube-cbrt_binary64_1818` `pow1_binary64_1844`
5×	`associate-l_binary64_1724`
4×	`distribute-lft-out_binary64_1734` `frac-times_binary64_1793` `associate-r_binary64_1723`
2×	`associate-r/_binary64_1725` `rem-exp-log_binary64_1823` `exp-to-pow_binary64_1845` `associate-l/_binary64_1726` `exp-prod_binary64_1835`
1×	`+-commutative_binary64_1713` `distribute-lft-in_binary64_1732` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `sqrt-prod_binary64_1799` `*-commutative_binary64_1714` `distribute-rgt-in_binary64_1733` `sum-log_binary64_1874` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751`

Counts

4 → 63

Calls

8 calls:

11.0ms	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
4.0ms	(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
2.0ms	(exp.f64 (*.f64 a x))
2.0ms	(exp.f64 (*.f64 a x))
0.0ms	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))

series290.0ms (0.5%)

Counts

4 → 40

Calls

4 calls:

144.0ms	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x)))))
77.0ms	(+.f64 -1 (sqrt.f64 (exp.f64 (*.f64 a x))))
34.0ms	(exp.f64 (*.f64 a x))
34.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 1208 to 916 computations (24.2% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4926	1482
1	4926	1482

prune2.9s (5.3%)

Pruning

122 alts after pruning (116 fresh and 6 done)

	Pruned	Kept	Total
New	224	101	325
Fresh	1	15	16
Picked	0	0	0
Done	0	6	6
Total	225	122	347

Error

0.2b

Counts

347 → 122

Compiler

Compiled 6333 to 3651 computations (42.3% saved)

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (.f64 (.f64 a x) 1/2))
0.0b	(.f64 (.f64 a x) 1/2)
0.0b	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
0.0b	(sqrt.f64 (exp.f64 (*.f64 a x)))
0.0b	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
0.0b	(sqrt.f64 (exp.f64 (*.f64 a x)))
0.0b	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (.f64 (.f64 a x) 1/2))
0.0b	(exp.f64 (*.f64 a x))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`pow1_binary64_1844`
13×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
12×	`*-un-lft-identity_binary64_1783`
9×	`add-sqr-sqrt_binary64_1805` `add-log-exp_binary64_1822`
6×	`add-cube-cbrt_binary64_1818` `cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `pow-prod-down_binary64_1854`
5×	`associate-l_binary64_1724` `sqrt-prod_binary64_1799`
4×	`distribute-lft-out_binary64_1734`
3×	`sqrt-pow1_binary64_1801`
2×	`flip-+_binary64_1757` `exp-to-pow_binary64_1845` `associate-*l/_binary64_1726` `flip3-+_binary64_1786` `exp-prod_binary64_1835`
1×	`rem-exp-log_binary64_1823` `+-commutative_binary64_1713` `pow1/2_binary64_1863` `-commutative_binary64_1714` `sum-log_binary64_1874` `rem-sqrt-square_binary64_1796` `associate-r*_binary64_1723`

Counts

4 → 63

Calls

8 calls:

11.0ms	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (.f64 (.f64 a x) 1/2))
4.0ms	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
2.0ms	(sqrt.f64 (exp.f64 (*.f64 a x)))
2.0ms	(exp.f64 (*.f64 a x))
0.0ms	(sqrt.f64 (exp.f64 (*.f64 a x)))

series251.0ms (0.5%)

Counts

4 → 32

Calls

4 calls:

133.0ms	(.f64 (+.f64 1 (sqrt.f64 (exp.f64 (.f64 a x)))) (.f64 (.f64 a x) 1/2))
46.0ms	(sqrt.f64 (exp.f64 (*.f64 a x)))
46.0ms	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
25.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 774 to 626 computations (19.1% saved)

simplify66.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5720	1204

localize5.0ms (0%)

Local error

Found 2 expressions with local error:

5.2b	(-.f64 (+.f64 (*.f64 a x) 1) 1)
5.2b	(-.f64 (+.f64 (*.f64 a x) 1) 1)

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary64_1805` `add-log-exp_binary64_1822`
5×	`*-un-lft-identity_binary64_1783`
3×	`cancel-sign-sub-inv_binary64_1749`
2×	`difference-of-squares_binary64_1752` `add-cube-cbrt_binary64_1818` `diff-log_binary64_1875`
1×	`flip3--_binary64_1787` `add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `difference-of-sqr-1_binary64_1753` `distribute-lft-out--_binary64_1735` `sum-log_binary64_1874` `associate--l+_binary64_1720` `flip--_binary64_1758` `sub-neg_binary64_1776` `pow1_binary64_1844`

Counts

1 → 20

Calls

2 calls:

7.0ms	(-.f64 (+.f64 (*.f64 a x) 1) 1)
0.0ms	(-.f64 (+.f64 (*.f64 a x) 1) 1)

series38.0ms (0.1%)

Counts

1 → 6

Calls

1 calls:

38.0ms

(-.f64 (+.f64 (*.f64 a x) 1) 1)

Compiler

Compiled 36 to 36 computations (0% saved)

simplify85.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	6435	220

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (.f64 x 1/6) a)
0.1b	(pow.f64 (.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (*.f64 x 1/6) a)))) 3)
0.1b	(.f64 (.f64 a a) (+.f64 1/2 (.f64 (.f64 x 1/6) a)))
0.0b	(+.f64 1/2 (.f64 (.f64 x 1/6) a))
0.3b	(*.f64 x 1/6)
0.8b	(.f64 x (+.f64 a (cbrt.f64 (pow.f64 (.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (.f64 x 1/6) a)))) 3))))
7.0b	(.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (*.f64 x 1/6) a))))
18.0b	(cbrt.f64 (pow.f64 (.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (*.f64 x 1/6) a)))) 3))

rewrite37.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `pow1_binary64_1844`
14×	`add-sqr-sqrt_binary64_1805`
12×	`*-un-lft-identity_binary64_1783`
10×	`associate-*r/_binary64_1725` `add-cube-cbrt_binary64_1818`
9×	`associate-l_binary64_1724`
8×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `cbrt-prod_binary64_1814` `pow-prod-down_binary64_1854` `associate-r_binary64_1723`
5×	`distribute-lft-in_binary64_1732` `distribute-rgt-in_binary64_1733`
4×	`add-log-exp_binary64_1822`
3×	`flip-+_binary64_1757` `*-commutative_binary64_1714` `flip3-+_binary64_1786`
2×	`cbrt-div_binary64_1815` `cube-div_binary64_1812` `unswap-sqr_binary64_1751`
1×	`sqr-pow_binary64_1755` `rem-cbrt-cube_binary64_1807` `cube-mult_binary64_1813` `distribute-lft-out_binary64_1734` `unpow3_binary64_1849` `unpow-prod-down_binary64_1862` `pow1/3_binary64_1865` `cube-prod_binary64_1811`

Counts

4 → 87

Calls

8 calls:

11.0ms	(.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (*.f64 x 1/6) a))))
8.0ms	(.f64 x (+.f64 a (cbrt.f64 (pow.f64 (.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (.f64 x 1/6) a)))) 3))))
4.0ms	(*.f64 x 1/6)
4.0ms	(cbrt.f64 (pow.f64 (.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (*.f64 x 1/6) a)))) 3))
0.0ms	(+.f64 1/2 (.f64 (.f64 x 1/6) a))

series775.0ms (1.4%)

Counts

4 → 45

Calls

4 calls:

376.0ms	(.f64 x (+.f64 a (cbrt.f64 (pow.f64 (.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (.f64 x 1/6) a)))) 3))))
196.0ms	(cbrt.f64 (pow.f64 (.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (*.f64 x 1/6) a)))) 3))
185.0ms	(.f64 x (.f64 (.f64 a a) (+.f64 1/2 (.f64 (*.f64 x 1/6) a))))
18.0ms	(*.f64 x 1/6)

Compiler

Compiled 1285 to 1075 computations (16.3% saved)

simplify60.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5318	2649

localize22.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 1 (sqrt.f64 (exp.f64 (*.f64 a x))))
0.0b	(sqrt.f64 (exp.f64 (*.f64 a x)))
0.0b	(.f64 (.f64 a x) 1/2)
0.0b	(.f64 1/8 (.f64 a a))
0.2b	(*.f64 1/48 (pow.f64 a 3))
3.9b	(.f64 x (.f64 1/48 (pow.f64 a 3)))
10.5b	(+.f64 (.f64 1/8 (.f64 a a)) (.f64 x (.f64 1/48 (pow.f64 a 3))))
12.6b	(.f64 (.f64 x x) (+.f64 (.f64 1/8 (.f64 a a)) (.f64 x (.f64 1/48 (pow.f64 a 3)))))

rewrite42.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-exp-log_binary64_1821`
18×	`add-sqr-sqrt_binary64_1805`
16×	`add-cbrt-cube_binary64_1819` `associate-r_binary64_1723`
13×	`prod-exp_binary64_1832`
11×	`pow1_binary64_1844`
10×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
7×	`cbrt-unprod_binary64_1816` `associate-l_binary64_1724`
6×	`add-log-exp_binary64_1822`
5×	`unswap-sqr_binary64_1751`
4×	`unpow-prod-down_binary64_1862` `pow-prod-down_binary64_1854` `cube-prod_binary64_1811`
3×	`*-commutative_binary64_1714`
2×	`associate-*r/_binary64_1725` `sqr-pow_binary64_1755` `flip-+_binary64_1757` `flip3-+_binary64_1786` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
1×	`+-commutative_binary64_1713` `distribute-lft-in_binary64_1732` `cube-mult_binary64_1813` `unpow3_binary64_1849` `distribute-rgt-in_binary64_1733` `sum-log_binary64_1874`

Counts

4 → 84

Calls

8 calls:

12.0ms	(.f64 (.f64 x x) (+.f64 (.f64 1/8 (.f64 a a)) (.f64 x (.f64 1/48 (pow.f64 a 3)))))
7.0ms	(*.f64 1/48 (pow.f64 a 3))
7.0ms	(+.f64 (.f64 1/8 (.f64 a a)) (.f64 x (.f64 1/48 (pow.f64 a 3))))
6.0ms	(.f64 x (.f64 1/48 (pow.f64 a 3)))
0.0ms	(.f64 1/8 (.f64 a a))

series542.0ms (1%)

Counts

4 → 33

Calls

4 calls:

237.0ms	(.f64 (.f64 x x) (+.f64 (.f64 1/8 (.f64 a a)) (.f64 x (.f64 1/48 (pow.f64 a 3)))))
176.0ms	(+.f64 (.f64 1/8 (.f64 a a)) (.f64 x (.f64 1/48 (pow.f64 a 3))))
97.0ms	(.f64 x (.f64 1/48 (pow.f64 a 3)))
32.0ms	(*.f64 1/48 (pow.f64 a 3))

Compiler

Compiled 1610 to 1198 computations (25.6% saved)

simplify86.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4961	1756
1	4961	1756

localize30.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.1b	(pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)
0.1b	(.f64 (.f64 a a) (-.f64 (.f64 (.f64 x 1/6) a) 1/2))
0.0b	(.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (.f64 x 1/6) a) 1/2)))
0.0b	(*.f64 1/4 (pow.f64 a 4))
4.0b	(.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (*.f64 x 1/6) a) 1/2))))
7.0b	(.f64 x (/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (.f64 x 1/6) a) 1/2)))))))
16.1b	(+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (*.f64 1/6 (pow.f64 a 3))) 3))
54.1b	(/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (*.f64 x 1/6) a) 1/2))))))

rewrite95.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`add-exp-log_binary64_1821`
48×	`distribute-lft-in_binary64_1732` `prod-exp_binary64_1832` `distribute-rgt-in_binary64_1733`
40×	`add-cbrt-cube_binary64_1819`
34×	`add-sqr-sqrt_binary64_1805`
29×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
24×	`cbrt-unprod_binary64_1816` `cancel-sign-sub-inv_binary64_1749`
20×	`pow1_binary64_1844`
19×	`times-frac_binary64_1789`
16×	`associate-r_binary64_1723`
11×	`pow-prod-down_binary64_1854`
8×	`sub-neg_binary64_1776`
7×	`associate-*r/_binary64_1725`
6×	`associate-l_binary64_1724` `add-log-exp_binary64_1822`
4×	`associate-/r/_binary64_1729` `flip-+_binary64_1757` `flip3-+_binary64_1786`
3×	`associate-/l_binary64_1728` `associate-/r_binary64_1727` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
2×	`associate-/l/_binary64_1730` `div-inv_binary64_1780` `cbrt-undiv_binary64_1817` `*-commutative_binary64_1714` `div-exp_binary64_1834` `unswap-sqr_binary64_1751`
1×	`flip3--_binary64_1787` `+-commutative_binary64_1713` `frac-2neg_binary64_1794` `sum-log_binary64_1874` `clear-num_binary64_1782` `flip--_binary64_1758`

Counts

4 → 146

Calls

8 calls:

25.0ms	(.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (*.f64 x 1/6) a) 1/2))))
18.0ms	(.f64 x (/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (.f64 x 1/6) a) 1/2)))))))
15.0ms	(/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (*.f64 x 1/6) a) 1/2))))))
7.0ms	(+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (*.f64 1/6 (pow.f64 a 3))) 3))
0.0ms	(*.f64 1/4 (pow.f64 a 4))

series1.5s (2.8%)

Counts

4 → 38

Calls

4 calls:

692.0ms	(.f64 x (/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (.f64 x 1/6) a) 1/2)))))))
578.0ms	(/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (*.f64 x 1/6) a) 1/2))))))
134.0ms	(.f64 x (.f64 (.f64 1/6 (pow.f64 a 3)) (.f64 (.f64 a a) (-.f64 (.f64 (*.f64 x 1/6) a) 1/2))))
93.0ms	(+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (*.f64 1/6 (pow.f64 a 3))) 3))

Compiler

Compiled 1726 to 1364 computations (21% saved)

simplify120.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

184 → 184

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5106	6841

prune11.7s (21.6%)

Pruning

312 alts after pruning (302 fresh and 10 done)

	Pruned	Kept	Total
New	354	200	554
Fresh	9	102	111
Picked	0	0	0
Done	1	10	11
Total	364	312	676

Error

0.2b

Counts

676 → 312

Compiler

Compiled 21732 to 14940 computations (31.3% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (+.f64 1 (pow.f64 (exp.f64 (.f64 a x)) 1/2)) (.f64 (.f64 a x) 1/2))
0.0b	(pow.f64 (exp.f64 (*.f64 a x)) 1/2)
0.0b	(.f64 (.f64 a x) 1/2)
0.0b	(+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 1/2))
0.0b	(.f64 (.f64 a x) 1/2)
0.0b	(+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 1/2))
0.0b	(.f64 (+.f64 1 (pow.f64 (exp.f64 (.f64 a x)) 1/2)) (.f64 (.f64 a x) 1/2))
0.0b	(exp.f64 (*.f64 a x))

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `pow1_binary64_1844`
10×	`*-un-lft-identity_binary64_1783`
9×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `pow-prod-down_binary64_1854`
8×	`add-log-exp_binary64_1822`
6×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818`
5×	`associate-l_binary64_1724`
4×	`associate-r_binary64_1723`
2×	`distribute-lft-out_binary64_1734` `flip-+_binary64_1757` `associate-l/_binary64_1726` `-commutative_binary64_1714` `flip3-+_binary64_1786`
1×	`rem-exp-log_binary64_1823` `+-commutative_binary64_1713` `exp-to-pow_binary64_1845` `sum-log_binary64_1874` `exp-prod_binary64_1835`

Counts

4 → 64

Calls

8 calls:

11.0ms	(.f64 (+.f64 1 (pow.f64 (exp.f64 (.f64 a x)) 1/2)) (.f64 (.f64 a x) 1/2))
5.0ms	(.f64 (.f64 a x) 1/2)
5.0ms	(+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 1/2))
2.0ms	(exp.f64 (*.f64 a x))
0.0ms	(+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 1/2))

series427.0ms (0.8%)

Counts

4 → 30

Calls

4 calls:

207.0ms	(.f64 (+.f64 1 (pow.f64 (exp.f64 (.f64 a x)) 1/2)) (.f64 (.f64 a x) 1/2))
136.0ms	(+.f64 1 (pow.f64 (exp.f64 (*.f64 a x)) 1/2))
58.0ms	(.f64 (.f64 a x) 1/2)
26.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 770 to 626 computations (18.7% saved)

simplify86.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4956	1186
1	4956	1186

localize4.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify8.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

16.5b	(.f64 (pow.f64 a 3) (.f64 (pow.f64 x 3) (cbrt.f64 -1)))
0.2b	(.f64 -1/6 (.f64 (pow.f64 a 3) (*.f64 (pow.f64 x 3) (cbrt.f64 -1))))
0.2b	(.f64 -1/6 (.f64 (pow.f64 a 3) (*.f64 (pow.f64 x 3) (cbrt.f64 -1))))
16.5b	(.f64 (pow.f64 a 3) (.f64 (pow.f64 x 3) (cbrt.f64 -1)))

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`add-exp-log_binary64_1821`
55×	`prod-exp_binary64_1832`
15×	`associate-l_binary64_1724`
14×	`add-cbrt-cube_binary64_1819` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
9×	`cbrt-unprod_binary64_1816`
6×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
4×	`pow1_binary64_1844`
3×	`unpow-prod-down_binary64_1862` `cube-prod_binary64_1811`
2×	`-commutative_binary64_1714` `add-log-exp_binary64_1822` `associate-r*_binary64_1723`
1×	`sqr-pow_binary64_1755` `cube-mult_binary64_1813` `unpow3_binary64_1849` `pow-prod-down_binary64_1854`

Counts

2 → 64

Calls

4 calls:

11.0ms	(.f64 -1/6 (.f64 (pow.f64 a 3) (*.f64 (pow.f64 x 3) (cbrt.f64 -1))))
9.0ms	(.f64 (pow.f64 a 3) (.f64 (pow.f64 x 3) (cbrt.f64 -1)))
0.0ms	(.f64 -1/6 (.f64 (pow.f64 a 3) (*.f64 (pow.f64 x 3) (cbrt.f64 -1))))
0.0ms	(.f64 (pow.f64 a 3) (.f64 (pow.f64 x 3) (cbrt.f64 -1)))

series348.0ms (0.6%)

Counts

2 → 12

Calls

2 calls:

185.0ms	(.f64 -1/6 (.f64 (pow.f64 a 3) (*.f64 (pow.f64 x 3) (cbrt.f64 -1))))
163.0ms	(.f64 (pow.f64 a 3) (.f64 (pow.f64 x 3) (cbrt.f64 -1)))

Compiler

Compiled 288 to 288 computations (0% saved)

simplify79.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4963	1103
1	4963	1103

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(exp.f64 (exp.f64 (*.f64 a x)))
0.0b	(log.f64 (exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x))))))
0.0b	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
0.0b	(exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))
0.0b	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
0.0b	(exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))
0.0b	(exp.f64 (*.f64 a x))
5.2b	(-.f64 (log.f64 (exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))) 1)

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_1805` `exp-prod_binary64_1835`
17×	`*-un-lft-identity_binary64_1783`
15×	`log-prod_binary64_1869` `log-pow_binary64_1872`
12×	`add-cube-cbrt_binary64_1818`
7×	`add-log-exp_binary64_1822` `pow1_binary64_1844`
6×	`exp-sum_binary64_1829` `associate--l+_binary64_1720`
4×	`add-cbrt-cube_binary64_1819` `difference-of-squares_binary64_1752` `add-exp-log_binary64_1821`
3×	`cancel-sign-sub-inv_binary64_1749`
2×	`rem-exp-log_binary64_1823` `difference-of-sqr-1_binary64_1753` `distribute-lft-out--_binary64_1735`
1×	`flip3--_binary64_1787` `exp-to-pow_binary64_1845` `diff-log_binary64_1875` `flip--_binary64_1758` `sub-neg_binary64_1776` `rem-log-exp_binary64_1824`

Counts

4 → 71

Calls

8 calls:

10.0ms	(-.f64 (log.f64 (exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))) 1)
4.0ms	(exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))
2.0ms	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
2.0ms	(exp.f64 (*.f64 a x))
0.0ms	(exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))

series625.0ms (1.1%)

Counts

4 → 42

Calls

4 calls:

313.0ms	(-.f64 (log.f64 (exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))) 1)
151.0ms	(exp.f64 (log.f64 (exp.f64 (exp.f64 (*.f64 a x)))))
127.0ms	(log.f64 (exp.f64 (exp.f64 (*.f64 a x))))
34.0ms	(exp.f64 (*.f64 a x))

Compiler

Compiled 860 to 800 computations (7% saved)

simplify95.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4936	1237
1	4936	1237

localize38.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 a (.f64 x 1/6))
0.1b	(pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)
0.1b	(*.f64 1/6 (pow.f64 a 5))
0.0b	(*.f64 1/4 (pow.f64 a 4))
4.3b	(.f64 x (/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (exp.f64 (log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (.f64 1/6 (pow.f64 a 5)))))))))
16.1b	(+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (*.f64 1/6 (pow.f64 a 3))) 3))
36.1b	(/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (exp.f64 (log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (*.f64 1/6 (pow.f64 a 5))))))))
48.2b	(log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (*.f64 1/6 (pow.f64 a 5)))))

rewrite98.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-exp-log_binary64_1821`
25×	`add-sqr-sqrt_binary64_1805`
20×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
19×	`times-frac_binary64_1789`
15×	`associate-r_binary64_1723`
14×	`prod-exp_binary64_1832`
12×	`pow1_binary64_1844`
11×	`add-cbrt-cube_binary64_1819`
6×	`add-log-exp_binary64_1822` `rem-log-exp_binary64_1824`
4×	`associate-/r/_binary64_1729` `flip-+_binary64_1757` `flip3-+_binary64_1786` `pow-prod-down_binary64_1854`
3×	`associate-r/_binary64_1725` `log-pow_binary64_1872` `associate-/l_binary64_1728` `associate-/r_binary64_1727` `associate-l*_binary64_1724`
2×	`associate-/l/_binary64_1730` `cbrt-unprod_binary64_1816` `div-inv_binary64_1780` `associate-*l/_binary64_1726` `cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `unswap-sqr_binary64_1751` `log-div_binary64_1870`
1×	`flip3--_binary64_1787` `log-prod_binary64_1869` `+-commutative_binary64_1713` `*-commutative_binary64_1714` `frac-2neg_binary64_1794` `sum-log_binary64_1874` `clear-num_binary64_1782` `flip--_binary64_1758` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`

Counts

4 → 95

Calls

8 calls:

29.0ms	(.f64 x (/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (exp.f64 (log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (.f64 1/6 (pow.f64 a 5)))))))))
24.0ms	(/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (exp.f64 (log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (*.f64 1/6 (pow.f64 a 5))))))))
13.0ms	(log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (*.f64 1/6 (pow.f64 a 5)))))
7.0ms	(+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (*.f64 1/6 (pow.f64 a 3))) 3))
0.0ms	(*.f64 1/4 (pow.f64 a 4))

series756.0ms (1.4%)

Counts

4 → 33

Calls

4 calls:

291.0ms	(/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (exp.f64 (log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (*.f64 1/6 (pow.f64 a 5))))))))
251.0ms	(.f64 x (/.f64 (+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (.f64 1/6 (pow.f64 a 3))) 3)) (+.f64 (.f64 1/4 (pow.f64 a 4)) (exp.f64 (log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (.f64 1/6 (pow.f64 a 5)))))))))
119.0ms	(log.f64 (.f64 x (.f64 (-.f64 (.f64 a (.f64 x 1/6)) 1/2) (*.f64 1/6 (pow.f64 a 5)))))
94.0ms	(+.f64 (.f64 (pow.f64 a 6) 1/8) (pow.f64 (.f64 x (*.f64 1/6 (pow.f64 a 3))) 3))

Compiler

Compiled 2528 to 2059 computations (18.6% saved)

simplify109.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5043	6001

prune15.0s (27.6%)

Pruning

433 alts after pruning (418 fresh and 15 done)

	Pruned	Kept	Total
New	284	127	411
Fresh	6	291	297
Picked	0	0	0
Done	0	15	15
Total	290	433	723

Error

0.2b

Counts

723 → 433

Compiler

Compiled 8488 to 5953 computations (29.9% saved)

simplify552.0ms (1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	5023	33594

regimes6.0s (11.1%)

Compiler: Compiled 36360 to 27548 computations (24.2% saved)

bsearch114.0ms (0.2%)

Steps

Iters	Range		Point
8	1.1780400927250491e+90	2.4969059444520307e+93	2.8512023937374467e+91
6	1.749671890500869e+63	2.43437913851529e+64	1.7983423256931096e+63
5	3.972461998617829e+30	9.855370919134249e+30	8.001029692762442e+30
7	-2.3142431606423335e+156	-4.874299844342008e+154	-8.209112939621517e+154

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes3.6s (6.5%)

Compiler: Compiled 18010 to 13578 computations (24.6% saved)

bsearch90.0ms (0.2%)

Steps

Iters	Range		Point
8	1.1780400927250491e+90	2.4969059444520307e+93	5.3949203852007904e+91
6	1.749671890500869e+63	2.43437913851529e+64	1.993024066462074e+63
5	3.972461998617829e+30	9.855370919134249e+30	9.746292023465319e+30
7	-2.3142431606423335e+156	-4.874299844342008e+154	-5.004489129148046e+155

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes843.0ms (1.6%)

Compiler: Compiled 3400 to 2640 computations (22.4% saved)

bsearch72.0ms (0.1%)

Steps

Iters	Range		Point
8	1.1780400927250491e+90	2.4969059444520307e+93	5.764384431142674e+92
6	1.749671890500869e+63	2.43437913851529e+64	1.993024066462074e+63
5	3.972461998617829e+30	9.855370919134249e+30	9.746292023465319e+30
7	-2.3142431606423335e+156	-4.874299844342008e+154	-1.4405171466963989e+156

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes753.0ms (1.4%)

Compiler: Compiled 3138 to 2412 computations (23.1% saved)

bsearch73.0ms (0.1%)

Steps

Iters	Range		Point
8	1.1780400927250491e+90	2.4969059444520307e+93	3.015731236062579e+92
6	1.749671890500869e+63	2.43437913851529e+64	2.7717510295379315e+63
5	3.972461998617829e+30	9.855370919134249e+30	9.746292023465319e+30
7	-2.3142431606423335e+156	-4.874299844342008e+154	-2.4228326418509253e+155

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes396.0ms (0.7%)

Compiler: Compiled 1388 to 1106 computations (20.3% saved)

bsearch77.0ms (0.1%)

Steps

Iters	Range		Point
8	1.1780400927250491e+90	2.4969059444520307e+93	1.0544818775008219e+93
6	1.749671890500869e+63	2.43437913851529e+64	2.966432770306896e+63
5	3.972461998617829e+30	9.855370919134249e+30	9.746292023465319e+30
7	-2.3142431606423335e+156	-4.874299844342008e+154	-2.6082210744770845e+155

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes189.0ms (0.3%)

Compiler: Compiled 522 to 426 computations (18.4% saved)

bsearch69.0ms (0.1%)

Steps

Iters	Range		Point
8	1.1780400927250491e+90	2.4969059444520307e+93	2.044028689187582e+93
6	1.749671890500869e+63	2.43437913851529e+64	4.5886738336610246e+63
5	3.972461998617829e+30	9.855370919134249e+30	9.528134232127459e+30
7	-2.3142431606423335e+156	-4.874299844342008e+154	-6.302208157531161e+155

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes139.0ms (0.3%)

Compiler: Compiled 416 to 332 computations (20.2% saved)

bsearch70.0ms (0.1%)

Steps

Iters	Range		Point
8	1.1780400927250491e+90	2.4969059444520307e+93	2.0781189471071655e+91
6	1.749671890500869e+63	2.43437913851529e+64	1.895683196077592e+63
5	3.972461998617829e+30	9.855370919134249e+30	9.746292023465319e+30
6	-2.6205731906977793e+168	-1.8368981112524917e+167	-1.0394536637398784e+168

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes35.0ms (0.1%)

Compiler: Compiled 10 to 26 computations (-160% saved)

bsearch53.0ms (0.1%)

Steps

Iters	Range		Point
8	3.9640412170966204e-94	3.1348686583546037e-90	2.9859537436308303e-90
8	-1.2421857549014547e-97	-5.166155609345707e-101	-1.312928803269667e-100

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes15.0ms (0%)

Compiler: Compiled 8 to 20 computations (-150% saved)

bsearch15.0ms (0%)

Compiler: Compiled 376 to 218 computations (42% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	179	491
1	179	491

end0.0ms (0%)

sample2.6s (4.8%)

Algorithm

1×

intervals

Results

424.0ms	1439×	body	2048	valid
263.0ms	1759×	body	1024	valid
94.0ms	1119×	body	512	valid
79.0ms	3091×	body	128	valid
34.0ms	592×	body	256	valid
4.0ms	143×	body	128	invalid

Compiler

Compiled 18863 to 14213 computations (24.7% saved)