Details

analyze6.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	74.9%	25.1%	0
0%	74.9%	25.1%	1
37.5%	37.5%	25.1%	2
37.5%	18.7%	43.8%	3
46.8%	9.4%	43.8%	4
51.5%	4.7%	43.8%	5
51.5%	2.3%	46.1%	6
52.7%	1.2%	46.1%	7
53.3%	0.6%	46.1%	8
53.3%	0.3%	46.4%	9
53.4%	0.1%	46.4%	10
53.5%	0.1%	46.4%	11
53.5%	0%	46.5%	12
53.5%	0%	46.5%	13
53.5%	0%	46.5%	14

Compiler

Compiled 70 to 33 computations (52.9% saved)

sample39.0ms (0%)

Algorithm

1×

intervals

Results

27.0ms	256×	body	128	valid
3.0ms	256×	pre	128	true

Compiler

Compiled 137 to 65 computations (52.6% saved)

simplify228.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (130.0ms)

Iter	Nodes	Cost
0	5050	41

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

0.1b

Counts

2 → 2

Compiler

Compiled 26 to 22 computations (15.4% saved)

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
0.0b	(+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))
0.0b	(+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))))
0.0b	(+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))
0.1b	(.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
0.1b	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite117.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

119×	`add-exp-log_binary64_1821`
76×	`prod-exp_binary64_1832`
75×	`add-cbrt-cube_binary64_1819`
48×	`associate-l_binary64_1724`
46×	`add-sqr-sqrt_binary64_1805`
44×	`cbrt-unprod_binary64_1816`
40×	`times-frac_binary64_1789`
36×	`pow1_binary64_1844`
35×	`*-un-lft-identity_binary64_1783`
33×	`add-cube-cbrt_binary64_1818`
22×	`pow-prod-down_binary64_1854`
15×	`associate-*l/_binary64_1726` `div-exp_binary64_1834`
14×	`sqrt-prod_binary64_1799`
12×	`frac-add_binary64_1791`
9×	`cbrt-undiv_binary64_1817`
6×	`associate-*r/_binary64_1725` `1-exp_binary64_1827` `flip-+_binary64_1757` `frac-times_binary64_1793` `flip3-+_binary64_1786` `rec-exp_binary64_1833`
5×	`unswap-sqr_binary64_1751` `associate-r_binary64_1723`
4×	`add-log-exp_binary64_1822`
3×	`div-inv_binary64_1780` `*-commutative_binary64_1714`
1×	`distribute-lft-in_binary64_1732` `pow1/2_binary64_1863` `distribute-rgt-in_binary64_1733` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`

Counts

4 → 169

Calls

8 calls:

29.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
27.0ms	(.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
13.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
2.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))

series474.0ms (0.5%)

Counts

4 → 9

Calls

4 calls:

341.0ms	(.f64 (/.f64 1 (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
78.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
54.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 882 to 522 computations (40.8% saved)

simplify132.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4910	5228
1	4910	5228

localize19.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/21 (pow.f64 x 6))
0.0b	(/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64))
0.0b	(+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 1/5 (pow.f64 x 4)))))
0.0b	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4)))
0.1b	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
0.1b	(*.f64 1/5 (pow.f64 x 4))
0.3b	(.f64 2/3 (.f64 x x))
1.0b	(sqrt.f64 PI.f64)

rewrite45.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_1805`
30×	`associate-r_binary64_1723`
23×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
20×	`times-frac_binary64_1789`
19×	`add-exp-log_binary64_1821`
16×	`add-cbrt-cube_binary64_1819`
13×	`sqrt-prod_binary64_1799`
12×	`pow1_binary64_1844`
9×	`associate-l_binary64_1724`
8×	`prod-exp_binary64_1832`
7×	`unswap-sqr_binary64_1751`
6×	`cbrt-unprod_binary64_1816`
4×	`unpow-prod-down_binary64_1862` `pow-prod-down_binary64_1854` `add-log-exp_binary64_1822`
3×	`*-commutative_binary64_1714`
2×	`sqr-pow_binary64_1755`
1×	`associate-*r/_binary64_1725` `div-inv_binary64_1780` `pow1/2_binary64_1863` `cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851`

Counts

4 → 99

Calls

8 calls:

19.0ms	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
6.0ms	(*.f64 1/5 (pow.f64 x 4))
6.0ms	(.f64 2/3 (.f64 x x))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4)))

series226.0ms (0.2%)

Counts

4 → 18

Calls

4 calls:

158.0ms	(.f64 (fabs.f64 x) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 PI.f64)))
35.0ms	(.f64 2/3 (.f64 x x))
33.0ms	(*.f64 1/5 (pow.f64 x 4))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 708 to 588 computations (16.9% saved)

simplify77.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5630	2794

prune3.3s (3.4%)

Pruning

128 alts after pruning (126 fresh and 2 done)

	Pruned	Kept	Total
New	169	126	295
Fresh	0	0	0
Picked	0	0	0
Done	0	2	2
Total	169	128	297

Error

Counts

297 → 128

Compiler

Compiled 16756 to 9636 computations (42.5% saved)

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (pow.f64 x 4) 1/5))))) (/.f64 1 (sqrt.f64 PI.f64)))
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 (pow.f64 x 4) 1/5)))))
0.0b	(+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (pow.f64 x 4) 1/5))))
0.0b	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 (pow.f64 x 4) 1/5))
0.1b	(*.f64 (pow.f64 x 6) 1/21)
0.1b	(*.f64 (pow.f64 x 4) 1/5)
0.3b	(.f64 2/3 (.f64 x x))
1.0b	(sqrt.f64 PI.f64)

rewrite30.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64_1805`
19×	`add-exp-log_binary64_1821`
17×	`associate-l_binary64_1724`
13×	`add-cbrt-cube_binary64_1819`
12×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
10×	`pow1_binary64_1844`
9×	`prod-exp_binary64_1832`
8×	`unpow-prod-down_binary64_1862`
7×	`unswap-sqr_binary64_1751` `associate-r_binary64_1723`
5×	`cbrt-unprod_binary64_1816`
4×	`sqr-pow_binary64_1755` `add-log-exp_binary64_1822`
3×	`sqrt-prod_binary64_1799` `*-commutative_binary64_1714` `pow-prod-down_binary64_1854`
2×	`pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
1×	`pow1/2_binary64_1863` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`

Counts

4 → 82

Calls

8 calls:

6.0ms	(.f64 2/3 (.f64 x x))
6.0ms	(*.f64 (pow.f64 x 4) 1/5)
6.0ms	(*.f64 (pow.f64 x 6) 1/21)
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 (pow.f64 x 4) 1/5))

series113.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

48.0ms	(*.f64 (pow.f64 x 6) 1/21)
38.0ms	(*.f64 (pow.f64 x 4) 1/5)
28.0ms	(.f64 2/3 (.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 504 to 438 computations (13.1% saved)

simplify88.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4825	797
1	4825	797

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64)))
0.0b	(.f64 2 (.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64))))
0.0b	(.f64 2 (.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64))))
0.1b	(*.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64)))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary64_1805`
17×	`associate-r_binary64_1723`
16×	`sqrt-prod_binary64_1799`
13×	`*-un-lft-identity_binary64_1783`
12×	`add-cube-cbrt_binary64_1818`
11×	`times-frac_binary64_1789`
9×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821` `pow1_binary64_1844`
6×	`associate-l_binary64_1724`
4×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751`
3×	`associate-*r/_binary64_1725`
2×	`sqrt-div_binary64_1800` `*-commutative_binary64_1714` `add-log-exp_binary64_1822`
1×	`div-inv_binary64_1780`

Counts

2 → 54

Calls

4 calls:

10.0ms	(*.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64)))
8.0ms	(.f64 2 (.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64))))
0.0ms	(.f64 2 (.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64))))
0.0ms	(*.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64)))

series102.0ms (0.1%)

Counts

2 → 6

Calls

2 calls:

58.0ms	(.f64 2 (.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64))))
43.0ms	(*.f64 (fabs.f64 x) (sqrt.f64 (/.f64 1 PI.f64)))

Compiler

Compiled 120 to 120 computations (0% saved)

simplify82.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4987	905
1	4987	905

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/21 (pow.f64 x 6))
0.0b	(/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 (sqrt.f64 PI.f64)))
0.0b	(+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 1/5 (pow.f64 x 4)))))
0.0b	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4)))
0.3b	(.f64 2/3 (.f64 x x))
0.3b	(.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (sqrt.f64 PI.f64))) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 (sqrt.f64 PI.f64))))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)

rewrite73.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

104×	`add-sqr-sqrt_binary64_1805`
84×	`sqrt-prod_binary64_1799`
78×	`times-frac_binary64_1789`
45×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
34×	`associate-l_binary64_1724`
32×	`associate-r_binary64_1723`
21×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
17×	`unswap-sqr_binary64_1751`
13×	`pow1_binary64_1844`
7×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832`
4×	`cbrt-undiv_binary64_1817` `div-exp_binary64_1834` `pow-prod-down_binary64_1854` `add-log-exp_binary64_1822`
2×	`div-inv_binary64_1780` `pow1/2_binary64_1863` `*-commutative_binary64_1714` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`
1×	`associate-r/_binary64_1725` `associate-l/_binary64_1726` `frac-times_binary64_1793`

Counts

4 → 143

Calls

8 calls:

42.0ms	(.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (sqrt.f64 PI.f64))) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 (sqrt.f64 PI.f64))))
6.0ms	(.f64 2/3 (.f64 x x))
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4)))

series201.0ms (0.2%)

Counts

4 → 15

Calls

4 calls:

172.0ms	(.f64 (/.f64 (fabs.f64 x) (sqrt.f64 (sqrt.f64 PI.f64))) (/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))) (sqrt.f64 (sqrt.f64 PI.f64))))
28.0ms	(.f64 2/3 (.f64 x x))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 582 to 468 computations (19.6% saved)

simplify129.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4950	6154
1	4950	6154

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/21 (pow.f64 (fabs.f64 x) 7))
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (*.f64 x x)) 2))
0.0b	(+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2)))
0.0b	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))
1.0b	(cbrt.f64 PI.f64)
1.0b	(cbrt.f64 PI.f64)
1.0b	(sqrt.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))
1.0b	(*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))

rewrite24.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64_1805` `cbrt-prod_binary64_1814`
19×	`pow1_binary64_1844`
14×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `pow1/3_binary64_1865`
9×	`sqrt-pow1_binary64_1801`
6×	`swap-sqr_binary64_1750` `add-exp-log_binary64_1821` `associate-l_binary64_1724` `associate-r_binary64_1723`
4×	`add-cbrt-cube_binary64_1819` `pow-prod-up_binary64_1853` `pow-sqr_binary64_1756` `pow-prod-down_binary64_1854` `unswap-sqr_binary64_1751` `add-log-exp_binary64_1822`
2×	`pow-plus_binary64_1846` `pow2_binary64_1864`
1×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `pow1/2_binary64_1863` `sqrt-prod_binary64_1799` `*-commutative_binary64_1714` `rem-sqrt-square_binary64_1796`

Counts

4 → 81

Calls

8 calls:

7.0ms	(*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))
4.0ms	(sqrt.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))
1.0ms	(cbrt.f64 PI.f64)
1.0ms	(cbrt.f64 PI.f64)
0.0ms	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))
0.0ms	(sqrt.f64 (*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)))
0.0ms	(cbrt.f64 PI.f64)
0.0ms	(cbrt.f64 PI.f64)

simplify75.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5063	617

localize36.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
0.0b	(+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))
0.0b	(+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))))
0.0b	(+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))
0.1b	(.f64 (/.f64 1 (pow.f64 PI.f64 1/2)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
0.1b	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
0.2b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(pow.f64 PI.f64 1/2)

rewrite123.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

131×	`add-exp-log_binary64_1821`
82×	`prod-exp_binary64_1832`
75×	`add-cbrt-cube_binary64_1819`
51×	`associate-l_binary64_1724`
50×	`add-sqr-sqrt_binary64_1805`
45×	`times-frac_binary64_1789`
44×	`cbrt-unprod_binary64_1816`
38×	`*-un-lft-identity_binary64_1783`
36×	`pow1_binary64_1844`
35×	`add-cube-cbrt_binary64_1818`
22×	`pow-prod-down_binary64_1854`
19×	`div-exp_binary64_1834`
15×	`associate-*l/_binary64_1726`
14×	`unpow-prod-down_binary64_1862`
12×	`frac-add_binary64_1791`
9×	`cbrt-undiv_binary64_1817`
8×	`1-exp_binary64_1827` `rec-exp_binary64_1833`
7×	`unswap-sqr_binary64_1751`
6×	`associate-*r/_binary64_1725` `sqr-pow_binary64_1755` `flip-+_binary64_1757` `frac-times_binary64_1793` `flip3-+_binary64_1786`
5×	`associate-r_binary64_1723`
4×	`pow-to-exp_binary64_1852` `pow-exp_binary64_1851` `add-log-exp_binary64_1822`
3×	`pow-unpow_binary64_1860` `div-inv_binary64_1780` `*-commutative_binary64_1714`
1×	`distribute-lft-in_binary64_1732` `unpow1/2_binary64_1847` `distribute-rgt-in_binary64_1733` `pow-pow_binary64_1855`

Counts

4 → 185

Calls

8 calls:

30.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
27.0ms	(.f64 (/.f64 1 (pow.f64 PI.f64 1/2)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
12.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
2.0ms	(pow.f64 PI.f64 1/2)
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))

series497.0ms (0.5%)

Counts

4 → 9

Calls

4 calls:

342.0ms	(.f64 (/.f64 1 (pow.f64 PI.f64 1/2)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 (/.f64 2 3) (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
83.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
72.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
0.0ms	(pow.f64 PI.f64 1/2)

Compiler

Compiled 894 to 534 computations (40.3% saved)

simplify118.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

194 → 194

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5267	5860

prune16.6s (17.1%)

Pruning

299 alts after pruning (293 fresh and 6 done)

	Pruned	Kept	Total
New	399	185	584
Fresh	13	108	121
Picked	0	0	0
Done	1	6	7
Total	413	299	712

Error

Counts

712 → 299

Compiler

Compiled 30759 to 19146 computations (37.8% saved)

localize24.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (.f64 1/5 (fabs.f64 (.f64 x x)))))))) (/.f64 1 (sqrt.f64 PI.f64)))
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (.f64 1/5 (fabs.f64 (*.f64 x x))))))))
0.0b	(+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (.f64 1/5 (fabs.f64 (.f64 x x)))))))
0.0b	(+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (.f64 1/5 (fabs.f64 (*.f64 x x)))))
0.2b	(.f64 1/5 (fabs.f64 (.f64 x x)))
0.3b	(.f64 2/3 (.f64 x x))
1.0b	(sqrt.f64 PI.f64)
14.1b	(sqrt.f64 (pow.f64 x 4))

rewrite21.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64_1805`
12×	`pow1_binary64_1844`
11×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
10×	`add-cube-cbrt_binary64_1818` `sqrt-prod_binary64_1799` `*-un-lft-identity_binary64_1783`
6×	`associate-l_binary64_1724`
4×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `unpow-prod-down_binary64_1862` `pow-prod-down_binary64_1854` `rem-sqrt-square_binary64_1796` `add-log-exp_binary64_1822` `associate-r_binary64_1723`
2×	`sqr-pow_binary64_1755` `pow1/2_binary64_1863` `*-commutative_binary64_1714` `sqrt-pow1_binary64_1801` `unswap-sqr_binary64_1751`

Counts

4 → 69

Calls

8 calls:

6.0ms	(.f64 2/3 (.f64 x x))
4.0ms	(.f64 1/5 (fabs.f64 (.f64 x x)))
3.0ms	(sqrt.f64 (pow.f64 x 4))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (.f64 1/5 (fabs.f64 (*.f64 x x)))))

series92.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

33.0ms	(.f64 2/3 (.f64 x x))
30.0ms	(sqrt.f64 (pow.f64 x 4))
28.0ms	(.f64 1/5 (fabs.f64 (.f64 x x)))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 606 to 504 computations (16.8% saved)

simplify62.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4965	655
1	4965	655

localize7.0ms (0%)

Local error

Found 6 expressions with local error:

1.0b	(sqrt.f64 PI.f64)
0.3b	(/.f64 (fabs.f64 x) (sqrt.f64 PI.f64))
0.0b	(*.f64 2 (/.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))
0.0b	(*.f64 2 (/.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))
0.3b	(/.f64 (fabs.f64 x) (sqrt.f64 PI.f64))
1.0b	(sqrt.f64 PI.f64)

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-sqr-sqrt_binary64_1805`
38×	`times-frac_binary64_1789`
33×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
25×	`sqrt-prod_binary64_1799`
22×	`associate-r_binary64_1723`
10×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
6×	`associate-/r*_binary64_1727` `pow1_binary64_1844`
3×	`associate-/l_binary64_1728` `associate-l*_binary64_1724` `unswap-sqr_binary64_1751` `add-log-exp_binary64_1822`
2×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `div-inv_binary64_1780` `cbrt-undiv_binary64_1817` `div-exp_binary64_1834`
1×	`associate-r/_binary64_1725` `pow1/2_binary64_1863` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `sqrt-pow1_binary64_1801` `clear-num_binary64_1782` `pow-prod-down_binary64_1854` `rem-sqrt-square_binary64_1796`

Counts

3 → 94

Calls

6 calls:

13.0ms	(*.f64 2 (/.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))
4.0ms	(/.f64 (fabs.f64 x) (sqrt.f64 PI.f64))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(*.f64 2 (/.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))
0.0ms	(/.f64 (fabs.f64 x) (sqrt.f64 PI.f64))

series100.0ms (0.1%)

Counts

3 → 6

Calls

3 calls:

55.0ms	(*.f64 2 (/.f64 (fabs.f64 x) (sqrt.f64 PI.f64)))
45.0ms	(/.f64 (fabs.f64 x) (sqrt.f64 PI.f64))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 120 to 120 computations (0% saved)

simplify74.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4926	1477
1	4926	1477

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/21 (pow.f64 x 6))
0.0b	(/.f64 (+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 1/5 (pow.f64 x 4))))) (*.f64 (sqrt.f64 (sqrt.f64 PI.f64)) (sqrt.f64 (sqrt.f64 PI.f64))))
0.0b	(+.f64 (.f64 1/21 (pow.f64 x 6)) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 1/5 (pow.f64 x 4)))))
0.0b	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4)))
0.1b	(*.f64 1/5 (pow.f64 x 4))
0.3b	(.f64 2/3 (.f64 x x))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64_1805`
14×	`add-exp-log_binary64_1821`
11×	`add-cbrt-cube_binary64_1819` `pow1_binary64_1844`
10×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
8×	`associate-r_binary64_1723`
6×	`prod-exp_binary64_1832` `associate-l_binary64_1724` `sqrt-prod_binary64_1799`
4×	`cbrt-unprod_binary64_1816` `unpow-prod-down_binary64_1862` `unswap-sqr_binary64_1751` `add-log-exp_binary64_1822`
3×	`pow-prod-down_binary64_1854`
2×	`sqr-pow_binary64_1755` `pow1/2_binary64_1863` `*-commutative_binary64_1714` `sqrt-pow1_binary64_1801` `rem-sqrt-square_binary64_1796`
1×	`pow-to-exp_binary64_1852` `pow-exp_binary64_1851`

Counts

4 → 70

Calls

8 calls:

6.0ms	(.f64 2/3 (.f64 x x))
6.0ms	(*.f64 1/5 (pow.f64 x 4))
2.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4)))

series75.0ms (0.1%)

Counts

4 → 6

Calls

4 calls:

42.0ms	(*.f64 1/5 (pow.f64 x 4))
33.0ms	(.f64 2/3 (.f64 x x))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 372 to 294 computations (21% saved)

simplify90.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4836	603
1	4836	603

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/21 (pow.f64 (fabs.f64 x) 7))
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (*.f64 x x)) 2))
0.0b	(+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2)))
0.0b	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))
0.5b	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (.f64 PI.f64 PI.f64) 1/6)) (.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (/.f64 (cbrt.f64 1) (sqrt.f64 (cbrt.f64 PI.f64)))))
1.0b	(pow.f64 (*.f64 PI.f64 PI.f64) 1/6)
1.0b	(/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (.f64 PI.f64 PI.f64) 1/6))
1.0b	(cbrt.f64 PI.f64)

rewrite67.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

144×	`add-exp-log_binary64_1821`
70×	`prod-exp_binary64_1832`
41×	`div-exp_binary64_1834`
34×	`add-cbrt-cube_binary64_1819`
19×	`cbrt-unprod_binary64_1816`
18×	`pow-exp_binary64_1851`
17×	`pow1_binary64_1844`
11×	`cbrt-undiv_binary64_1817`
10×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `times-frac_binary64_1789`
9×	`associate-l_binary64_1724` `frac-times_binary64_1793` `pow-to-exp_binary64_1852`
7×	`associate-*r/_binary64_1725`
6×	`pow-pow_binary64_1855`
5×	`associate-/r_binary64_1727` `associate-l/_binary64_1726`
4×	`sqr-pow_binary64_1755` `flip-+_binary64_1757` `unpow-prod-down_binary64_1862` `flip3-+_binary64_1786` `pow-prod-down_binary64_1854` `add-log-exp_binary64_1822`
3×	`pow-unpow_binary64_1860` `cbrt-prod_binary64_1814`
2×	`div-inv_binary64_1780`
1×	`associate-/l_binary64_1728` `pow-plus_binary64_1846` `pow-prod-up_binary64_1853` `pow-sqr_binary64_1756` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `pow1/3_binary64_1865` `clear-num_binary64_1782` `pow2_binary64_1864` `associate-r_binary64_1723`

Counts

4 → 130

Calls

8 calls:

30.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (.f64 PI.f64 PI.f64) 1/6)) (.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (/.f64 (cbrt.f64 1) (sqrt.f64 (cbrt.f64 PI.f64)))))
7.0ms	(/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (.f64 PI.f64 PI.f64) 1/6))
4.0ms	(pow.f64 (*.f64 PI.f64 PI.f64) 1/6)
1.0ms	(cbrt.f64 PI.f64)
0.0ms	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))

series390.0ms (0.4%)

Counts

4 → 6

Calls

4 calls:

390.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (.f64 PI.f64 PI.f64) 1/6)) (.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (/.f64 (cbrt.f64 1) (sqrt.f64 (cbrt.f64 PI.f64)))))
0.0ms	(cbrt.f64 PI.f64)
0.0ms	(/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 (.f64 PI.f64 PI.f64) 1/6))
0.0ms	(pow.f64 (*.f64 PI.f64 PI.f64) 1/6)

Compiler

Compiled 340 to 274 computations (19.4% saved)

simplify102.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4946	5329
1	4946	5329

localize30.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))
0.0b	(+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))
0.0b	(+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3)))
0.0b	(+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))
0.1b	(.f64 (/.f64 1 (pow.f64 PI.f64 1/2)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
0.1b	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
0.2b	(*.f64 2/3 (pow.f64 (fabs.f64 x) 3))
1.0b	(pow.f64 PI.f64 1/2)

rewrite118.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

115×	`add-exp-log_binary64_1821`
73×	`prod-exp_binary64_1832`
56×	`add-cbrt-cube_binary64_1819`
54×	`add-sqr-sqrt_binary64_1805`
41×	`associate-l_binary64_1724`
36×	`times-frac_binary64_1789`
35×	`*-un-lft-identity_binary64_1783`
33×	`cbrt-unprod_binary64_1816`
32×	`add-cube-cbrt_binary64_1818`
27×	`pow1_binary64_1844`
18×	`unpow-prod-down_binary64_1862`
16×	`div-exp_binary64_1834` `pow-prod-down_binary64_1854` `associate-r_binary64_1723`
14×	`associate-*l/_binary64_1726`
12×	`frac-add_binary64_1791`
11×	`unswap-sqr_binary64_1751`
8×	`sqr-pow_binary64_1755` `1-exp_binary64_1827` `rec-exp_binary64_1833`
6×	`associate-*r/_binary64_1725` `flip-+_binary64_1757` `cbrt-undiv_binary64_1817` `frac-times_binary64_1793` `flip3-+_binary64_1786`
5×	`pow-to-exp_binary64_1852` `pow-exp_binary64_1851`
4×	`add-log-exp_binary64_1822` `cube-prod_binary64_1811`
3×	`pow-unpow_binary64_1860` `*-commutative_binary64_1714`
2×	`div-inv_binary64_1780`
1×	`distribute-lft-in_binary64_1732` `cube-mult_binary64_1813` `unpow3_binary64_1849` `unpow1/2_binary64_1847` `distribute-rgt-in_binary64_1733` `pow-pow_binary64_1855`

Counts

4 → 178

Calls

8 calls:

33.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
28.0ms	(.f64 (/.f64 1 (pow.f64 PI.f64 1/2)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
7.0ms	(*.f64 2/3 (pow.f64 (fabs.f64 x) 3))
2.0ms	(pow.f64 PI.f64 1/2)
0.0ms	(+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x))))

series475.0ms (0.5%)

Counts

4 → 9

Calls

4 calls:

349.0ms	(.f64 (/.f64 1 (pow.f64 PI.f64 1/2)) (+.f64 (+.f64 (+.f64 (.f64 2 (fabs.f64 x)) (.f64 2/3 (pow.f64 (fabs.f64 x) 3))) (.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))) (.f64 (/.f64 1 21) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))))
73.0ms	(.f64 (/.f64 1 5) (.f64 (.f64 (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)) (fabs.f64 x)))
53.0ms	(*.f64 2/3 (pow.f64 (fabs.f64 x) 3))
0.0ms	(pow.f64 PI.f64 1/2)

Compiler

Compiled 858 to 534 computations (37.8% saved)

simplify113.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5483	5936

prune27.1s (28%)

Pruning

462 alts after pruning (451 fresh and 11 done)

	Pruned	Kept	Total
New	386	191	577
Fresh	28	260	288
Picked	0	0	0
Done	0	11	11
Total	414	462	876

Error

Counts

876 → 462

Compiler

Compiled 37028 to 24039 computations (35.1% saved)

localize26.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125)
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (cbrt.f64 (.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125)))))))
0.0b	(+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125))))))
0.0b	(+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (cbrt.f64 (.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125))))
1.0b	(sqrt.f64 PI.f64)
14.1b	(sqrt.f64 (pow.f64 x 4))
14.1b	(sqrt.f64 (pow.f64 x 4))
19.0b	(cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`sqrt-prod_binary64_1799`
14×	`add-sqr-sqrt_binary64_1805`
9×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
8×	`unpow-prod-down_binary64_1862`
7×	`rem-sqrt-square_binary64_1796`
5×	`pow1_binary64_1844`
4×	`add-cbrt-cube_binary64_1819` `sqr-pow_binary64_1755` `add-exp-log_binary64_1821` `add-log-exp_binary64_1822`
3×	`pow1/2_binary64_1863` `sqrt-pow1_binary64_1801`
1×	`cbrt-prod_binary64_1814` `pow1/3_binary64_1865`

Counts

4 → 60

Calls

8 calls:

7.0ms	(cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125))
3.0ms	(sqrt.f64 (pow.f64 x 4))
2.0ms	(sqrt.f64 (pow.f64 x 4))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (cbrt.f64 (.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125))))

series99.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

47.0ms	(cbrt.f64 (*.f64 (pow.f64 (sqrt.f64 (pow.f64 x 4)) 3) 1/125))
27.0ms	(sqrt.f64 (pow.f64 x 4))
25.0ms	(sqrt.f64 (pow.f64 x 4))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 636 to 546 computations (14.2% saved)

simplify183.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (170.0ms)

Iter	Nodes	Cost
0	4906	551
1	4906	551

localize11.0ms (0%)

Local error

Found 6 expressions with local error:

1.0b	(pow.f64 PI.f64 1/2)
0.3b	(/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2))
0.0b	(*.f64 2 (/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2)))
0.0b	(*.f64 2 (/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2)))
0.3b	(/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2))
1.0b	(pow.f64 PI.f64 1/2)

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-sqr-sqrt_binary64_1805`
45×	`times-frac_binary64_1789`
36×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
25×	`unpow-prod-down_binary64_1862` `associate-r_binary64_1723`
19×	`add-exp-log_binary64_1821`
10×	`add-cbrt-cube_binary64_1819`
9×	`sqr-pow_binary64_1755`
7×	`associate-/r*_binary64_1727`
6×	`div-exp_binary64_1834` `pow1_binary64_1844`
4×	`prod-exp_binary64_1832` `unswap-sqr_binary64_1751`
3×	`associate-/l_binary64_1728` `pow-unpow_binary64_1860` `associate-l*_binary64_1724` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851` `add-log-exp_binary64_1822`
2×	`cbrt-unprod_binary64_1816` `div-inv_binary64_1780` `cbrt-undiv_binary64_1817`
1×	`associate-r/_binary64_1725` `unpow1/2_binary64_1847` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `pow-pow_binary64_1855` `clear-num_binary64_1782` `pow-prod-down_binary64_1854`

Counts

3 → 111

Calls

6 calls:

11.0ms	(*.f64 2 (/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2)))
5.0ms	(/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2))
2.0ms	(pow.f64 PI.f64 1/2)
0.0ms	(*.f64 2 (/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2)))
0.0ms	(/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2))

series102.0ms (0.1%)

Counts

3 → 6

Calls

3 calls:

58.0ms	(*.f64 2 (/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2)))
44.0ms	(/.f64 (fabs.f64 x) (pow.f64 PI.f64 1/2))
0.0ms	(pow.f64 PI.f64 1/2)

Compiler

Compiled 120 to 120 computations (0% saved)

simplify106.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4910	1730
1	4910	1730

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (*.f64 (sqrt.f64 (pow.f64 x 4)) 1/5)))))) (/.f64 1 (sqrt.f64 PI.f64)))
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (.f64 (sqrt.f64 (pow.f64 x 4)) 1/5))))))
0.0b	(+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (.f64 (sqrt.f64 (pow.f64 x 4)) 1/5)))
0.0b	(+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (*.f64 (sqrt.f64 (pow.f64 x 4)) 1/5)))))
0.3b	(.f64 2/3 (.f64 x x))
1.0b	(sqrt.f64 PI.f64)
14.1b	(sqrt.f64 (pow.f64 x 4))
14.1b	(sqrt.f64 (pow.f64 x 4))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`sqrt-prod_binary64_1799`
16×	`add-sqr-sqrt_binary64_1805`
10×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `pow1_binary64_1844`
9×	`add-cbrt-cube_binary64_1819` `add-exp-log_binary64_1821`
8×	`unpow-prod-down_binary64_1862`
7×	`rem-sqrt-square_binary64_1796`
4×	`sqr-pow_binary64_1755` `add-log-exp_binary64_1822`
3×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `pow1/2_binary64_1863` `associate-l_binary64_1724` `sqrt-pow1_binary64_1801` `pow-prod-down_binary64_1854`
1×	`-commutative_binary64_1714` `unswap-sqr_binary64_1751` `associate-r*_binary64_1723`

Counts

4 → 70

Calls

8 calls:

6.0ms	(.f64 2/3 (.f64 x x))
3.0ms	(sqrt.f64 (pow.f64 x 4))
2.0ms	(sqrt.f64 (pow.f64 x 4))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (.f64 (pow.f64 x 6) 1/21) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (.f64 (sqrt.f64 (pow.f64 x 4)) (*.f64 (sqrt.f64 (pow.f64 x 4)) 1/5)))))

series83.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

30.0ms	(sqrt.f64 (pow.f64 x 4))
28.0ms	(.f64 2/3 (.f64 x x))
24.0ms	(sqrt.f64 (pow.f64 x 4))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 600 to 516 computations (14% saved)

simplify73.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4858	569
1	4858	569

localize33.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/21 (pow.f64 (fabs.f64 x) 7))
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (*.f64 x x)) 2))
0.0b	(+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2)))
0.0b	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))
0.5b	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 PI.f64 1/3)) (.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (/.f64 (cbrt.f64 1) (sqrt.f64 (cbrt.f64 PI.f64)))))
1.0b	(pow.f64 PI.f64 1/3)
1.0b	(/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 PI.f64 1/3))
1.0b	(cbrt.f64 PI.f64)

rewrite60.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

102×	`add-exp-log_binary64_1821`
48×	`add-cbrt-cube_binary64_1819`
47×	`prod-exp_binary64_1832`
33×	`cbrt-unprod_binary64_1816`
31×	`div-exp_binary64_1834`
21×	`cbrt-undiv_binary64_1817`
14×	`add-sqr-sqrt_binary64_1805` `add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783` `times-frac_binary64_1789`
12×	`unpow-prod-down_binary64_1862`
11×	`associate-l_binary64_1724`
10×	`pow1_binary64_1844`
9×	`frac-times_binary64_1793` `pow-to-exp_binary64_1852` `pow-exp_binary64_1851` `unpow1/3_binary64_1850`
7×	`associate-r/_binary64_1725` `associate-/r_binary64_1727`
5×	`associate-*l/_binary64_1726`
4×	`sqr-pow_binary64_1755` `flip-+_binary64_1757` `flip3-+_binary64_1786` `add-log-exp_binary64_1822`
3×	`pow-unpow_binary64_1860` `cbrt-prod_binary64_1814` `pow-prod-down_binary64_1854`
2×	`div-inv_binary64_1780`
1×	`associate-/l_binary64_1728` `-commutative_binary64_1714` `frac-2neg_binary64_1794` `pow-pow_binary64_1855` `pow1/3_binary64_1865` `clear-num_binary64_1782` `associate-r_binary64_1723`

Counts

4 → 133

Calls

8 calls:

27.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 PI.f64 1/3)) (.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (/.f64 (cbrt.f64 1) (sqrt.f64 (cbrt.f64 PI.f64)))))
7.0ms	(/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 PI.f64 1/3))
2.0ms	(pow.f64 PI.f64 1/3)
1.0ms	(cbrt.f64 PI.f64)
0.0ms	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))

series373.0ms (0.4%)

Counts

4 → 6

Calls

4 calls:

373.0ms	(.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 PI.f64 1/3)) (.f64 (+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (.f64 1/21 (pow.f64 (fabs.f64 x) 7))) (/.f64 (cbrt.f64 1) (sqrt.f64 (cbrt.f64 PI.f64)))))
0.0ms	(cbrt.f64 PI.f64)
0.0ms	(/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (pow.f64 PI.f64 1/3))
0.0ms	(pow.f64 PI.f64 1/3)

Compiler

Compiled 340 to 274 computations (19.4% saved)

simplify117.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4930	4523
1	4930	4523

localize40.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(*.f64 1/21 (pow.f64 (fabs.f64 x) 7))
0.0b	(.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (*.f64 x x)) 2))
0.0b	(+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2)))
0.0b	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))
1.0b	(.f64 (.f64 (cbrt.f64 (cbrt.f64 PI.f64)) (cbrt.f64 (cbrt.f64 PI.f64))) (cbrt.f64 (cbrt.f64 PI.f64)))
1.0b	(cbrt.f64 PI.f64)
1.0b	(cbrt.f64 PI.f64)
1.0b	(cbrt.f64 PI.f64)

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`pow1_binary64_1844`
21×	`cbrt-prod_binary64_1814`
13×	`add-sqr-sqrt_binary64_1805`
12×	`pow1/3_binary64_1865`
10×	`add-cube-cbrt_binary64_1818` `*-un-lft-identity_binary64_1783`
9×	`add-exp-log_binary64_1821` `pow-prod-up_binary64_1853` `associate-r_binary64_1723`
6×	`pow-plus_binary64_1846`
5×	`add-cbrt-cube_binary64_1819` `pow-prod-down_binary64_1854`
4×	`add-log-exp_binary64_1822`
3×	`cbrt-unprod_binary64_1816` `prod-exp_binary64_1832` `pow-sqr_binary64_1756` `unswap-sqr_binary64_1751`
2×	`pow2_binary64_1864`
1×	`pow3_binary64_1866` `rem-3cbrt-lft_binary64_1808` `associate-l_binary64_1724` `*-commutative_binary64_1714`

Counts

4 → 73

Calls

8 calls:

12.0ms	(.f64 (.f64 (cbrt.f64 (cbrt.f64 PI.f64)) (cbrt.f64 (cbrt.f64 PI.f64))) (cbrt.f64 (cbrt.f64 PI.f64)))
1.0ms	(cbrt.f64 PI.f64)
1.0ms	(cbrt.f64 PI.f64)
1.0ms	(cbrt.f64 PI.f64)
0.0ms	(+.f64 (+.f64 (.f64 1/5 (pow.f64 (fabs.f64 x) 5)) (.f64 (fabs.f64 x) (+.f64 (.f64 2/3 (.f64 x x)) 2))) (*.f64 1/21 (pow.f64 (fabs.f64 x) 7)))

series0.0ms (0%)

Counts

4 → 0

Calls

4 calls:

0.0ms	(cbrt.f64 PI.f64)
0.0ms	(.f64 (.f64 (cbrt.f64 (cbrt.f64 PI.f64)) (cbrt.f64 (cbrt.f64 PI.f64))) (cbrt.f64 (cbrt.f64 PI.f64)))
0.0ms	(cbrt.f64 PI.f64)
0.0ms	(cbrt.f64 PI.f64)

simplify45.0ms (0%)

Algorithm

1×	egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4844	576
1	4844	576

prune28.7s (29.7%)

Pruning

549 alts after pruning (533 fresh and 16 done)

	Pruned	Kept	Total
New	360	117	477
Fresh	30	416	446
Picked	0	0	0
Done	0	16	16
Total	390	549	939

Error

Counts

939 → 549

Compiler

Compiled 11802 to 7597 computations (35.6% saved)

simplify1.2s (1.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	5084	78450

regimes8.2s (8.5%)

Compiler: Compiled 105553 to 74508 computations (29.4% saved)

bsearch0.0ms (0%)

regimes350.0ms (0.4%)

Compiler: Compiled 2617 to 2498 computations (4.5% saved)

bsearch0.0ms (0%)

regimes306.0ms (0.3%)

Compiler: Compiled 2083 to 2044 computations (1.9% saved)

bsearch0.0ms (0%)

regimes362.0ms (0.4%)

Compiler: Compiled 2031 to 2000 computations (1.5% saved)

bsearch2.0ms (0%)

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

regimes357.0ms (0.4%)

Compiler: Compiled 1979 to 1956 computations (1.2% saved)

bsearch2.0ms (0%)

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

regimes256.0ms (0.3%)

Compiler: Compiled 1378 to 1367 computations (0.8% saved)

bsearch1.0ms (0%)

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

regimes160.0ms (0.2%)

Compiler: Compiled 1072 to 1073 computations (-0.1% saved)

bsearch0.0ms (0%)

regimes84.0ms (0.1%)

Compiler: Compiled 538 to 540 computations (-0.4% saved)

bsearch0.0ms (0%)

regimes40.0ms (0%)

Compiler: Compiled 170 to 176 computations (-3.5% saved)

bsearch0.0ms (0%)

regimes34.0ms (0%)

Compiler: Compiled 130 to 136 computations (-4.6% saved)

bsearch0.0ms (0%)

regimes8.0ms (0%)

Compiler: Compiled 5 to 8 computations (-60% saved)

bsearch14.0ms (0%)

Compiler: Compiled 250 to 209 computations (16.4% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	86	402
1	86	402

end0.0ms (0%)

sample2.9s (3%)

Algorithm

1×

intervals

Results

758.0ms	8000×	body	128	valid
100.0ms	8001×	pre	128	true
0.0ms	1×	body	128	invalid

Compiler

Compiled 46338 to 33513 computations (27.7% saved)