Details

analyze806.0ms (1.8%)

Algorithm

1×

Search

True	Other	False	Iter
0%	48.6%	51.4%	0
0%	48.6%	51.4%	1
24.3%	24.3%	51.4%	2
24.3%	24.3%	51.4%	3
30.4%	18.2%	51.4%	4
30.4%	18.2%	51.4%	5
33.4%	15.2%	51.4%	6
33.4%	15.2%	51.4%	7
34.6%	14.1%	51.4%	8
34.8%	13.9%	51.4%	9
35.4%	13.2%	51.4%	10
35.6%	13.1%	51.4%	11
35.9%	12.7%	51.4%	12
36%	12.6%	51.4%	13
36.2%	12.4%	51.4%	14

Compiler

Compiled 22 to 18 computations (18.2% saved)

sample42.0ms (0.1%)

Algorithm

1×

intervals

Results

10.0ms	193×	body	128	valid
8.0ms	256×	pre	128	true
6.0ms	23×	body	2048	valid
4.0ms	11×	body	4096	valid
4.0ms	18×	body	1024	valid
1.0ms	7×	body	512	valid
0.0ms	4×	body	256	valid

Compiler

Compiled 39 to 34 computations (12.8% saved)

simplify102.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	38	26
1	38	26

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

12.8b

Counts

2 → 1

Compiler

Compiled 17 to 14 computations (17.6% saved)

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

15.7b	(sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))
0.2b	(+.f64 1 (/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))))
0.0b	(+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))
0.0b	(/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))))
0.0b	(+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))
0.0b	(/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))))
0.2b	(+.f64 1 (/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))))
15.7b	(sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))

rewrite48.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64_2124`
21×	`add-sqr-sqrt_binary64_2146`
20×	`add-cube-cbrt_binary64_2159`
18×	`times-frac_binary64_2130`
15×	`sqrt-prod_binary64_2140`
8×	`add-log-exp_binary64_2163`
6×	`associate-/r*_binary64_2068` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
5×	`pow1_binary64_2185`
4×	`sqrt-div_binary64_2141` `flip3-+_binary64_2127` `flip-+_binary64_2098`
3×	`associate-/l*_binary64_2069`
2×	`associate-/r/_binary64_2070` `sum-log_binary64_2215` `+-commutative_binary64_2054`
1×	`clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `sqrt-pow1_binary64_2142` `distribute-lft-out_binary64_2075` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204` `div-inv_binary64_2121` `div-exp_binary64_2175` `frac-2neg_binary64_2135`

Counts

4 → 79

Calls

8 calls:

20.0ms	(+.f64 1 (/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))))
8.0ms	(/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))))
6.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))
6.0ms	(+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))
0.0ms	(/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))))

series446.0ms (1%)

Counts

4 → 47

Calls

4 calls:

138.0ms	(/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))))
127.0ms	(+.f64 (.f64 (.f64 4 p) p) (*.f64 x x))
102.0ms	(+.f64 1 (/.f64 x (sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))))
79.0ms	(sqrt.f64 (+.f64 (.f64 (.f64 4 p) p) (*.f64 x x)))

Compiler

Compiled 1142 to 1074 computations (6% saved)

simplify67.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4979	2452
1	4979	2452

prune598.0ms (1.3%)

Pruning

63 alts after pruning (62 fresh and 1 done)

	Pruned	Kept	Total
New	64	62	126
Fresh	0	0	0
Picked	0	0	0
Done	0	1	1
Total	64	63	127

Error

4.9b

Counts

127 → 63

Compiler

Compiled 3583 to 2500 computations (30.2% saved)

localize15.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 x (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))))))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))))
0.2b	(+.f64 1 (/.f64 x (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
15.7b	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))

rewrite47.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`sqrt-pow1_binary64_2142` `sqrt-div_binary64_2141`
22×	`pow1_binary64_2185`
11×	`pow1/2_binary64_2204`
9×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
8×	`add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
7×	`sqrt-prod_binary64_2140`
6×	`add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159`
5×	`pow-prod-up_binary64_2194`
4×	`frac-times_binary64_2134` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-prod-down_binary64_2195` `rem-sqrt-square_binary64_2137` `pow-sqr_binary64_2097`
2×	`associate-l/_binary64_2067` `associate-r/_binary64_2066`
1×	`sum-log_binary64_2215` `distribute-lft-out_binary64_2075` `pow-plus_binary64_2187` `+-commutative_binary64_2054` `pow2_binary64_2205`

Counts

4 → 74

Calls

8 calls:

14.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))
12.0ms	(+.f64 1 (/.f64 x (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))))
5.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
5.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
0.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))))

series483.0ms (1.1%)

Counts

4 → 59

Calls

4 calls:

158.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
145.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
94.0ms	(+.f64 1 (/.f64 x (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))))
86.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))

Compiler

Compiled 2206 to 1832 computations (17% saved)

simplify84.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4979	2328
1	4979	2328

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize7.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize16.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(+.f64 1 (/.f64 x (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3))))
0.0b	(/.f64 x (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3)))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3)
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.2b	(+.f64 1 (/.f64 x (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3))))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
34.1b	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3))

rewrite56.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_2155`
12×	`*-un-lft-identity_binary64_2124`
11×	`add-sqr-sqrt_binary64_2146`
10×	`add-cube-cbrt_binary64_2159`
9×	`sqrt-prod_binary64_2140`
8×	`add-log-exp_binary64_2163`
6×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152`
5×	`pow1_binary64_2185`
4×	`sqrt-div_binary64_2141` `flip3-+_binary64_2127` `flip-+_binary64_2098` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
2×	`cbrt-div_binary64_2156` `sum-log_binary64_2215` `+-commutative_binary64_2054` `cube-div_binary64_2153`
1×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `sqrt-pow1_binary64_2142` `rem-cbrt-cube_binary64_2148` `distribute-lft-out_binary64_2075` `rem-sqrt-square_binary64_2137` `pow1/3_binary64_2206` `sqr-pow_binary64_2096` `pow1/2_binary64_2204`

Counts

4 → 67

Calls

8 calls:

29.0ms	(+.f64 1 (/.f64 x (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3))))
8.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3))
6.0ms	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
6.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
0.0ms	(pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3)

series388.0ms (0.9%)

Counts

4 → 47

Calls

4 calls:

129.0ms	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
98.0ms	(+.f64 1 (/.f64 x (cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3))))
80.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
80.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))) 3))

Compiler

Compiled 1248 to 1162 computations (6.9% saved)

simplify83.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4988	1948
1	4988	1948

localize21.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 x (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))
0.1b	(sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.3b	(/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))
7.0b	(+.f64 1 (.f64 (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))))) (/.f64 x (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
9×	`times-frac_binary64_2130`
8×	`add-exp-log_binary64_2162`
6×	`add-log-exp_binary64_2163` `cbrt-prod_binary64_2155` `add-cbrt-cube_binary64_2160`
5×	`pow1_binary64_2185`
4×	`cbrt-div_binary64_2156`
3×	`associate-/l_binary64_2069` `associate-/r_binary64_2068` `flip3-+_binary64_2127` `flip-+_binary64_2098`
2×	`pow1/3_binary64_2206` `div-exp_binary64_2175`
1×	`clear-num_binary64_2123` `cbrt-undiv_binary64_2158` `sum-log_binary64_2215` `+-commutative_binary64_2054` `pow-flip_binary64_2198` `1-exp_binary64_2168` `div-inv_binary64_2121` `inv-pow_binary64_2209` `frac-2neg_binary64_2135` `rec-exp_binary64_2174`

Counts

4 → 68

Calls

8 calls:

5.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
5.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
4.0ms	(+.f64 1 (.f64 (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))))) (/.f64 x (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))))
3.0ms	(/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))
0.0ms	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))

series802.0ms (1.8%)

Counts

4 → 40

Calls

4 calls:

278.0ms	(+.f64 1 (.f64 (/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))))) (/.f64 x (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))))
193.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
192.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
138.0ms	(/.f64 1 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))

Compiler

Compiled 2806 to 2455 computations (12.5% saved)

simplify107.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4961	2984
1	4961	2984

prune3.7s (8.3%)

Pruning

164 alts after pruning (158 fresh and 6 done)

	Pruned	Kept	Total
New	244	111	355
Fresh	10	47	57
Picked	0	0	0
Done	0	6	6
Total	254	164	418

Error

4.9b

Counts

418 → 164

Compiler

Compiled 11681 to 8220 computations (29.6% saved)

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
0.2b	(+.f64 1 (/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))
0.0b	(/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))))
0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.0b	(/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))))
0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.2b	(+.f64 1 (/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))

rewrite35.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124`
8×	`add-log-exp_binary64_2163` `add-sqr-sqrt_binary64_2146` `add-cbrt-cube_binary64_2160`
7×	`add-cube-cbrt_binary64_2159`
5×	`pow1_binary64_2185`
4×	`sqrt-div_binary64_2141` `flip3-+_binary64_2127` `flip-+_binary64_2098`
3×	`associate-/l*_binary64_2069` `sqrt-prod_binary64_2140` `times-frac_binary64_2130`
2×	`cbrt-undiv_binary64_2158` `associate-/r/_binary64_2070` `sum-log_binary64_2215` `+-commutative_binary64_2054` `associate-*r/_binary64_2066` `div-exp_binary64_2175`
1×	`clear-num_binary64_2123` `sqrt-pow1_binary64_2142` `distribute-lft-out_binary64_2075` `associate-/r*_binary64_2068` `rem-sqrt-square_binary64_2137` `prod-exp_binary64_2173` `pow1/2_binary64_2204` `div-inv_binary64_2121` `cbrt-unprod_binary64_2157` `frac-2neg_binary64_2135`

Counts

4 → 61

Calls

8 calls:

11.0ms	(/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))))
7.0ms	(+.f64 1 (/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))
6.0ms	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
6.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
0.0ms	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))

series445.0ms (1%)

Counts

4 → 47

Calls

4 calls:

142.0ms	(/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))))
120.0ms	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
97.0ms	(+.f64 1 (/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))
86.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))

Compiler

Compiled 1250 to 1182 computations (5.4% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4926	1914
1	4926	1914

localize3.0ms (0%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

21.0b	(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x x)) 3))
21.0b	(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x x)) 3))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`cbrt-prod_binary64_2155`
4×	`unpow-prod-down_binary64_2203` `add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `cube-prod_binary64_2152` `*-un-lft-identity_binary64_2124`
2×	`sqrt-prod_binary64_2140`
1×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `rem-cbrt-cube_binary64_2148` `pow1_binary64_2185` `add-log-exp_binary64_2163` `pow1/3_binary64_2206` `sqr-pow_binary64_2096` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`

Counts

1 → 23

Calls

2 calls:

3.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x x)) 3))
0.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x x)) 3))

series13.0ms (0%)

Counts

1 → 3

Calls

1 calls:

12.0ms

(cbrt.f64 (pow.f64 (sqrt.f64 (*.f64 x x)) 3))

Compiler

Compiled 52 to 52 computations (0% saved)

simplify84.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4773	183
1	4773	183

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(/.f64 x (sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))))))
15.7b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))

rewrite61.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`cbrt-div_binary64_2156`
30×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
28×	`frac-times_binary64_2134`
26×	`sqrt-div_binary64_2141`
24×	`pow1_binary64_2185`
15×	`sqrt-pow1_binary64_2142`
14×	`associate-*l/_binary64_2067`
12×	`pow1/3_binary64_2206`
9×	`pow-prod-up_binary64_2194` `cbrt-prod_binary64_2155`
8×	`associate-*r/_binary64_2066`
7×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
6×	`pow-plus_binary64_2187`
5×	`pow-prod-down_binary64_2195`
4×	`add-log-exp_binary64_2163` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-sqr_binary64_2097`
2×	`pow2_binary64_2205`
1×	`pow3_binary64_2207` `sqrt-prod_binary64_2140` `pow1/2_binary64_2204`

Counts

4 → 89

Calls

8 calls:

28.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))
5.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
5.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
5.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
0.0ms	(/.f64 x (sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))))))

series678.0ms (1.5%)

Counts

4 → 48

Calls

4 calls:

199.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
192.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
192.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
95.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))))

Compiler

Compiled 3274 to 2626 computations (19.8% saved)

simplify125.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (81.0ms)

Iter	Nodes	Cost
0	5796	4222

localize24.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.0b	(/.f64 x (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))))))))
0.0b	(.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))))))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
15.7b	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))))))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))

rewrite47.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`sqrt-div_binary64_2141`
11×	`pow1_binary64_2185`
10×	`cbrt-div_binary64_2156`
9×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
8×	`add-sqr-sqrt_binary64_2146` `associate-*r/_binary64_2066`
7×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
6×	`cbrt-prod_binary64_2155`
4×	`sqrt-pow1_binary64_2142` `sqrt-prod_binary64_2140` `add-log-exp_binary64_2163` `frac-times_binary64_2134` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-prod-down_binary64_2195`
2×	`associate-*l/_binary64_2067` `pow1/3_binary64_2206` `pow1/2_binary64_2204`
1×	`rem-sqrt-square_binary64_2137`

Counts

4 → 61

Calls

8 calls:

16.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))))))
9.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
6.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
5.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
0.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))))))

series895.0ms (2%)

Counts

4 → 54

Calls

4 calls:

357.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (.f64 (fabs.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))))))
188.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
187.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
162.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))

Compiler

Compiled 4258 to 3448 computations (19% saved)

simplify74.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5284	3371

prune9.2s (20.7%)

Pruning

299 alts after pruning (288 fresh and 11 done)

	Pruned	Kept	Total
New	241	145	386
Fresh	10	143	153
Picked	0	0	0
Done	0	11	11
Total	251	299	550

Error

4.9b

Counts

550 → 299

Compiler

Compiled 20716 to 14448 computations (30.3% saved)

localize17.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))))))
0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.0b	(.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))))
0.2b	(+.f64 1 (/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
15.7b	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))))

rewrite51.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`sqrt-pow1_binary64_2142` `sqrt-div_binary64_2141`
22×	`pow1_binary64_2185`
11×	`pow1/2_binary64_2204`
9×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
8×	`add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
7×	`sqrt-prod_binary64_2140`
6×	`add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159`
5×	`pow-prod-up_binary64_2194`
4×	`frac-times_binary64_2134` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-prod-down_binary64_2195` `rem-sqrt-square_binary64_2137` `pow-sqr_binary64_2097`
2×	`associate-l/_binary64_2067` `associate-r/_binary64_2066`
1×	`sum-log_binary64_2215` `distribute-lft-out_binary64_2075` `pow-plus_binary64_2187` `+-commutative_binary64_2054` `pow2_binary64_2205`

Counts

4 → 74

Calls

8 calls:

17.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))))
12.0ms	(+.f64 1 (/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))))
6.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
6.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
0.0ms	(.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))))

series482.0ms (1.1%)

Counts

4 → 59

Calls

4 calls:

143.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
142.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
105.0ms	(+.f64 1 (/.f64 x (.f64 (cbrt.f64 1) (sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))))
92.0ms	(sqrt.f64 (.f64 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))) (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))))

Compiler

Compiled 2404 to 2030 computations (15.6% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4932	2403
1	4932	2403

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

localize20.0ms (0%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(/.f64 x (sqrt.f64 (.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))))))
0.0b	(.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))))
0.2b	(+.f64 1 (/.f64 x (sqrt.f64 (.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))))))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
15.7b	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
15.7b	(sqrt.f64 (.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))))

rewrite48.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`sqrt-div_binary64_2141`
12×	`pow1_binary64_2185`
9×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
8×	`add-sqr-sqrt_binary64_2146` `associate-r/_binary64_2066` `-un-lft-identity_binary64_2124`
7×	`sqrt-prod_binary64_2140`
6×	`add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159`
5×	`sqrt-pow1_binary64_2142`
4×	`frac-times_binary64_2134` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-prod-down_binary64_2195` `pow1/2_binary64_2204`
2×	`rem-sqrt-square_binary64_2137` `associate-*l/_binary64_2067`
1×	`sum-log_binary64_2215` `distribute-lft-out_binary64_2075` `+-commutative_binary64_2054`

Counts

4 → 62

Calls

8 calls:

15.0ms	(sqrt.f64 (.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))))
13.0ms	(+.f64 1 (/.f64 x (sqrt.f64 (.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))))))
6.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
5.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
0.0ms	(.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))))

series472.0ms (1.1%)

Counts

4 → 59

Calls

4 calls:

152.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
141.0ms	(sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
92.0ms	(+.f64 1 (/.f64 x (sqrt.f64 (.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))))))
86.0ms	(sqrt.f64 (.f64 (.f64 1 (sqrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))) (sqrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))))

Compiler

Compiled 2302 to 1928 computations (16.2% saved)

simplify101.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4927	2317
1	4927	2317

localize25.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 4 p)) (*.f64 x x))
0.0b	(+.f64 (.f64 p (.f64 p 4)) (*.f64 x x))
0.0b	(/.f64 x (sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))))))
15.7b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
16.5b	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))

rewrite67.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`cbrt-div_binary64_2156`
30×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
28×	`frac-times_binary64_2134`
26×	`sqrt-div_binary64_2141` `associate-*r/_binary64_2066`
17×	`pow1_binary64_2185`
14×	`associate-*l/_binary64_2067`
11×	`pow-prod-down_binary64_2195`
9×	`cbrt-prod_binary64_2155`
7×	`add-cube-cbrt_binary64_2159` `pow1/3_binary64_2206` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
6×	`sqrt-pow1_binary64_2142`
4×	`add-log-exp_binary64_2163` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
1×	`sqrt-prod_binary64_2140` `pow1/2_binary64_2204`

Counts

4 → 80

Calls

8 calls:

33.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))
6.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
6.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
6.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
0.0ms	(/.f64 x (sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x)))))))

series686.0ms (1.5%)

Counts

4 → 48

Calls

4 calls:

202.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
201.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (*.f64 x x)))
191.0ms	(cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (*.f64 x x)))
92.0ms	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x))) (cbrt.f64 (+.f64 (.f64 p (.f64 4 p)) (.f64 x x)))) (.f64 (cbrt.f64 1) (cbrt.f64 (+.f64 (.f64 p (.f64 p 4)) (.f64 x x))))))

Compiler

Compiled 3436 to 2788 computations (18.9% saved)

simplify130.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4902	4388
1	4902	4388

localize12.0ms (0%)

Local error

Found 8 expressions with local error:

15.8b	(+.f64 1 (/.f64 x (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))))))
0.6b	(cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))
0.6b	(cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))
0.5b	(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))))
0.6b	(cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))
15.8b	(+.f64 1 (/.f64 x (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))))))
20.5b	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
20.5b	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

36×	`sqrt-prod_binary64_2140`
20×	`add-sqr-sqrt_binary64_2146`
16×	`*-un-lft-identity_binary64_2124`
15×	`cbrt-prod_binary64_2155`
14×	`add-cube-cbrt_binary64_2159`
11×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152`
8×	`rem-sqrt-square_binary64_2137`
6×	`add-log-exp_binary64_2163`
5×	`sqr-pow_binary64_2096`
4×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`unpow3_binary64_2190` `cube-mult_binary64_2154`
2×	`sqrt-pow1_binary64_2142` `pow1/2_binary64_2204`
1×	`sum-log_binary64_2215` `distribute-lft-out_binary64_2075` `pow1/3_binary64_2206` `+-commutative_binary64_2054` `flip3-+_binary64_2127` `flip-+_binary64_2098`

Counts

4 → 85

Calls

8 calls:

6.0ms	(+.f64 1 (/.f64 x (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))))))
3.0ms	(cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))
3.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
3.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
0.0ms	(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))))

series182.0ms (0.4%)

Counts

4 → 15

Calls

4 calls:

62.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
54.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 3))
46.0ms	(+.f64 1 (/.f64 x (*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))) (cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3))))))
20.0ms	(cbrt.f64 (sqrt.f64 (pow.f64 (fabs.f64 x) 3)))

Compiler

Compiled 414 to 380 computations (8.2% saved)

simplify69.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5265	997

prune15.8s (35.7%)

Pruning

401 alts after pruning (385 fresh and 16 done)

	Pruned	Kept	Total
New	367	115	482
Fresh	13	270	283
Picked	0	0	0
Done	0	16	16
Total	380	401	781

Error

4.9b

Counts

781 → 401

Compiler

Compiled 10476 to 7028 computations (32.9% saved)

simplify654.0ms (1.5%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (119.0ms)

Iter	Nodes	Cost
0	4883	41689
1	4883	41689

regimes2.8s (6.3%)

Compiler: Compiled 34770 to 25982 computations (25.3% saved)

bsearch0.0ms (0%)

regimes136.0ms (0.3%)

Compiler: Compiled 584 to 564 computations (3.4% saved)

bsearch72.0ms (0.2%)

Steps

Iters	Range		Point
10	5.629850356575068e-168	1.5807249859550787e-152	5.6028927234194076e-160
7	-2.4994107038689754e-161	-1.5242322893391882e-162	-1.8569858873525967e-162

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes75.0ms (0.2%)

Compiler: Compiled 398 to 382 computations (4% saved)

bsearch14.0ms (0%)

Steps

Iters	Range		Point
3	-4.3589894200362623e-13	-3.354813019757299e-13	-3.417574044774735e-13

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes111.0ms (0.3%)

Compiler: Compiled 280 to 282 computations (-0.7% saved)

bsearch116.0ms (0.3%)

Steps

Iters	Range		Point
4	8.279145794242945e-67	1.5362750404734868e-66	9.11304567693425e-67
9	-1.0506948472709978e-144	-2.911011894825738e-153	-2.458423018452409e-146
10	-1.2686436714443466e-75	-1.418682365695125e-85	-2.962962517148161e-85
8	-1.1004703921319392e-49	-1.3894394685443767e-53	-1.1578629351039965e-51
5	-1.801923786343907e-24	-5.108819312874206e-25	-1.0332484679844835e-24

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes57.0ms (0.1%)

Compiler: Compiled 132 to 156 computations (-18.2% saved)

bsearch25.0ms (0.1%)

Steps

Iters	Range		Point
4	8.279145794242945e-67	1.5362750404734868e-66	9.780165583087296e-67
5	-1.801923786343907e-24	-5.108819312874206e-25	-5.228628629726016e-25

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes25.0ms (0.1%)

Compiler: Compiled 14 to 34 computations (-142.9% saved)

bsearch33.0ms (0.1%)

Steps

Iters	Range		Point
5	-5.111769189367039e+90	-2.225324870437358e+90	-2.8542174784040927e+90

Compiler

Compiled 171 to 138 computations (19.3% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	117	230
1	117	230

end0.0ms (0%)

sample2.1s (4.8%)

Algorithm

1×

intervals

Results

337.0ms	6068×	body	128	valid
211.0ms	762×	body	2048	valid
155.0ms	8000×	pre	128	true
113.0ms	509×	body	1024	valid
97.0ms	282×	body	4096	valid
43.0ms	267×	body	512	valid
14.0ms	112×	body	256	valid

Compiler

Compiled 17727 to 13274 computations (25.1% saved)