Details

analyze216.0ms (3.1%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5050	41
0	1	1
1	1	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)

sample38.0ms (0.5%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 137 to 65 computations (52.6% saved)

simplify129.0ms (1.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.2%)

Local error

Found 4 expressions with local error:

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

rewrite232.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

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×	`add-log-exp_binary64_2163` `pow-prod-down_binary64_2195` `unpow-prod-down_binary64_2203`
3×	`*-commutative_binary64_2055`
2×	`sqr-pow_binary64_2096`
1×	`pow1/2_binary64_2204` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `pow-to-exp_binary64_2193` `pow-exp_binary64_2192` `div-exp_binary64_2175` `cbrt-undiv_binary64_2158` `associate-*r/_binary64_2066` `div-inv_binary64_2121`

Counts

4 → 99

Calls

4 calls:

18.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)

Compiler

Compiled 3824 to 2557 computations (33.1% saved)

series235.0ms (3.4%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

144.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)))
32.0ms	(*.f64 1/5 (pow.f64 x 4))
28.0ms	(.f64 2/3 (.f64 x x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1260 to 983 computations (22% saved)

simplify74.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5630	2794

prune214.0ms (3.1%)

Pruning

4 alts after pruning (4 fresh and 0 done)

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

Error

Counts

119 → 4

Compiler

Compiled 4120 to 2766 computations (32.9% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite299.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

29×	`add-exp-log_binary64_2162`
25×	`associate-l_binary64_2065`
23×	`add-sqr-sqrt_binary64_2146`
21×	`add-cbrt-cube_binary64_2160`
17×	`add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
16×	`pow1_binary64_2185` `prod-exp_binary64_2173`
13×	`sqrt-prod_binary64_2140`
10×	`cbrt-unprod_binary64_2157` `associate-r_binary64_2064`
9×	`times-frac_binary64_2130`
7×	`pow-prod-down_binary64_2195` `associate-*r/_binary64_2066`
4×	`add-log-exp_binary64_2163` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `unpow-prod-down_binary64_2203` `sqrt-div_binary64_2141` `distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073`
2×	`pow-to-exp_binary64_2193` `pow-exp_binary64_2192` `sqr-pow_binary64_2096` `flip3-+_binary64_2127` `frac-times_binary64_2134` `flip-+_binary64_2098` `associate-*l/_binary64_2067`
1×	`div-inv_binary64_2121`

Counts

4 → 104

Calls

4 calls:

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

Compiler

Compiled 4488 to 3225 computations (28.1% saved)

series460.0ms (6.6%)

Error

Counts

4 → 18

Calls

4 calls:

246.0ms	(.f64 (sqrt.f64 (/.f64 1 PI.f64)) (.f64 (fabs.f64 x) (+.f64 2 (+.f64 (.f64 2/3 (.f64 x x)) (*.f64 1/5 (pow.f64 x 4))))))
116.0ms	(.f64 1/21 (.f64 (sqrt.f64 (/.f64 1 PI.f64)) (pow.f64 (fabs.f64 x) 7)))
38.0ms	(*.f64 1/5 (pow.f64 x 4))
32.0ms	(.f64 2/3 (.f64 x x))

Compiler

Compiled 1748 to 1372 computations (21.5% saved)

simplify82.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	4924	2596
1	4924	2596

prune261.0ms (3.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	122	4	126

Error

Counts

126 → 4

Compiler

Compiled 4856 to 3479 computations (28.4% saved)

localize27.0ms (0.4%)

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)

rewrite313.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

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×	`sqrt-prod_binary64_2140` `div-exp_binary64_2175` `cbrt-undiv_binary64_2158` `*-commutative_binary64_2055`
2×	`pow3_binary64_2207` `rem-3cbrt-lft_binary64_2149` `unswap-sqr_binary64_2092`
1×	`pow1/2_binary64_2204` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `associate-*l/_binary64_2067` `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)))
6.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)

Compiler

Compiled 7968 to 2823 computations (64.6% saved)

series175.0ms (2.5%)

Error

Counts

4 → 9

Calls

4 calls:

64.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))
46.0ms	(.f64 (.f64 (fabs.f64 x) (fabs.f64 x)) (fabs.f64 x))
0.0ms	(sqrt.f64 PI.f64)

Compiler

Compiled 1683 to 835 computations (50.4% saved)

simplify67.0ms (1%)

Algorithm

1×	egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4907	885
1	4907	885

prune279.0ms (4%)

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 7859 to 3051 computations (61.2% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite278.0ms (4%)

Algorithm

1×	rewrite-expression-head

Error

Rules

41×	`add-sqr-sqrt_binary64_2146`
31×	`associate-l_binary64_2065`
23×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160` `add-cube-cbrt_binary64_2159` `sqrt-prod_binary64_2140` `*-un-lft-identity_binary64_2124`
22×	`times-frac_binary64_2130`
17×	`pow1_binary64_2185`
10×	`prod-exp_binary64_2173` `cbrt-unprod_binary64_2157`
8×	`associate-r_binary64_2064`
7×	`pow-prod-down_binary64_2195` `unswap-sqr_binary64_2092`
4×	`add-log-exp_binary64_2163`
3×	`*-commutative_binary64_2055`
2×	`div-exp_binary64_2175` `cbrt-undiv_binary64_2158` `associate-*l/_binary64_2067`
1×	`pow1/2_binary64_2204` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137` `associate-*r/_binary64_2066` `div-inv_binary64_2121`

Counts

4 → 104

Calls

4 calls:

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

Compiler

Compiled 4860 to 2902 computations (40.3% saved)

series349.0ms (5%)

Error

Counts

4 → 27

Calls

4 calls:

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

Compiler

Compiled 1839 to 1237 computations (32.7% saved)

simplify84.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5311	4368

prune252.0ms (3.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	131	4	135

Error

Counts

135 → 4

Compiler

Compiled 4950 to 3040 computations (38.6% saved)

regimes523.0ms (7.5%)

Accuracy

Total 0.1b remaining (100%)

Threshold costs 0.1b (100%)

Compiler

Compiled 7348 to 5522 computations (24.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	46	86
1	46	86

end0.0ms (0%)

sample2.3s (32.9%)

Algorithm

1×

intervals

Results

739.0ms	8000×	body	128	valid
89.0ms	8000×	pre	128	true

Compiler

Compiled 1488 to 1126 computations (24.3% saved)

Details

analyze216.0ms (3.1%)

sample38.0ms (0.5%)

simplify129.0ms (1.9%)

prune6.0ms (0.1%)

localize17.0ms (0.2%)

rewrite232.0ms (3.3%)

series235.0ms (3.4%)

simplify74.0ms (1.1%)

prune214.0ms (3.1%)

localize21.0ms (0.3%)

rewrite299.0ms (4.3%)

series460.0ms (6.6%)

simplify82.0ms (1.2%)

prune261.0ms (3.8%)

localize27.0ms (0.4%)

rewrite313.0ms (4.5%)

series175.0ms (2.5%)

simplify67.0ms (1%)

prune279.0ms (4%)

localize21.0ms (0.3%)

rewrite278.0ms (4%)

series349.0ms (5%)

simplify84.0ms (1.2%)

prune252.0ms (3.6%)

regimes523.0ms (7.5%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.3s (32.9%)

Profiling