Details

analyze8.0ms (0.2%)

Algorithm

1×

Search

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

Compiler

Compiled 70 to 33 computations (52.9% saved)

sample36.0ms (0.8%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 137 to 65 computations (52.6% saved)

simplify215.0ms (4.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (120.0ms)

Iter	Nodes	Cost
0	5050	41

prune6.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 2

Compiler

Compiled 119 to 75 computations (37% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite42.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-sqr-sqrt_binary64_2146`
30×	`associate-r_binary64_2064`
23×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
20×	`times-frac_binary64_2130`
19×	`add-exp-log_binary64_2162`
16×	`add-cbrt-cube_binary64_2160`
13×	`sqrt-prod_binary64_2140`
12×	`pow1_binary64_2185`
9×	`associate-l_binary64_2065`
8×	`prod-exp_binary64_2173`
7×	`unswap-sqr_binary64_2092`
6×	`cbrt-unprod_binary64_2157`
4×	`pow-prod-down_binary64_2195` `unpow-prod-down_binary64_2203` `add-log-exp_binary64_2163`
3×	`*-commutative_binary64_2055`
2×	`sqr-pow_binary64_2096`
1×	`cbrt-undiv_binary64_2158` `sqrt-pow1_binary64_2142` `pow-exp_binary64_2192` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204` `pow-to-exp_binary64_2193` `associate-*r/_binary64_2066` `div-inv_binary64_2121` `div-exp_binary64_2175`

Counts

4 → 99

Calls

4 calls:

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

series218.0ms (5%)

Counts

4 → 18

Calls

4 calls:

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

Compiler

Compiled 708 to 588 computations (16.9% saved)

simplify70.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5630	2794

prune201.0ms (4.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	115	4	119

Error

Counts

119 → 4

Compiler

Compiled 4109 to 2747 computations (33.1% saved)

localize24.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.1b	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
1.0b	(sqrt.f64 PI.f64)

rewrite49.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`pow1_binary64_2185`
41×	`add-cbrt-cube_binary64_2160`
35×	`add-exp-log_binary64_2162`
18×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
17×	`add-sqr-sqrt_binary64_2146`
15×	`associate-l_binary64_2065`
14×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
12×	`pow-prod-down_binary64_2195` `pow-prod-up_binary64_2194` `pow-plus_binary64_2187`
9×	`times-frac_binary64_2130`
7×	`associate-r_binary64_2064`
4×	`add-log-exp_binary64_2163` `pow2_binary64_2205` `pow-sqr_binary64_2097`
3×	`cbrt-undiv_binary64_2158` `*-commutative_binary64_2055` `sqrt-prod_binary64_2140` `div-exp_binary64_2175`
2×	`rem-3cbrt-lft_binary64_2149` `unswap-sqr_binary64_2092` `pow3_binary64_2207`
1×	`sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `associate-*l/_binary64_2067` `pow1/2_binary64_2204` `div-inv_binary64_2121`

Counts

4 → 109

Calls

4 calls:

12.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
7.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
6.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
1.0ms	(sqrt.f64 PI.f64)

series152.0ms (3.5%)

Counts

4 → 9

Calls

4 calls:

61.0ms	(.f64 (/.f64 2 3) (.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x)))
46.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
45.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1122 to 606 computations (46% saved)

simplify65.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4907	885
1	4907	885

prune273.0ms (6.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	118	0	118
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	118	4	122

Error

Counts

122 → 4

Compiler

Compiled 7882 to 3068 computations (61.1% saved)

localize18.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite36.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64_2146`
19×	`add-exp-log_binary64_2162`
16×	`add-cbrt-cube_binary64_2160`
13×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
10×	`pow1_binary64_2185` `associate-l_binary64_2065`
9×	`sqrt-prod_binary64_2140`
7×	`prod-exp_binary64_2173`
6×	`associate-/r*_binary64_2068` `times-frac_binary64_2130`
5×	`cbrt-unprod_binary64_2157`
4×	`unswap-sqr_binary64_2092` `unpow-prod-down_binary64_2203` `add-log-exp_binary64_2163` `associate-r_binary64_2064`
3×	`pow-prod-down_binary64_2195`
2×	`cbrt-undiv_binary64_2158` `-commutative_binary64_2055` `sqr-pow_binary64_2096` `associate-r/_binary64_2066` `associate-/l/_binary64_2071` `div-exp_binary64_2175`
1×	`clear-num_binary64_2123` `sqrt-pow1_binary64_2142` `pow-exp_binary64_2192` `associate-/l*_binary64_2069` `rem-sqrt-square_binary64_2137` `pow1/2_binary64_2204` `pow-to-exp_binary64_2193` `flip3-+_binary64_2127` `flip-+_binary64_2098` `div-inv_binary64_2121` `frac-2neg_binary64_2135`

Counts

4 → 86

Calls

4 calls:

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

series218.0ms (5%)

Counts

4 → 18

Calls

4 calls:

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

Compiler

Compiled 708 to 588 computations (16.9% saved)

simplify66.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4947	2155
1	4947	2155

prune154.0ms (3.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	104	4	108

Error

Counts

108 → 4

Compiler

Compiled 3169 to 2125 computations (32.9% saved)

localize21.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite56.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`pow1_binary64_2185`
30×	`sqrt-pow1_binary64_2142`
23×	`pow-prod-down_binary64_2195`
16×	`add-sqr-sqrt_binary64_2146`
12×	`pow1/2_binary64_2204`
11×	`add-cube-cbrt_binary64_2159` `add-exp-log_binary64_2162` `*-un-lft-identity_binary64_2124` `add-cbrt-cube_binary64_2160`
10×	`pow-prod-up_binary64_2194` `sqrt-prod_binary64_2140`
7×	`associate-l_binary64_2065`
6×	`pow-sqr_binary64_2097`
5×	`associate-r/_binary64_2066` `associate-r*_binary64_2064`
4×	`swap-sqr_binary64_2091` `sqrt-div_binary64_2141` `add-log-exp_binary64_2163` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
2×	`unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `rem-sqrt-square_binary64_2137`
1×	`sqrt-unprod_binary64_2144` `associate-*l/_binary64_2067` `pow-plus_binary64_2187` `rem-square-sqrt_binary64_2136` `pow2_binary64_2205` `frac-times_binary64_2134`

Counts

4 → 97

Calls

4 calls:

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

series193.0ms (4.4%)

Counts

4 → 15

Calls

4 calls:

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

Compiler

Compiled 720 to 576 computations (20% saved)

simplify73.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4960	2363
1	4960	2363

prune246.0ms (5.6%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	112	4	116

Error

Counts

116 → 4

Compiler

Compiled 4985 to 3372 computations (32.4% saved)

regimes298.0ms (6.8%)

Accuracy

Total 0.1b remaining (99.5%)

Threshold costs 0.1b (99.5%)

Compiler

Compiled 3892 to 2875 computations (26.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	44
1	34	44

end0.0ms (0%)

sample1.6s (36.8%)

Algorithm

1×

intervals

Results

752.0ms	8000×	body	128	valid
101.0ms	8001×	pre	128	true
0.0ms	1×	body	128	invalid

Compiler

Compiled 779 to 586 computations (24.8% saved)

Details

analyze8.0ms (0.2%)

sample36.0ms (0.8%)

simplify215.0ms (4.9%)

prune6.0ms (0.1%)

localize17.0ms (0.4%)

rewrite42.0ms (1%)

series218.0ms (5%)

simplify70.0ms (1.6%)

prune201.0ms (4.6%)

localize24.0ms (0.6%)

rewrite49.0ms (1.1%)

series152.0ms (3.5%)

simplify65.0ms (1.5%)

prune273.0ms (6.3%)

localize18.0ms (0.4%)

rewrite36.0ms (0.8%)

series218.0ms (5%)

simplify66.0ms (1.5%)

prune154.0ms (3.5%)

localize21.0ms (0.5%)

rewrite56.0ms (1.3%)

series193.0ms (4.4%)

simplify73.0ms (1.7%)

prune246.0ms (5.6%)

regimes298.0ms (6.8%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.6s (36.8%)

Profiling