Details

analyze10.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	25%	75%	0
0%	25%	75%	1
0%	12.5%	87.5%	2
0%	6.3%	93.7%	3
0%	3.1%	96.9%	4
0%	1.6%	98.4%	5
0%	0.8%	99.2%	6
0%	0.4%	99.6%	7
0%	0.2%	99.8%	8
0.1%	0.1%	99.8%	9
0.1%	0%	99.9%	10
0.1%	0%	99.9%	11
0.1%	0%	99.9%	12
0.1%	0%	99.9%	13
0.1%	0%	99.9%	14

Compiler

Compiled 106 to 71 computations (33% saved)

sample73.0ms (0%)

Algorithm

1×

intervals

Results

56.0ms	256×	body	128	valid
3.0ms	257×	pre	128	true
0.0ms	1×	body	128	invalid

Compiler

Compiled 212 to 145 computations (31.6% saved)

simplify178.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

2 → 2

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	5512	48

prune8.0ms (0%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	2	2
Picked	0	0
Done	0	0
Total	4	4

Error

2.6b

Counts

4 → 3

Compiler

Compiled 31 to 22 computations (29% saved)

localize35.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (/.f64 1 (sqrt.f64 PI.f64)) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))
0.2b	(+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.5b	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
0.5b	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))

rewrite98.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

110×	`add-sqr-sqrt_binary64_2146`
96×	`times-frac_binary64_2130`
84×	`add-exp-log_binary64_2162`
77×	`*-un-lft-identity_binary64_2124`
61×	`add-cube-cbrt_binary64_2159`
35×	`pow1_binary64_2185`
32×	`prod-exp_binary64_2173` `div-exp_binary64_2175`
30×	`swap-sqr_binary64_2091`
28×	`add-cbrt-cube_binary64_2160`
26×	`associate-l_binary64_2065` `associate-r_binary64_2064`
18×	`unswap-sqr_binary64_2092`
16×	`pow-flip_binary64_2198` `1-exp_binary64_2168` `inv-pow_binary64_2209` `rec-exp_binary64_2174`
12×	`div-inv_binary64_2121`
10×	`pow-prod-up_binary64_2194`
8×	`cbrt-undiv_binary64_2158` `cbrt-unprod_binary64_2157`
6×	`pow-prod-down_binary64_2195` `add-log-exp_binary64_2163` `pow-sqr_binary64_2097`
3×	`sqrt-prod_binary64_2140`
2×	`un-div-inv_binary64_2122` `-commutative_binary64_2055` `associate-l/_binary64_2067` `pow-plus_binary64_2187` `associate-*r/_binary64_2066` `pow2_binary64_2205` `frac-times_binary64_2134`
1×	`sqrt-pow1_binary64_2142` `exp-to-pow_binary64_2186` `rem-sqrt-square_binary64_2137` `rem-exp-log_binary64_2164` `pow1/2_binary64_2204` `exp-prod_binary64_2176`

Counts

4 → 213

Calls

8 calls:

14.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
14.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
3.0ms	(+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
2.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
1.0ms	(sqrt.f64 PI.f64)

series187.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

68.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
65.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
53.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1812 to 1236 computations (31.8% saved)

simplify103.0ms (0%)

Algorithm

1×	egg-herbie

Counts

222 → 222

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4903	1913
1	4903	1913

localize23.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (/.f64 (exp.f64 (*.f64 x x)) (sqrt.f64 PI.f64)) (fabs.f64 x))
0.2b	(+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))
0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.0b	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))
0.4b	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
0.4b	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 x x))

rewrite90.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

129×	`times-frac_binary64_2130`
84×	`add-sqr-sqrt_binary64_2146`
79×	`*-un-lft-identity_binary64_2124`
70×	`add-cube-cbrt_binary64_2159` `associate-l_binary64_2065`
31×	`sqrt-prod_binary64_2140`
18×	`add-cbrt-cube_binary64_2160`
17×	`add-exp-log_binary64_2162`
7×	`pow1_binary64_2185`
6×	`add-log-exp_binary64_2163`
5×	`cbrt-undiv_binary64_2158` `distribute-lft-out_binary64_2075` `associate-r_binary64_2064` `div-inv_binary64_2121` `div-exp_binary64_2175`
4×	`unswap-sqr_binary64_2092` `associate-/l*_binary64_2069` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
3×	`flip3-+_binary64_2127` `flip-+_binary64_2098`
2×	`associate-*r/_binary64_2066` `frac-times_binary64_2134` `associate-/l/_binary64_2071`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `sqrt-pow1_binary64_2142` `-commutative_binary64_2055` `exp-to-pow_binary64_2186` `associate-/r_binary64_2068` `rem-sqrt-square_binary64_2137` `associate-*l/_binary64_2067` `rem-exp-log_binary64_2164` `pow1/2_binary64_2204` `distribute-rgt-in_binary64_2074` `exp-prod_binary64_2176` `distribute-lft-in_binary64_2073` `frac-2neg_binary64_2135`

Counts

4 → 149

Calls

8 calls:

48.0ms	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
14.0ms	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
2.0ms	(exp.f64 (*.f64 x x))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))

series295.0ms (0.1%)

Counts

4 → 24

Calls

4 calls:

197.0ms	(.f64 (/.f64 (/.f64 (exp.f64 (.f64 x x)) (sqrt.f64 PI.f64)) (fabs.f64 x)) (+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))))
76.0ms	(/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))
22.0ms	(exp.f64 (*.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1010 to 815 computations (19.3% saved)

simplify141.0ms (0%)

Algorithm

1×	egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4943	6637
1	4943	6637

prune4.0s (1.4%)

Pruning

183 alts after pruning (181 fresh and 2 done)

	Pruned	Kept	Total
New	215	180	395
Fresh	0	1	1
Picked	0	0	0
Done	0	2	2
Total	215	183	398

Error

0.2b

Counts

398 → 183

Compiler

Compiled 27279 to 16468 computations (39.6% saved)

localize29.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(+.f64 (/.f64 (pow.f64 (exp.f64 x) x) (fabs.f64 x)) (*.f64 1/2 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 3))))
0.2b	(/.f64 (pow.f64 (exp.f64 x) x) (fabs.f64 x))
0.2b	(*.f64 15/8 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 7)))
0.2b	(+.f64 (.f64 3/4 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 5))) (.f64 15/8 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 7))))
1.0b	(pow.f64 (exp.f64 x) x)
1.0b	(pow.f64 (exp.f64 x) x)
1.0b	(pow.f64 (exp.f64 x) x)
1.0b	(pow.f64 (exp.f64 x) x)

rewrite26.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`pow-pow_binary64_2196` `add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
12×	`pow-unpow_binary64_2201` `unpow-prod-down_binary64_2203` `exp-prod_binary64_2176`
8×	`pow1_binary64_2185`
4×	`pow-exp_binary64_2192` `add-log-exp_binary64_2163` `sqr-pow_binary64_2096` `pow-to-exp_binary64_2193` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`

Counts

4 → 80

Calls

8 calls:

4.0ms	(pow.f64 (exp.f64 x) x)
3.0ms	(pow.f64 (exp.f64 x) x)
3.0ms	(pow.f64 (exp.f64 x) x)
3.0ms	(pow.f64 (exp.f64 x) x)
0.0ms	(+.f64 (.f64 3/4 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 5))) (.f64 15/8 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 7))))

series170.0ms (0.1%)

Counts

4 → 24

Calls

4 calls:

47.0ms	(pow.f64 (exp.f64 x) x)
42.0ms	(pow.f64 (exp.f64 x) x)
42.0ms	(pow.f64 (exp.f64 x) x)
39.0ms	(pow.f64 (exp.f64 x) x)

Compiler

Compiled 1608 to 1008 computations (37.3% saved)

simplify50.0ms (0%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5177	940

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7))
0.2b	(*.f64 15/8 (/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7)))
0.2b	(*.f64 15/8 (/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7)))
0.3b	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7))

rewrite94.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

377×	`times-frac_binary64_2130`
227×	`add-sqr-sqrt_binary64_2146`
204×	`sqrt-prod_binary64_2140`
193×	`*-un-lft-identity_binary64_2124`
190×	`add-cube-cbrt_binary64_2159`
116×	`associate-r_binary64_2064`
103×	`unpow-prod-down_binary64_2203`
37×	`sqr-pow_binary64_2096`
17×	`add-exp-log_binary64_2162` `div-inv_binary64_2121`
16×	`associate-/l*_binary64_2069`
13×	`unswap-sqr_binary64_2092`
9×	`add-cbrt-cube_binary64_2160`
7×	`associate-/r*_binary64_2068`
6×	`div-exp_binary64_2175`
4×	`pow1_binary64_2185` `prod-exp_binary64_2173`
3×	`associate-l_binary64_2065`
2×	`cbrt-undiv_binary64_2158` `pow-exp_binary64_2192` `add-log-exp_binary64_2163` `pow-to-exp_binary64_2193` `cbrt-unprod_binary64_2157`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `-commutative_binary64_2055` `sqrt-div_binary64_2141` `associate-r/_binary64_2066` `associate-/l/_binary64_2071` `frac-2neg_binary64_2135`

Counts

2 → 298

Calls

4 calls:

36.0ms	(*.f64 15/8 (/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7)))
12.0ms	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7))
0.0ms	(*.f64 15/8 (/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7)))
0.0ms	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7))

series301.0ms (0.1%)

Counts

2 → 6

Calls

2 calls:

165.0ms	(*.f64 15/8 (/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7)))
136.0ms	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7))

Compiler

Compiled 156 to 156 computations (0% saved)

simplify136.0ms (0%)

Algorithm

1×	egg-herbie

Counts

304 → 304

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4954	7934
1	4954	7934

localize32.0ms (0%)

Local error

Found 8 expressions with local error:

0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.0b	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x)))) (cbrt.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))))) x) (/.f64 (cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x)))) x))))
0.5b	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
0.5b	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 x x))

rewrite23.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64_2124`
8×	`add-sqr-sqrt_binary64_2146` `cbrt-prod_binary64_2155`
7×	`add-cube-cbrt_binary64_2159`
6×	`add-log-exp_binary64_2163`
5×	`pow1_binary64_2185`
4×	`cbrt-div_binary64_2156` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`sqrt-prod_binary64_2140`
2×	`distribute-lft-out_binary64_2075` `pow1/3_binary64_2206` `flip3-+_binary64_2127` `flip-+_binary64_2098`
1×	`sqrt-pow1_binary64_2142` `exp-to-pow_binary64_2186` `rem-sqrt-square_binary64_2137` `rem-exp-log_binary64_2164` `pow1/2_binary64_2204` `exp-prod_binary64_2176`

Counts

4 → 51

Calls

8 calls:

6.0ms	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
5.0ms	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
2.0ms	(sqrt.f64 PI.f64)
2.0ms	(exp.f64 (*.f64 x x))
0.0ms	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x)))) (cbrt.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))))) x) (/.f64 (cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x)))) x))))

series285.0ms (0.1%)

Counts

4 → 30

Calls

4 calls:

130.0ms	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
127.0ms	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
26.0ms	(exp.f64 (*.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 2014 to 1584 computations (21.4% saved)

simplify72.0ms (0%)

Algorithm

1×	egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4971	1240
1	4971	1240

localize38.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))
0.2b	(/.f64 (/.f64 (cbrt.f64 (pow.f64 (exp.f64 x) x)) (sqrt.f64 (sqrt.f64 PI.f64))) (fabs.f64 x))
0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.0b	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))
1.0b	(sqrt.f64 PI.f64)
1.0b	(pow.f64 (exp.f64 x) x)
2.7b	(exp.f64 (*.f64 x x))
2.7b	(exp.f64 (*.f64 x x))

rewrite18.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary64_2146`
8×	`add-log-exp_binary64_2163` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
6×	`pow1_binary64_2185`
5×	`exp-prod_binary64_2176`
4×	`pow-pow_binary64_2196` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-unpow_binary64_2201` `unpow-prod-down_binary64_2203` `sqrt-prod_binary64_2140`
2×	`exp-to-pow_binary64_2186` `rem-exp-log_binary64_2164`
1×	`sqrt-pow1_binary64_2142` `pow-exp_binary64_2192` `rem-sqrt-square_binary64_2137` `sqr-pow_binary64_2096` `pow1/2_binary64_2204` `pow-to-exp_binary64_2193`

Counts

4 → 53

Calls

8 calls:

4.0ms	(pow.f64 (exp.f64 x) x)
2.0ms	(exp.f64 (*.f64 x x))
2.0ms	(exp.f64 (*.f64 x x))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))

series99.0ms (0%)

Counts

4 → 18

Calls

4 calls:

45.0ms	(pow.f64 (exp.f64 x) x)
27.0ms	(exp.f64 (*.f64 x x))
26.0ms	(exp.f64 (*.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1254 to 860 computations (31.4% saved)

simplify74.0ms (0%)

Algorithm

1×	egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4930	566
1	4930	566

localize47.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (/.f64 1 (sqrt.f64 PI.f64)) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))
0.2b	(+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 (sqrt.f64 1) 1) (/.f64 1 (.f64 x x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.5b	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
0.5b	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))

rewrite99.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

110×	`add-sqr-sqrt_binary64_2146`
96×	`times-frac_binary64_2130`
84×	`add-exp-log_binary64_2162`
77×	`*-un-lft-identity_binary64_2124`
61×	`add-cube-cbrt_binary64_2159`
35×	`pow1_binary64_2185`
32×	`prod-exp_binary64_2173` `div-exp_binary64_2175`
30×	`swap-sqr_binary64_2091`
28×	`add-cbrt-cube_binary64_2160`
26×	`associate-l_binary64_2065` `associate-r_binary64_2064`
18×	`unswap-sqr_binary64_2092`
16×	`pow-flip_binary64_2198` `1-exp_binary64_2168` `inv-pow_binary64_2209` `rec-exp_binary64_2174`
12×	`div-inv_binary64_2121`
10×	`pow-prod-up_binary64_2194`
8×	`cbrt-undiv_binary64_2158` `cbrt-unprod_binary64_2157`
6×	`pow-prod-down_binary64_2195` `add-log-exp_binary64_2163` `pow-sqr_binary64_2097`
3×	`sqrt-prod_binary64_2140`
2×	`un-div-inv_binary64_2122` `-commutative_binary64_2055` `associate-l/_binary64_2067` `pow-plus_binary64_2187` `associate-*r/_binary64_2066` `pow2_binary64_2205` `frac-times_binary64_2134`
1×	`sqrt-pow1_binary64_2142` `exp-to-pow_binary64_2186` `rem-sqrt-square_binary64_2137` `rem-exp-log_binary64_2164` `pow1/2_binary64_2204` `exp-prod_binary64_2176`

Counts

4 → 213

Calls

8 calls:

13.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
13.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
2.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))

series185.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

68.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
65.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
51.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1830 to 1290 computations (29.5% saved)

simplify97.0ms (0%)

Algorithm

1×	egg-herbie

Counts

222 → 222

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4903	1913
1	4903	1913

prune22.7s (7.8%)

Pruning

494 alts after pruning (487 fresh and 7 done)

	Pruned	Kept	Total
New	460	322	782
Fresh	11	165	176
Picked	0	0	0
Done	0	7	7
Total	471	494	965

Error

0.2b

Counts

965 → 494

Compiler

Compiled 51448 to 32843 computations (36.2% saved)

localize41.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(+.f64 (/.f64 (pow.f64 (exp.f64 x) x) (fabs.f64 x)) (*.f64 1/2 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 3))))
0.2b	(/.f64 (pow.f64 (exp.f64 x) x) (fabs.f64 x))
0.2b	(*.f64 15/8 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 7)))
0.2b	(+.f64 (.f64 3/4 (/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (pow.f64 (cbrt.f64 (exp.f64 x)) x)) (pow.f64 (fabs.f64 x) 5))) (.f64 15/8 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 7))))
1.0b	(pow.f64 (exp.f64 x) x)
1.0b	(pow.f64 (exp.f64 x) x)
1.1b	(pow.f64 (cbrt.f64 (exp.f64 x)) x)
1.2b	(pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x)

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`pow-pow_binary64_2196`
15×	`pow1_binary64_2185`
14×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
13×	`unpow-prod-down_binary64_2203`
12×	`pow-unpow_binary64_2201`
8×	`add-exp-log_binary64_2162`
7×	`pow1/3_binary64_2206`
6×	`exp-prod_binary64_2176`
5×	`pow-exp_binary64_2192`
4×	`add-log-exp_binary64_2163` `sqr-pow_binary64_2096` `pow-to-exp_binary64_2193` `add-cbrt-cube_binary64_2160`
3×	`cbrt-prod_binary64_2155`
2×	`pow-prod-down_binary64_2195` `pow-prod-up_binary64_2194` `pow-sqr_binary64_2097`
1×	`prod-exp_binary64_2173` `pow-plus_binary64_2187` `pow2_binary64_2205`

Counts

4 → 85

Calls

8 calls:

7.0ms	(pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x)
4.0ms	(pow.f64 (exp.f64 x) x)
3.0ms	(pow.f64 (cbrt.f64 (exp.f64 x)) x)
3.0ms	(pow.f64 (exp.f64 x) x)
0.0ms	(+.f64 (.f64 3/4 (/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (pow.f64 (cbrt.f64 (exp.f64 x)) x)) (pow.f64 (fabs.f64 x) 5))) (.f64 15/8 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 7))))

series214.0ms (0.1%)

Counts

4 → 24

Calls

4 calls:

66.0ms	(pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x)
61.0ms	(pow.f64 (cbrt.f64 (exp.f64 x)) x)
46.0ms	(pow.f64 (exp.f64 x) x)
41.0ms	(pow.f64 (exp.f64 x) x)

Compiler

Compiled 1948 to 1188 computations (39% saved)

simplify64.0ms (0%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4985	1087
1	4985	1087

localize8.0ms (0%)

Local error

Found 2 expressions with local error:

0.4b	(/.f64 (*.f64 (sqrt.f64 (/.f64 1 PI.f64)) 15/8) (pow.f64 (fabs.f64 x) 7))
0.4b	(/.f64 (*.f64 (sqrt.f64 (/.f64 1 PI.f64)) 15/8) (pow.f64 (fabs.f64 x) 7))

rewrite12.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-exp-log_binary64_2162`
7×	`associate-/r*_binary64_2068` `times-frac_binary64_2130`
6×	`unpow-prod-down_binary64_2203` `add-cbrt-cube_binary64_2160` `div-exp_binary64_2175`
5×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
3×	`prod-exp_binary64_2173`
2×	`cbrt-undiv_binary64_2158` `pow-exp_binary64_2192` `sqr-pow_binary64_2096` `pow-to-exp_binary64_2193`
1×	`clear-num_binary64_2123` `associate-/l_binary64_2069` `sqrt-div_binary64_2141` `pow1_binary64_2185` `add-log-exp_binary64_2163` `associate-l/_binary64_2067` `div-inv_binary64_2121` `associate-/l/_binary64_2071` `cbrt-unprod_binary64_2157` `frac-2neg_binary64_2135`

Counts

1 → 34

Calls

2 calls:

9.0ms	(/.f64 (*.f64 (sqrt.f64 (/.f64 1 PI.f64)) 15/8) (pow.f64 (fabs.f64 x) 7))
0.0ms	(/.f64 (*.f64 (sqrt.f64 (/.f64 1 PI.f64)) 15/8) (pow.f64 (fabs.f64 x) 7))

series161.0ms (0.1%)

Counts

1 → 3

Calls

1 calls:

161.0ms

(/.f64 (*.f64 (sqrt.f64 (/.f64 1 PI.f64)) 15/8) (pow.f64 (fabs.f64 x) 7))

Compiler

Compiled 78 to 78 computations (0% saved)

simplify96.0ms (0%)

Algorithm

1×	egg-herbie

Counts

37 → 37

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4924	765
1	4924	765

localize43.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(/.f64 (.f64 (cbrt.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x)))) (.f64 (cbrt.f64 (/.f64 3/4 (.f64 x x))) (+.f64 (+.f64 1 (.f64 (.f64 x x) 2/9)) (*.f64 (pow.f64 x 4) -4/81)))) x)
0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.1b	(+.f64 1 (.f64 (.f64 x x) 2/9))
0.5b	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
0.6b	(cbrt.f64 (/.f64 3/4 (*.f64 x x)))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 x x))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`cbrt-prod_binary64_2155`
10×	`*-un-lft-identity_binary64_2124`
9×	`add-sqr-sqrt_binary64_2146`
8×	`add-cube-cbrt_binary64_2159`
6×	`add-log-exp_binary64_2163`
5×	`pow1_binary64_2185`
4×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`cbrt-div_binary64_2156` `sqrt-prod_binary64_2140` `times-frac_binary64_2130`
2×	`pow1/3_binary64_2206`
1×	`sqrt-pow1_binary64_2142` `exp-to-pow_binary64_2186` `distribute-lft-out_binary64_2075` `rem-sqrt-square_binary64_2137` `rem-exp-log_binary64_2164` `pow1/2_binary64_2204` `exp-prod_binary64_2176` `flip3-+_binary64_2127` `flip-+_binary64_2098` `div-inv_binary64_2121`

Counts

4 → 53

Calls

8 calls:

5.0ms	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
4.0ms	(cbrt.f64 (/.f64 3/4 (*.f64 x x)))
2.0ms	(exp.f64 (*.f64 x x))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 1 (.f64 (.f64 x x) 2/9))

series259.0ms (0.1%)

Counts

4 → 17

Calls

4 calls:

118.0ms	(cbrt.f64 (/.f64 3/4 (*.f64 x x)))
106.0ms	(cbrt.f64 (+.f64 1/2 (/.f64 3/4 (*.f64 x x))))
35.0ms	(exp.f64 (*.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1658 to 1254 computations (24.4% saved)

simplify63.0ms (0%)

Algorithm

1×	egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4912	847
1	4912	847

localize18.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7)))
0.2b	(.f64 15/8 (.f64 (/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7))) (/.f64 (sqrt.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7)))))
0.1b	(sqrt.f64 (pow.f64 (fabs.f64 x) 7))
0.1b	(sqrt.f64 (pow.f64 (fabs.f64 x) 7))
0.3b	(/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7)))
0.5b	(.f64 (/.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7))) (/.f64 (sqrt.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7))))
1.0b	(sqrt.f64 PI.f64)
1.0b	(sqrt.f64 PI.f64)

rewrite1.3s (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

3777×	`sqrt-prod_binary64_2140`
3304×	`times-frac_binary64_2130`
2938×	`add-sqr-sqrt_binary64_2146`
890×	`*-un-lft-identity_binary64_2124`
658×	`add-cube-cbrt_binary64_2159`
561×	`unswap-sqr_binary64_2092`
548×	`cbrt-prod_binary64_2155`
526×	`unpow-prod-down_binary64_2203`
434×	`associate-r_binary64_2064`
354×	`sqr-pow_binary64_2096`
134×	`associate-l_binary64_2065`
96×	`swap-sqr_binary64_2091`
34×	`div-inv_binary64_2121`
18×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
13×	`associate-/l*_binary64_2069`
10×	`associate-/r*_binary64_2068`
8×	`pow1_binary64_2185`
5×	`cbrt-undiv_binary64_2158` `div-exp_binary64_2175`
4×	`add-log-exp_binary64_2163` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
3×	`sqrt-undiv_binary64_2145`
2×	`sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204`
1×	`pow-prod-down_binary64_2195` `clear-num_binary64_2123` `sqrt-unprod_binary64_2144` `-commutative_binary64_2055` `sqrt-div_binary64_2141` `associate-l/_binary64_2067` `associate-*r/_binary64_2066` `frac-times_binary64_2134` `associate-/l/_binary64_2071` `frac-2neg_binary64_2135`

Counts

4 → 1000

Calls

8 calls:

831.0ms	(.f64 (/.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7))) (/.f64 (sqrt.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7))))
21.0ms	(/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7)))
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 (pow.f64 (fabs.f64 x) 7))

series384.0ms (0.1%)

Counts

4 → 6

Calls

4 calls:

224.0ms	(/.f64 (sqrt.f64 (/.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7)))
160.0ms	(.f64 (/.f64 (sqrt.f64 (/.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7))) (/.f64 (sqrt.f64 (/.f64 (cbrt.f64 1) (sqrt.f64 PI.f64))) (sqrt.f64 (pow.f64 (fabs.f64 x) 7))))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 246 to 228 computations (7.3% saved)

simplify743.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1006 → 1006

Iterations

Useful iterations: 0 (98.0ms)

Iter	Nodes	Cost
0	4976	78470
1	4976	78470

localize56.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (/.f64 1 (sqrt.f64 PI.f64)) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))
0.2b	(+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 (sqrt.f64 1) 1) (/.f64 1 (.f64 x x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (*.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x)))))
0.4b	(.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))
0.5b	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))

rewrite122.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

293×	`add-exp-log_binary64_2162`
148×	`prod-exp_binary64_2173`
114×	`div-exp_binary64_2175`
69×	`add-sqr-sqrt_binary64_2146`
66×	`add-cbrt-cube_binary64_2160`
60×	`pow1_binary64_2185`
59×	`times-frac_binary64_2130`
57×	`1-exp_binary64_2168` `rec-exp_binary64_2174`
49×	`*-un-lft-identity_binary64_2124`
40×	`add-cube-cbrt_binary64_2159`
31×	`pow-prod-up_binary64_2194`
29×	`pow-flip_binary64_2198` `inv-pow_binary64_2209`
26×	`associate-r_binary64_2064`
22×	`cbrt-unprod_binary64_2157`
20×	`cbrt-undiv_binary64_2158`
15×	`swap-sqr_binary64_2091`
14×	`associate-l_binary64_2065`
12×	`unswap-sqr_binary64_2092`
10×	`pow-prod-down_binary64_2195`
9×	`pow-sqr_binary64_2097`
7×	`associate-*l/_binary64_2067` `pow-plus_binary64_2187` `frac-times_binary64_2134` `div-inv_binary64_2121`
6×	`add-log-exp_binary64_2163`
4×	`un-div-inv_binary64_2122` `associate-*r/_binary64_2066`
3×	`sqrt-prod_binary64_2140` `pow2_binary64_2205`
2×	`rem-3cbrt-lft_binary64_2149` `*-commutative_binary64_2055`
1×	`sqrt-pow1_binary64_2142` `pow3_binary64_2207` `exp-to-pow_binary64_2186` `rem-sqrt-square_binary64_2137` `rem-exp-log_binary64_2164` `pow1/2_binary64_2204` `exp-prod_binary64_2176`

Counts

4 → 258

Calls

8 calls:

21.0ms	(.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))
15.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
2.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (*.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x)))))

series213.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

82.0ms	(.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))
75.0ms	(*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x)))
55.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1746 to 1236 computations (29.2% saved)

simplify100.0ms (0%)

Algorithm

1×	egg-herbie

Counts

267 → 267

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4962	2270
1	4962	2270

prune52.8s (18.1%)

Pruning

886 alts after pruning (876 fresh and 10 done)

	Pruned	Kept	Total
New	1082	407	1489
Fresh	13	469	482
Picked	0	0	0
Done	2	10	12
Total	1097	886	1983

Error

0.2b

Counts

1983 → 886

Compiler

Compiled 81930 to 55635 computations (32.1% saved)

localize46.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(+.f64 (/.f64 (pow.f64 (exp.f64 x) x) (fabs.f64 x)) (*.f64 1/2 (/.f64 (pow.f64 (exp.f64 x) x) (pow.f64 (fabs.f64 x) 3))))
0.2b	(/.f64 (pow.f64 (exp.f64 x) x) (fabs.f64 x))
0.2b	(.f64 15/8 (/.f64 (exp.f64 (.f64 x x)) (pow.f64 (fabs.f64 x) 7)))
0.2b	(+.f64 (.f64 3/4 (/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (pow.f64 (cbrt.f64 (exp.f64 x)) x)) (pow.f64 (fabs.f64 x) 5))) (.f64 15/8 (/.f64 (exp.f64 (*.f64 x x)) (pow.f64 (fabs.f64 x) 7))))
1.0b	(pow.f64 (exp.f64 x) x)
1.1b	(pow.f64 (cbrt.f64 (exp.f64 x)) x)
1.2b	(pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x)
2.7b	(exp.f64 (*.f64 x x))

rewrite28.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`pow-pow_binary64_2196`
14×	`pow1_binary64_2185`
11×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
10×	`unpow-prod-down_binary64_2203`
9×	`pow-unpow_binary64_2201`
8×	`add-exp-log_binary64_2162`
7×	`pow1/3_binary64_2206`
6×	`add-log-exp_binary64_2163`
4×	`pow-exp_binary64_2192` `exp-prod_binary64_2176` `add-cbrt-cube_binary64_2160`
3×	`sqr-pow_binary64_2096` `cbrt-prod_binary64_2155` `pow-to-exp_binary64_2193`
2×	`pow-prod-down_binary64_2195` `pow-prod-up_binary64_2194` `pow-sqr_binary64_2097`
1×	`exp-to-pow_binary64_2186` `prod-exp_binary64_2173` `rem-exp-log_binary64_2164` `pow-plus_binary64_2187` `pow2_binary64_2205`

Counts

4 → 75

Calls

8 calls:

6.0ms	(pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x)
3.0ms	(pow.f64 (exp.f64 x) x)
3.0ms	(pow.f64 (cbrt.f64 (exp.f64 x)) x)
2.0ms	(exp.f64 (*.f64 x x))
0.0ms	(+.f64 (.f64 3/4 (/.f64 (.f64 (pow.f64 (.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x) (pow.f64 (cbrt.f64 (exp.f64 x)) x)) (pow.f64 (fabs.f64 x) 5))) (.f64 15/8 (/.f64 (exp.f64 (*.f64 x x)) (pow.f64 (fabs.f64 x) 7))))

series207.0ms (0.1%)

Counts

4 → 24

Calls

4 calls:

65.0ms	(pow.f64 (*.f64 (cbrt.f64 (exp.f64 x)) (cbrt.f64 (exp.f64 x))) x)
64.0ms	(pow.f64 (cbrt.f64 (exp.f64 x)) x)
45.0ms	(pow.f64 (exp.f64 x) x)
34.0ms	(exp.f64 (*.f64 x x))

Compiler

Compiled 1948 to 1248 computations (35.9% saved)

simplify100.0ms (0%)

Algorithm

1×	egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (83.0ms)

Iter	Nodes	Cost
0	4909	981
1	4909	981

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (/.f64 (pow.f64 (fabs.f64 x) 7) 15/8))
0.3b	(/.f64 (pow.f64 (fabs.f64 x) 7) 15/8)
0.3b	(/.f64 (pow.f64 (fabs.f64 x) 7) 15/8)
0.3b	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (/.f64 (pow.f64 (fabs.f64 x) 7) 15/8))

rewrite105.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1012×	`times-frac_binary64_2130`
464×	`add-cube-cbrt_binary64_2159` `add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
338×	`sqrt-prod_binary64_2140`
165×	`unpow-prod-down_binary64_2203`
55×	`sqr-pow_binary64_2096`
45×	`div-inv_binary64_2121`
28×	`associate-/r*_binary64_2068`
23×	`associate-/l*_binary64_2069`
17×	`add-exp-log_binary64_2162`
10×	`div-exp_binary64_2175`
9×	`add-cbrt-cube_binary64_2160`
4×	`cbrt-undiv_binary64_2158`
2×	`clear-num_binary64_2123` `pow-exp_binary64_2192` `pow1_binary64_2185` `add-log-exp_binary64_2163` `pow-to-exp_binary64_2193` `frac-2neg_binary64_2135`
1×	`associate-/r/_binary64_2070` `sqrt-div_binary64_2141` `associate-/l/_binary64_2071`

Counts

2 → 504

Calls

4 calls:

20.0ms	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (/.f64 (pow.f64 (fabs.f64 x) 7) 15/8))
5.0ms	(/.f64 (pow.f64 (fabs.f64 x) 7) 15/8)
0.0ms	(/.f64 (pow.f64 (fabs.f64 x) 7) 15/8)
0.0ms	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (/.f64 (pow.f64 (fabs.f64 x) 7) 15/8))

series248.0ms (0.1%)

Counts

2 → 6

Calls

2 calls:

170.0ms	(/.f64 (sqrt.f64 (/.f64 1 PI.f64)) (/.f64 (pow.f64 (fabs.f64 x) 7) 15/8))
77.0ms	(/.f64 (pow.f64 (fabs.f64 x) 7) 15/8)

Compiler

Compiled 144 to 144 computations (0% saved)

simplify274.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

510 → 510

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4911	19315
1	4911	19315

localize34.0ms (0%)

Local error

Found 8 expressions with local error:

0.3b	(/.f64 3/4 (*.f64 x x))
0.2b	(+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x)))
0.1b	(+.f64 1/2 (/.f64 3/4 (*.f64 x x)))
0.0b	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))
0.6b	(cbrt.f64 (fabs.f64 x))
0.6b	(cbrt.f64 (fabs.f64 x))
1.0b	(sqrt.f64 PI.f64)
1.0b	(pow.f64 (exp.f64 x) x)

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary64_2146`
10×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
6×	`pow1_binary64_2185` `cbrt-prod_binary64_2155`
4×	`pow-pow_binary64_2196` `add-log-exp_binary64_2163` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-unpow_binary64_2201` `unpow-prod-down_binary64_2203` `sqrt-prod_binary64_2140` `exp-prod_binary64_2176`
2×	`pow1/3_binary64_2206`
1×	`sqrt-pow1_binary64_2142` `pow-exp_binary64_2192` `rem-sqrt-square_binary64_2137` `sqr-pow_binary64_2096` `pow1/2_binary64_2204` `pow-to-exp_binary64_2193`

Counts

4 → 55

Calls

8 calls:

4.0ms	(pow.f64 (exp.f64 x) x)
1.0ms	(sqrt.f64 PI.f64)
1.0ms	(cbrt.f64 (fabs.f64 x))
1.0ms	(cbrt.f64 (fabs.f64 x))
0.0ms	(+.f64 1 (+.f64 (/.f64 15/8 (pow.f64 x 6)) (/.f64 (+.f64 1/2 (/.f64 3/4 (.f64 x x))) (.f64 x x))))

series197.0ms (0.1%)

Counts

4 → 12

Calls

4 calls:

81.0ms	(cbrt.f64 (fabs.f64 x))
76.0ms	(cbrt.f64 (fabs.f64 x))
39.0ms	(pow.f64 (exp.f64 x) x)
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 890 to 624 computations (29.9% saved)

simplify78.0ms (0%)

Algorithm

1×	egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4894	528
1	4894	528

localize48.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(.f64 (/.f64 1 (sqrt.f64 PI.f64)) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))
0.2b	(+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (/.f64 1 (pow.f64 (fabs.f64 x) 3)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (/.f64 1 (pow.f64 (fabs.f64 x) 3)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (.f64 (/.f64 (sqrt.f64 1) 1) (/.f64 1 (.f64 x x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (*.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x)))))
0.4b	(.f64 (pow.f64 (.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x)))
0.4b	(.f64 (.f64 (/.f64 (sqrt.f64 1) 1) (/.f64 1 (*.f64 x x))) (/.f64 1 (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))

rewrite105.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

410×	`add-exp-log_binary64_2162`
228×	`prod-exp_binary64_2173`
156×	`div-exp_binary64_2175`
78×	`1-exp_binary64_2168`
74×	`add-cbrt-cube_binary64_2160`
50×	`rec-exp_binary64_2174`
36×	`add-sqr-sqrt_binary64_2146`
32×	`cbrt-unprod_binary64_2157`
26×	`associate-r_binary64_2064`
24×	`times-frac_binary64_2130`
23×	`*-un-lft-identity_binary64_2124`
22×	`cbrt-undiv_binary64_2158`
20×	`add-cube-cbrt_binary64_2159`
11×	`pow1_binary64_2185`
9×	`unswap-sqr_binary64_2092`
8×	`pow-exp_binary64_2192` `associate-*l/_binary64_2067` `frac-times_binary64_2134`
6×	`add-log-exp_binary64_2163` `associate-l_binary64_2065`
4×	`pow-prod-down_binary64_2195` `un-div-inv_binary64_2122` `unpow-prod-down_binary64_2203` `sqr-pow_binary64_2096` `pow-to-exp_binary64_2193` `associate-*r/_binary64_2066`
3×	`sqrt-prod_binary64_2140`
2×	`pow-neg_binary64_2197` `*-commutative_binary64_2055` `pow-sub_binary64_2200` `div-inv_binary64_2121` `neg-sub0_binary64_2119`
1×	`sqrt-pow1_binary64_2142` `exp-to-pow_binary64_2186` `rem-sqrt-square_binary64_2137` `rem-exp-log_binary64_2164` `pow1/2_binary64_2204` `pow-flip_binary64_2198` `exp-prod_binary64_2176`

Counts

4 → 219

Calls

8 calls:

26.0ms	(.f64 (.f64 (/.f64 (sqrt.f64 1) 1) (/.f64 1 (*.f64 x x))) (/.f64 1 (fabs.f64 x)))
10.0ms	(.f64 (pow.f64 (.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x)))
2.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (pow.f64 (*.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x)))))

series166.0ms (0.1%)

Counts

4 → 9

Calls

4 calls:

58.0ms	(.f64 (pow.f64 (.f64 x x) (neg.f64 1)) (/.f64 1 (fabs.f64 x)))
56.0ms	(.f64 (.f64 (/.f64 (sqrt.f64 1) 1) (/.f64 1 (*.f64 x x))) (/.f64 1 (fabs.f64 x)))
52.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1608 to 1158 computations (28% saved)

simplify132.0ms (0%)

Algorithm

1×	egg-herbie

Counts

228 → 228

Iterations

Useful iterations: 0 (93.0ms)

Iter	Nodes	Cost
0	4884	1949
1	4884	1949

localize42.0ms (0%)

Local error

Found 8 expressions with local error:

0.2b	(+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(.f64 (/.f64 1 (cbrt.f64 (pow.f64 (sqrt.f64 PI.f64) 3))) (exp.f64 (.f64 (fabs.f64 x) (fabs.f64 x))))
0.2b	(+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
0.2b	(+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))
1.0b	(pow.f64 (sqrt.f64 PI.f64) 3)
1.0b	(cbrt.f64 (pow.f64 (sqrt.f64 PI.f64) 3))
1.0b	(sqrt.f64 PI.f64)
2.7b	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))

rewrite36.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64_2155`
16×	`add-sqr-sqrt_binary64_2146`
15×	`sqrt-prod_binary64_2140` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
12×	`unpow-prod-down_binary64_2203` `cube-prod_binary64_2152`
7×	`pow1_binary64_2185`
6×	`add-log-exp_binary64_2163`
5×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
3×	`pow-unpow_binary64_2201` `pow-pow_binary64_2196`
2×	`unpow3_binary64_2190` `cube-mult_binary64_2154` `sqrt-pow1_binary64_2142` `sqr-pow_binary64_2096` `pow1/2_binary64_2204`
1×	`sqrt-pow2_binary64_2143` `rem-cbrt-cube_binary64_2148` `pow-exp_binary64_2192` `exp-to-pow_binary64_2186` `rem-sqrt-square_binary64_2137` `pow1/3_binary64_2206` `rem-exp-log_binary64_2164` `exp-prod_binary64_2176` `pow-to-exp_binary64_2193` `rem-cube-cbrt_binary64_2147`

Counts

4 → 82

Calls

8 calls:

3.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 PI.f64) 3))
3.0ms	(pow.f64 (sqrt.f64 PI.f64) 3)
2.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
1.0ms	(sqrt.f64 PI.f64)
0.0ms	(+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (.f64 (/.f64 1 2) (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 3 4) (.f64 (.f64 (.f64 (.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))))) (.f64 (/.f64 15 8) (.f64 (.f64 (.f64 (.f64 (.f64 (*.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x))) (/.f64 1 (fabs.f64 x)))))

series46.0ms (0%)

Counts

4 → 3

Calls

4 calls:

45.0ms	(exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
0.0ms	(sqrt.f64 PI.f64)
0.0ms	(cbrt.f64 (pow.f64 (sqrt.f64 PI.f64) 3))
0.0ms	(pow.f64 (sqrt.f64 PI.f64) 3)

Compiler

Compiled 630 to 438 computations (30.5% saved)

simplify67.0ms (0%)

Algorithm

1×	egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5671	635

prune1.1min (22.6%)

Pruning

1185 alts after pruning (1171 fresh and 14 done)

	Pruned	Kept	Total
New	666	323	989
Fresh	23	848	871
Picked	0	0	0
Done	1	14	15
Total	690	1185	1875

Error

0.1b

Counts

1875 → 1185

Compiler

Compiled 26351 to 15873 computations (39.8% saved)

simplify2.4s (0.8%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	6303	148244

regimes16.1s (5.5%)

Compiler: Compiled 197437 to 140769 computations (28.7% saved)

bsearch0.0ms (0%)

regimes12.2s (4.2%)

Compiler: Compiled 148414 to 106038 computations (28.6% saved)

bsearch0.0ms (0%)

regimes8.3s (2.8%)

Compiler: Compiled 96705 to 71391 computations (26.2% saved)

bsearch0.0ms (0%)

regimes6.8s (2.3%)

Compiler: Compiled 72588 to 55077 computations (24.1% saved)

bsearch0.0ms (0%)

regimes5.8s (2%)

Compiler: Compiled 63163 to 48719 computations (22.9% saved)

bsearch0.0ms (0%)

regimes5.2s (1.8%)

Compiler: Compiled 57201 to 44535 computations (22.1% saved)

bsearch0.0ms (0%)

regimes5.5s (1.9%)

Compiler: Compiled 57105 to 44475 computations (22.1% saved)

bsearch0.0ms (0%)

regimes398.0ms (0.1%)

Compiler: Compiled 3657 to 3256 computations (11% saved)

bsearch0.0ms (0%)

regimes384.0ms (0.1%)

Compiler: Compiled 3597 to 3212 computations (10.7% saved)

bsearch0.0ms (0%)

regimes234.0ms (0.1%)

Compiler: Compiled 2036 to 1819 computations (10.7% saved)

bsearch0.0ms (0%)

regimes210.0ms (0.1%)

Compiler: Compiled 1596 to 1501 computations (6% saved)

bsearch0.0ms (0%)

regimes182.0ms (0.1%)

Compiler: Compiled 1416 to 1373 computations (3% saved)

bsearch0.0ms (0%)

regimes176.0ms (0.1%)

Compiler: Compiled 1368 to 1337 computations (2.3% saved)

bsearch0.0ms (0%)

regimes149.0ms (0.1%)

Compiler: Compiled 1110 to 1083 computations (2.4% saved)

bsearch0.0ms (0%)

regimes143.0ms (0%)

Compiler: Compiled 1048 to 1039 computations (0.9% saved)

bsearch0.0ms (0%)

regimes92.0ms (0%)

Accuracy

Total 1.0b remaining (85.4%)

Threshold costs 0b (0%)

Compiler

Compiled 662 to 664 computations (-0.3% saved)

bsearch28.0ms (0%)

Compiler: Compiled 568 to 386 computations (32% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	174	900
1	174	900

end0.0ms (0%)

sample1.2min (24.9%)

Algorithm

1×

intervals

Results

1.7s	8000×	body	128	valid
109.0ms	8125×	pre	128	true
26.0ms	125×	body	128	invalid

Compiler

Compiled 84462 to 59155 computations (30% saved)

Pareto

0.6463735598476337