Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
100%	0%	0%	2

Compiler

Compiled 8 to 6 computations (25% saved)

sample10.0ms (0%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 15 to 12 computations (20% saved)

simplify99.0ms (0%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	8	10
1	8	10

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

14.5b

Counts

2 → 1

Compiler

Compiled 7 to 5 computations (28.6% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

14.5b	(/.f64 x (+.f64 (*.f64 x x) 1))
14.5b	(/.f64 x (+.f64 (*.f64 x x) 1))

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `times-frac_binary64_2130` `*-un-lft-identity_binary64_2124`
3×	`associate-/l_binary64_2069` `associate-/r_binary64_2068` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`associate-/r/_binary64_2070`
1×	`clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `pow1_binary64_2185` `add-log-exp_binary64_2163` `flip3-+_binary64_2127` `flip-+_binary64_2098` `div-inv_binary64_2121` `div-exp_binary64_2175` `frac-2neg_binary64_2135`

Counts

1 → 29

Calls

2 calls:

6.0ms	(/.f64 x (+.f64 (*.f64 x x) 1))
0.0ms	(/.f64 x (+.f64 (*.f64 x x) 1))

series53.0ms (0%)

Counts

1 → 11

Calls

1 calls:

53.0ms

(/.f64 x (+.f64 (*.f64 x x) 1))

Compiler

Compiled 124 to 106 computations (14.5% saved)

simplify96.0ms (0%)

Algorithm

1×	egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 0 (86.0ms)

Iter	Nodes	Cost
0	4913	654
1	4913	654

prune153.0ms (0.1%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	10	30	40
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	10	31	41

Error

Counts

41 → 31

Compiler

Compiled 877 to 539 computations (38.5% saved)

localize7.0ms (0%)

Local error

Found 8 expressions with local error:

14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
0.0b	(/.f64 (/.f64 x (sqrt.f64 (+.f64 (.f64 x x) 1))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
0.0b	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.0b	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.0b	(/.f64 (/.f64 x (sqrt.f64 (+.f64 (.f64 x x) 1))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite69.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

288×	`times-frac_binary64_2130`
164×	`add-sqr-sqrt_binary64_2146`
162×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
156×	`sqrt-prod_binary64_2140`
27×	`associate-/l*_binary64_2069`
22×	`sqrt-div_binary64_2141`
18×	`associate-/r/_binary64_2070`
12×	`associate-/r*_binary64_2068`
11×	`flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`div-inv_binary64_2121`
6×	`pow1_binary64_2185`
4×	`cbrt-undiv_binary64_2158` `add-log-exp_binary64_2163` `div-exp_binary64_2175`
2×	`clear-num_binary64_2123` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204` `frac-2neg_binary64_2135`
1×	`associate-/l/_binary64_2071`

Counts

4 → 262

Calls

8 calls:

18.0ms	(/.f64 (/.f64 x (sqrt.f64 (+.f64 (.f64 x x) 1))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
7.0ms	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
0.0ms	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))

series223.0ms (0.1%)

Counts

4 → 44

Calls

4 calls:

75.0ms	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
60.0ms	(/.f64 (/.f64 x (sqrt.f64 (+.f64 (.f64 x x) 1))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
45.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
42.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 838 to 686 computations (18.1% saved)

simplify160.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

306 → 306

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4924	8894
1	4924	8894

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

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

20.8b	(.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (.f64 x x) 1))
2.2b	(/.f64 x (+.f64 (pow.f64 x 4) -1))
2.2b	(/.f64 x (+.f64 (pow.f64 x 4) -1))
20.8b	(.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (.f64 x x) 1))

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

48×	`add-sqr-sqrt_binary64_2146`
43×	`times-frac_binary64_2130` `*-un-lft-identity_binary64_2124`
28×	`add-cube-cbrt_binary64_2159`
27×	`associate-l_binary64_2065`
21×	`difference-of-sqr--1_binary64_2095`
9×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
7×	`unpow-prod-down_binary64_2203` `distribute-lft-out_binary64_2075` `associate-/r*_binary64_2068` `sqr-pow_binary64_2096`
6×	`cancel-sign-sub-inv_binary64_2090` `associate-r_binary64_2064`
4×	`associate-/r/_binary64_2070` `pow1_binary64_2185` `distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`
3×	`associate-/l*_binary64_2069`
2×	`flip--_binary64_2099` `difference-of-squares_binary64_2093` `flip3--_binary64_2128` `cbrt-undiv_binary64_2158` `unswap-sqr_binary64_2092` `add-log-exp_binary64_2163` `prod-exp_binary64_2173` `sub-neg_binary64_2117` `associate-*r/_binary64_2066` `flip3-+_binary64_2127` `frac-times_binary64_2134` `flip-+_binary64_2098` `div-inv_binary64_2121` `div-exp_binary64_2175` `cbrt-unprod_binary64_2157`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `-commutative_binary64_2055` `associate-l/_binary64_2067` `difference-of-sqr-1_binary64_2094` `frac-2neg_binary64_2135`

Counts

2 → 106

Calls

4 calls:

20.0ms	(.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (.f64 x x) 1))
8.0ms	(/.f64 x (+.f64 (pow.f64 x 4) -1))
0.0ms	(/.f64 x (+.f64 (pow.f64 x 4) -1))
0.0ms	(.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (.f64 x x) 1))

series174.0ms (0.1%)

Counts

2 → 17

Calls

2 calls:

87.0ms	(.f64 (/.f64 x (+.f64 (pow.f64 x 4) -1)) (-.f64 (.f64 x x) 1))
87.0ms	(/.f64 x (+.f64 (pow.f64 x 4) -1))

Compiler

Compiled 263 to 218 computations (17.1% saved)

simplify73.0ms (0%)

Algorithm

1×	egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5050	2050

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

4.9b	(/.f64 (sqrt.f64 x) (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
2.6b	(/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))
2.6b	(/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))
4.9b	(/.f64 (sqrt.f64 x) (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))

rewrite45.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

276×	`times-frac_binary64_2130`
154×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
144×	`sqrt-prod_binary64_2140`
28×	`associate-/r*_binary64_2068`
9×	`associate-/l*_binary64_2069` `add-exp-log_binary64_2162` `div-inv_binary64_2121` `add-cbrt-cube_binary64_2160`
4×	`cbrt-undiv_binary64_2158` `div-exp_binary64_2175`
2×	`clear-num_binary64_2123` `pow1_binary64_2185` `add-log-exp_binary64_2163` `associate-/l/_binary64_2071` `frac-2neg_binary64_2135`
1×	`associate-/r/_binary64_2070` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

2 → 216

Calls

4 calls:

13.0ms	(/.f64 (sqrt.f64 x) (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
7.0ms	(/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))
0.0ms	(/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))
0.0ms	(/.f64 (sqrt.f64 x) (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))

series60.0ms (0%)

Counts

2 → 11

Calls

2 calls:

40.0ms	(/.f64 (sqrt.f64 x) (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
20.0ms	(/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))

Compiler

Compiled 150 to 127 computations (15.3% saved)

simplify147.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

227 → 227

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4905	6190
1	4905	6190

localize13.0ms (0%)

Local error

Found 8 expressions with local error:

15.0b	(cbrt.f64 (+.f64 (*.f64 x x) 1))
6.8b	(/.f64 x (.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (+.f64 (*.f64 x x) 1))))
0.2b	(.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (+.f64 (*.f64 x x) 1)))
0.1b	(/.f64 (/.f64 x (.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (+.f64 (.f64 x x) 1)))) (cbrt.f64 (+.f64 (.f64 x x) 1)))
6.8b	(/.f64 x (.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (+.f64 (*.f64 x x) 1))))
15.0b	(cbrt.f64 (+.f64 (*.f64 x x) 1))
15.0b	(cbrt.f64 (+.f64 (*.f64 x x) 1))
15.0b	(cbrt.f64 (+.f64 (*.f64 x x) 1))

rewrite33.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-div_binary64_2156`
9×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `cbrt-prod_binary64_2155` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124`
8×	`associate-/r/_binary64_2070`
7×	`add-cbrt-cube_binary64_2160`
4×	`pow1_binary64_2185` `add-log-exp_binary64_2163` `frac-times_binary64_2134`
3×	`associate-/l*_binary64_2069` `pow1/3_binary64_2206` `times-frac_binary64_2130`
2×	`cbrt-undiv_binary64_2158` `associate-l/_binary64_2067` `associate-r/_binary64_2066` `div-exp_binary64_2175`
1×	`clear-num_binary64_2123` `associate-/r*_binary64_2068` `prod-exp_binary64_2173` `div-inv_binary64_2121` `cbrt-unprod_binary64_2157` `frac-2neg_binary64_2135`

Counts

4 → 68

Calls

8 calls:

13.0ms	(/.f64 x (.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (+.f64 (*.f64 x x) 1))))
4.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
0.0ms	(/.f64 (/.f64 x (.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (+.f64 (.f64 x x) 1)))) (cbrt.f64 (+.f64 (.f64 x x) 1)))

series496.0ms (0.2%)

Counts

4 → 44

Calls

4 calls:

163.0ms	(/.f64 x (.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (+.f64 (*.f64 x x) 1))))
111.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
111.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
110.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 1460 to 1160 computations (20.5% saved)

simplify96.0ms (0%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4860	2126
1	4860	2126

prune8.4s (3.8%)

Pruning

304 alts after pruning (299 fresh and 5 done)

	Pruned	Kept	Total
New	486	282	768
Fresh	8	17	25
Picked	0	0	0
Done	1	5	6
Total	495	304	799

Error

Counts

799 → 304

Compiler

Compiled 17229 to 10664 computations (38.1% saved)

localize8.0ms (0%)

Local error

Found 8 expressions with local error:

14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
0.0b	(/.f64 (/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
0.0b	(/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.0b	(/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.0b	(/.f64 (/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite45.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

150×	`times-frac_binary64_2130`
93×	`add-sqr-sqrt_binary64_2146`
91×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
48×	`sqrt-prod_binary64_2140`
16×	`associate-/l*_binary64_2069`
11×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
9×	`associate-/r*_binary64_2068` `div-inv_binary64_2121`
6×	`sqrt-div_binary64_2141` `pow1_binary64_2185`
4×	`cbrt-undiv_binary64_2158` `add-log-exp_binary64_2163` `div-exp_binary64_2175`
3×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
2×	`clear-num_binary64_2123` `associate-/r/_binary64_2070` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204` `frac-2neg_binary64_2135`
1×	`associate-/l/_binary64_2071`

Counts

4 → 171

Calls

8 calls:

14.0ms	(/.f64 (/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
3.0ms	(/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.0ms	(/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))

series310.0ms (0.1%)

Counts

4 → 36

Calls

4 calls:

152.0ms	(/.f64 (/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (sqrt.f64 (+.f64 (.f64 x x) 1)))
62.0ms	(/.f64 x (fabs.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))
51.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
44.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 990 to 832 computations (16% saved)

simplify101.0ms (0%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5081	5697

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

14.5b	(/.f64 (neg.f64 x) (-.f64 -1 (*.f64 x x)))
14.5b	(/.f64 (neg.f64 x) (-.f64 -1 (*.f64 x x)))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`times-frac_binary64_2130`
38×	`add-sqr-sqrt_binary64_2146`
27×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
15×	`distribute-lft-neg-in_binary64_2081` `distribute-rgt-neg-in_binary64_2082`
11×	`difference-of-squares_binary64_2093`
10×	`associate-/l*_binary64_2069`
5×	`neg-mul-1_binary64_2120`
4×	`associate-/r*_binary64_2068`
3×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`associate-/r/_binary64_2070`
1×	`flip--_binary64_2099` `clear-num_binary64_2123` `flip3--_binary64_2128` `cbrt-undiv_binary64_2158` `pow1_binary64_2185` `add-log-exp_binary64_2163` `div-sub_binary64_2129` `distribute-frac-neg_binary64_2087` `div-inv_binary64_2121` `div-exp_binary64_2175` `neg-sub0_binary64_2119` `frac-2neg_binary64_2135`

Counts

1 → 70

Calls

2 calls:

7.0ms	(/.f64 (neg.f64 x) (-.f64 -1 (*.f64 x x)))
0.0ms	(/.f64 (neg.f64 x) (-.f64 -1 (*.f64 x x)))

series60.0ms (0%)

Counts

1 → 11

Calls

1 calls:

59.0ms

(/.f64 (neg.f64 x) (-.f64 -1 (*.f64 x x)))

Compiler

Compiled 124 to 106 computations (14.5% saved)

simplify91.0ms (0%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4901	1624
1	4901	1624

localize10.0ms (0%)

Local error

Found 8 expressions with local error:

6.3b	(.f64 x (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) 2)))
0.5b	(/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) 1)) 2))
0.2b	(pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) 1)) 2)
0.1b	(/.f64 (.f64 x (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) 2))) (cbrt.f64 (+.f64 (*.f64 x x) 1)))
0.5b	(/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) 1)) 2))
6.3b	(.f64 x (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) 2)))
15.0b	(cbrt.f64 (+.f64 (*.f64 x x) 1))
15.0b	(cbrt.f64 (+.f64 (*.f64 x x) 1))

rewrite59.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

76×	`times-frac_binary64_2130`
75×	`add-sqr-sqrt_binary64_2146`
57×	`*-un-lft-identity_binary64_2124`
52×	`add-cube-cbrt_binary64_2159`
46×	`unpow-prod-down_binary64_2203`
37×	`associate-r_binary64_2064`
33×	`add-exp-log_binary64_2162`
29×	`cbrt-prod_binary64_2155`
12×	`div-exp_binary64_2175`
11×	`unswap-sqr_binary64_2092` `associate-/r*_binary64_2068` `add-cbrt-cube_binary64_2160`
10×	`prod-exp_binary64_2173`
9×	`sqr-pow_binary64_2096` `unpow2_binary64_2189`
6×	`pow-exp_binary64_2192` `pow1_binary64_2185` `pow-to-exp_binary64_2193` `1-exp_binary64_2168` `rec-exp_binary64_2174`
4×	`cbrt-div_binary64_2156` `add-log-exp_binary64_2163`
3×	`associate-/l_binary64_2069` `associate-l*_binary64_2065`
2×	`cbrt-undiv_binary64_2158` `pow1/3_binary64_2206` `flip3-+_binary64_2127` `flip-+_binary64_2098` `div-inv_binary64_2121` `cbrt-unprod_binary64_2157`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `un-div-inv_binary64_2122` `-commutative_binary64_2055` `pow-flip_binary64_2198` `associate-r/_binary64_2066` `inv-pow_binary64_2209` `frac-2neg_binary64_2135`

Counts

4 → 169

Calls

8 calls:

20.0ms	(.f64 x (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) 2)))
10.0ms	(/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) 1)) 2))
4.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
0.0ms	(/.f64 (.f64 x (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) 2))) (cbrt.f64 (+.f64 (*.f64 x x) 1)))

series503.0ms (0.2%)

Counts

4 → 44

Calls

4 calls:

162.0ms	(.f64 x (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (.f64 x x) 1)) 2)))
126.0ms	(/.f64 1 (pow.f64 (cbrt.f64 (+.f64 (*.f64 x x) 1)) 2))
109.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))
106.0ms	(cbrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 1320 to 1128 computations (14.5% saved)

simplify91.0ms (0%)

Algorithm

1×	egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4996	4113
1	4996	4113

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

9.5b	(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))) 3) x)
0.3b	(/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))) 3) x))
0.2b	(pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))) 3)
0.1b	(/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.3b	(/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))) 3) x))
9.5b	(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))) 3) x)
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite799.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

7107×	`times-frac_binary64_2130`
3993×	`sqrt-prod_binary64_2140`
3088×	`add-sqr-sqrt_binary64_2146`
3086×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
954×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152`
316×	`sqrt-div_binary64_2141`
155×	`associate-/r/_binary64_2070`
113×	`div-inv_binary64_2121`
106×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `sqr-pow_binary64_2096`
80×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
79×	`associate-/r*_binary64_2068`
57×	`associate-/l*_binary64_2069`
53×	`add-exp-log_binary64_2162`
39×	`div-exp_binary64_2175`
18×	`add-cbrt-cube_binary64_2160`
9×	`cbrt-undiv_binary64_2158`
6×	`pow1_binary64_2185`
5×	`pow-exp_binary64_2192` `pow-to-exp_binary64_2193`
4×	`add-log-exp_binary64_2163` `1-exp_binary64_2168` `rec-exp_binary64_2174`
3×	`associate-/l/_binary64_2071`
2×	`clear-num_binary64_2123` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204` `cube-div_binary64_2153` `frac-2neg_binary64_2135`

Counts

4 → 1000

Calls

8 calls:

97.0ms	(/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))) 3) x))
14.0ms	(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))) 3) x)
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
0.0ms	(/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))

series332.0ms (0.2%)

Counts

4 → 44

Calls

4 calls:

168.0ms	(/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))) 3) x)
58.0ms	(/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))) 3) x))
56.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
50.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 1088 to 918 computations (15.6% saved)

simplify523.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1044 → 1044

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5047	62541

localize11.0ms (0%)

Local error

Found 8 expressions with local error:

2.6b	(/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))
2.6b	(/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))
0.3b	(.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x))) (cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))))
0.1b	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x))) (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x)))) (cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))))
4.9b	(/.f64 (sqrt.f64 x) (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x))) (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x)))) (cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))))
5.3b	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
5.3b	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
5.3b	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))

rewrite74.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`cbrt-prod_binary64_2155`
60×	`times-frac_binary64_2130`
47×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
33×	`sqrt-prod_binary64_2140`
15×	`cbrt-div_binary64_2156`
13×	`add-exp-log_binary64_2162`
9×	`add-cbrt-cube_binary64_2160`
7×	`associate-/r/_binary64_2070`
6×	`associate-/l*_binary64_2069`
5×	`associate-*l/_binary64_2067` `frac-times_binary64_2134`
4×	`pow1_binary64_2185` `add-log-exp_binary64_2163` `div-inv_binary64_2121`
3×	`cbrt-undiv_binary64_2158` `pow1/3_binary64_2206` `prod-exp_binary64_2173` `associate-*r/_binary64_2066` `div-exp_binary64_2175` `cbrt-unprod_binary64_2157`
1×	`clear-num_binary64_2123` `associate-/r*_binary64_2068` `frac-2neg_binary64_2135`

Counts

4 → 129

Calls

8 calls:

38.0ms	(/.f64 (sqrt.f64 x) (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x))) (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x)))) (cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))))
6.0ms	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
6.0ms	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
6.0ms	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
0.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x))) (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x)))) (cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x))))

series468.0ms (0.2%)

Counts

4 → 32

Calls

4 calls:

145.0ms	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
144.0ms	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
129.0ms	(cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))
51.0ms	(/.f64 (sqrt.f64 x) (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x))) (cbrt.f64 (/.f64 (+.f64 (.f64 x x) 1) (sqrt.f64 x)))) (cbrt.f64 (/.f64 (+.f64 (*.f64 x x) 1) (sqrt.f64 x)))))

Compiler

Compiled 1333 to 959 computations (28.1% saved)

simplify100.0ms (0%)

Algorithm

1×	egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4890	4019
1	4890	4019

prune34.9s (16%)

Pruning

696 alts after pruning (687 fresh and 9 done)

	Pruned	Kept	Total
New	1281	425	1706
Fresh	32	262	294
Picked	0	0	0
Done	1	9	10
Total	1314	696	2010

Error

Counts

2010 → 696

Compiler

Compiled 46870 to 31351 computations (33.1% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 (neg.f64 1) (-.f64 (/.f64 -1 x) x))
0.1b	(/.f64 (neg.f64 1) (-.f64 (/.f64 -1 x) x))

rewrite20.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

88×	`add-sqr-sqrt_binary64_2146`
71×	`times-frac_binary64_2130`
55×	`*-un-lft-identity_binary64_2124`
33×	`add-cube-cbrt_binary64_2159`
22×	`difference-of-squares_binary64_2093`
21×	`distribute-lft-neg-in_binary64_2081` `distribute-rgt-neg-in_binary64_2082`
11×	`distribute-lft-out--_binary64_2076`
10×	`associate-/l*_binary64_2069`
7×	`neg-mul-1_binary64_2120`
6×	`associate-/r*_binary64_2068`
3×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`associate-/r/_binary64_2070`
1×	`flip--_binary64_2099` `clear-num_binary64_2123` `flip3--_binary64_2128` `cbrt-undiv_binary64_2158` `pow1_binary64_2185` `add-log-exp_binary64_2163` `div-sub_binary64_2129` `distribute-frac-neg_binary64_2087` `div-inv_binary64_2121` `div-exp_binary64_2175` `neg-sub0_binary64_2119` `frac-2neg_binary64_2135`

Counts

1 → 92

Calls

2 calls:

12.0ms	(/.f64 (neg.f64 1) (-.f64 (/.f64 -1 x) x))
0.0ms	(/.f64 (neg.f64 1) (-.f64 (/.f64 -1 x) x))

series43.0ms (0%)

Counts

1 → 11

Calls

1 calls:

43.0ms

(/.f64 (neg.f64 1) (-.f64 (/.f64 -1 x) x))

Compiler

Compiled 124 to 106 computations (14.5% saved)

simplify117.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4827	2134
1	4827	2134

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

0.1b	(/.f64 -1 (-.f64 (/.f64 -1 x) x))
0.1b	(/.f64 -1 (-.f64 (/.f64 -1 x) x))

rewrite13.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64_2146`
22×	`times-frac_binary64_2130`
20×	`*-un-lft-identity_binary64_2124`
12×	`add-cube-cbrt_binary64_2159`
8×	`difference-of-squares_binary64_2093`
6×	`associate-/r*_binary64_2068`
4×	`distribute-lft-out--_binary64_2076`
3×	`associate-/l*_binary64_2069` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`associate-/r/_binary64_2070`
1×	`flip--_binary64_2099` `clear-num_binary64_2123` `flip3--_binary64_2128` `cbrt-undiv_binary64_2158` `pow1_binary64_2185` `add-log-exp_binary64_2163` `div-inv_binary64_2121` `div-exp_binary64_2175` `frac-2neg_binary64_2135`

Counts

1 → 41

Calls

2 calls:

10.0ms	(/.f64 -1 (-.f64 (/.f64 -1 x) x))
0.0ms	(/.f64 -1 (-.f64 (/.f64 -1 x) x))

series47.0ms (0%)

Counts

1 → 11

Calls

1 calls:

47.0ms

(/.f64 -1 (-.f64 (/.f64 -1 x) x))

Compiler

Compiled 124 to 106 computations (14.5% saved)

simplify64.0ms (0%)

Algorithm

1×	egg-herbie

Counts

52 → 52

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4884	939
1	4884	939

localize9.0ms (0%)

Local error

Found 8 expressions with local error:

2.9b	(/.f64 (sqrt.f64 (sqrt.f64 x)) (/.f64 (+.f64 (*.f64 x x) 1) (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)))
0.4b	(pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
0.1b	(sqrt.f64 (sqrt.f64 x))
0.1b	(sqrt.f64 (sqrt.f64 x))
0.1b	(sqrt.f64 (sqrt.f64 x))
0.4b	(pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
2.9b	(/.f64 (sqrt.f64 (sqrt.f64 x)) (/.f64 (+.f64 (*.f64 x x) 1) (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)))
4.8b	(/.f64 (+.f64 (*.f64 x x) 1) (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3))

rewrite241.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

1476×	`times-frac_binary64_2130`
1333×	`sqrt-prod_binary64_2140`
759×	`add-sqr-sqrt_binary64_2146`
757×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
315×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152`
100×	`associate-/r*_binary64_2068`
35×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `sqr-pow_binary64_2096`
20×	`add-exp-log_binary64_2162`
12×	`associate-/l*_binary64_2069` `div-inv_binary64_2121` `add-cbrt-cube_binary64_2160`
10×	`div-exp_binary64_2175`
9×	`pow1_binary64_2185`
8×	`sqrt-pow1_binary64_2142`
5×	`pow-pow_binary64_2196`
4×	`cbrt-undiv_binary64_2158` `add-log-exp_binary64_2163` `pow1/2_binary64_2204`
3×	`pow-unpow_binary64_2201` `pow-exp_binary64_2192` `pow-to-exp_binary64_2193`
2×	`clear-num_binary64_2123` `rem-sqrt-square_binary64_2137` `associate-/l/_binary64_2071` `frac-2neg_binary64_2135`
1×	`sqrt-pow2_binary64_2143` `associate-/r/_binary64_2070` `flip3-+_binary64_2127` `flip-+_binary64_2098` `rem-cube-cbrt_binary64_2147`

Counts

4 → 960

Calls

8 calls:

45.0ms	(/.f64 (sqrt.f64 (sqrt.f64 x)) (/.f64 (+.f64 (*.f64 x x) 1) (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)))
13.0ms	(/.f64 (+.f64 (*.f64 x x) 1) (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3))
5.0ms	(pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
2.0ms	(sqrt.f64 (sqrt.f64 x))
0.0ms	(sqrt.f64 (sqrt.f64 x))

series299.0ms (0.1%)

Counts

4 → 19

Calls

4 calls:

141.0ms	(/.f64 (+.f64 (*.f64 x x) 1) (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3))
64.0ms	(pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)
53.0ms	(sqrt.f64 (sqrt.f64 x))
41.0ms	(/.f64 (sqrt.f64 (sqrt.f64 x)) (/.f64 (+.f64 (*.f64 x x) 1) (pow.f64 (sqrt.f64 (sqrt.f64 x)) 3)))

Compiler

Compiled 421 to 357 computations (15.2% saved)

simplify369.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

979 → 979

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4993	36300
1	4993	36300

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 (sqrt.f64 (+.f64 (.f64 x x) 1)) (cbrt.f64 (/.f64 x (sqrt.f64 (+.f64 (.f64 x x) 1)))))
0.0b	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.0b	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.0b	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite31.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`sqrt-prod_binary64_2140` `add-sqr-sqrt_binary64_2146`
8×	`sqrt-div_binary64_2141` `pow1_binary64_2185` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
4×	`sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `add-log-exp_binary64_2163` `pow1/2_binary64_2204` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`

Counts

4 → 60

Calls

8 calls:

9.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
5.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
0.0ms	(/.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))

series209.0ms (0.1%)

Counts

4 → 44

Calls

4 calls:

56.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
55.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
49.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
49.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 1980 to 1396 computations (29.5% saved)

simplify77.0ms (0%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4932	1272
1	4932	1272

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.1b	(/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.1b	(sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)))))
0.1b	(sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)))))
7.5b	(.f64 (.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))) 3) (cbrt.f64 x))))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))
14.5b	(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite3.0s (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

14508×	`times-frac_binary64_2130`
12777×	`sqrt-prod_binary64_2140`
6247×	`add-sqr-sqrt_binary64_2146`
6244×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
5333×	`associate-r_binary64_2064`
2592×	`cbrt-prod_binary64_2155`
1944×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152`
600×	`sqrt-div_binary64_2141`
297×	`associate-/r/_binary64_2070`
216×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `sqr-pow_binary64_2096`
185×	`div-inv_binary64_2121`
151×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
67×	`add-exp-log_binary64_2162`
31×	`add-cbrt-cube_binary64_2160`
30×	`prod-exp_binary64_2173`
21×	`div-exp_binary64_2175`
18×	`cbrt-unprod_binary64_2157`
16×	`pow1_binary64_2185`
9×	`cbrt-undiv_binary64_2158`
6×	`pow-prod-down_binary64_2195`
4×	`add-log-exp_binary64_2163`
3×	`sqrt-pow1_binary64_2142` `pow-exp_binary64_2192` `rem-sqrt-square_binary64_2137` `associate-*l/_binary64_2067` `pow1/2_binary64_2204` `pow-to-exp_binary64_2193`
1×	`-commutative_binary64_2055` `associate-l_binary64_2065` `associate-r/_binary64_2066` `frac-times_binary64_2134`

Counts

4 → 1000

Calls

8 calls:

1.1s	(.f64 (.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))) 3) (cbrt.f64 x))))
5.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
5.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
4.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
0.0ms	(sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (*.f64 x x) 1)))))

series272.0ms (0.1%)

Counts

4 → 44

Calls

4 calls:

94.0ms	(.f64 (.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (sqrt.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))))) (/.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (+.f64 (.f64 x x) 1))) 3) (cbrt.f64 x))))
66.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
57.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))
55.0ms	(sqrt.f64 (+.f64 (*.f64 x x) 1))

Compiler

Compiled 1785 to 1365 computations (23.5% saved)

simplify583.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1044 → 1044

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4932	67803
1	4932	67803

prune1.4min (38.4%)

Pruning

1256 alts after pruning (1242 fresh and 14 done)

	Pruned	Kept	Total
New	1695	587	2282
Fresh	27	655	682
Picked	0	0	0
Done	0	14	14
Total	1722	1256	2978

Error

Counts

2978 → 1256

Compiler

Compiled 39670 to 23719 computations (40.2% saved)

simplify1.9s (0.9%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5497	114839

regimes12.8s (5.9%)

Compiler: Compiled 141039 to 98514 computations (30.2% saved)

bsearch0.0ms (0%)

regimes22.0ms (0%)

Compiler: Compiled 9 to 12 computations (-33.3% saved)

bsearch23.0ms (0%)

Steps

Iters	Range		Point
9	0.0012034903811986917	98.34028342914021	0.9962994643615916
11	-111.81284933164974	-4.803923400852131e-25	-1.01136998843019

Compiler

Compiled 1 to 1 computations (0% saved)

regimes8.0ms (0%)

Accuracy

Total 0.1b remaining (100%)

Threshold costs 0.1b (100%)

Compiler

Compiled 6 to 9 computations (-50% saved)

bsearch2.0ms (0%)

Compiler: Compiled 23 to 18 computations (21.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	30
1	27	30

end0.0ms (0%)

sample1.1min (29.8%)

Algorithm

1×

intervals

Results

168.0ms

8000×

body

128

valid

Compiler

Compiled 70533 to 49273 computations (30.1% saved)

Pareto

0.15546693890596988