Details

analyze277.0ms (5.9%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	274	20
1	274	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	5
37.5%	50%	12.6%	6
37.5%	50%	12.6%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	7
56.2%	25%	18.8%	8
56.2%	25%	18.8%	8
62.4%	18.7%	18.8%	9
62.4%	18.7%	18.8%	9
65.6%	12.5%	22%	10
65.6%	12.5%	22%	10
68.7%	9.4%	22%	11
68.7%	9.4%	22%	11
70.2%	6.2%	23.5%	12
70.2%	6.2%	23.5%	12
71.8%	4.7%	23.5%	13
71.8%	4.7%	23.5%	13
72.6%	3.1%	24.3%	14
72.6%	3.1%	24.3%	14

Compiler

Compiled 16 to 14 computations (12.5% saved)

sample182.0ms (3.9%)

Algorithm

2×

intervals

Results

13.0ms	512×	body	128	valid
4.0ms	166×	body	128	invalid

Compiler

Compiled 2719 to 3057 computations (-12.4% saved)

simplify15.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (10.0ms)

Iter	Nodes	Cost
0	184	10
1	184	10

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.1b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 1 (*.f64 x y))
0.1b	(.f64 x (-.f64 1 (.f64 x y)))

rewrite48.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

6×	`add-sqr-sqrt_binary64_2146`
4×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-log-exp_binary64_2163` `add-cbrt-cube_binary64_2160` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
3×	`sub-neg_binary64_2117` `cancel-sign-sub-inv_binary64_2090` `associate-l_binary64_2065` `associate-r_binary64_2064`
2×	`distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073` `flip3--_binary64_2128` `associate-*r/_binary64_2066` `flip--_binary64_2099`
1×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `cbrt-unprod_binary64_2157` `unswap-sqr_binary64_2092` `*-commutative_binary64_2055` `diff-log_binary64_2216`

Counts

2 → 36

Calls

2 calls:

6.0ms	(.f64 x (-.f64 1 (.f64 x y)))
3.0ms	(-.f64 1 (*.f64 x y))

Compiler

Compiled 507 to 262 computations (48.3% saved)

series224.0ms (4.8%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

134.0ms	(.f64 x (-.f64 1 (.f64 x y)))
78.0ms	(-.f64 1 (*.f64 x y))

Compiler

Compiled 380 to 289 computations (23.9% saved)

simplify61.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

60 → 60

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4945	606
1	4945	606

prune48.0ms (1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	54	6	60
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	54	7	61

Error

0.0b

Counts

61 → 7

Compiler

Compiled 668 to 265 computations (60.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(-.f64 x (.f64 (.f64 x x) y))
10.0b	(.f64 (.f64 x x) y)

rewrite32.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`pow1_binary64_2185` `add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
4×	`add-log-exp_binary64_2163` `add-sqr-sqrt_binary64_2146`
3×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `add-cube-cbrt_binary64_2159` `cbrt-unprod_binary64_2157` `-un-lft-identity_binary64_2124` `associate-r*_binary64_2064`
1×	`unswap-sqr_binary64_2092` `associate-l_binary64_2065` `*-commutative_binary64_2055` `diff-log_binary64_2216` `flip3--_binary64_2128` `sub-neg_binary64_2117` `flip--_binary64_2099` `cancel-sign-sub-inv_binary64_2090`

Counts

2 → 31

Calls

2 calls:

6.0ms	(.f64 (.f64 x x) y)
3.0ms	(-.f64 x (.f64 (.f64 x x) y))

Compiler

Compiled 418 to 113 computations (73% saved)

series217.0ms (4.6%)

Error

0.0b

Counts

2 → 18

Calls

2 calls:

119.0ms	(-.f64 x (.f64 (.f64 x x) y))
89.0ms	(.f64 (.f64 x x) y)

Compiler

Compiled 312 to 246 computations (21.2% saved)

simplify85.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4709	503
1	4709	503

prune33.0ms (0.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	48	8	56

Error

0.0b

Counts

56 → 8

Compiler

Compiled 557 to 159 computations (71.5% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (-.f64 1 (*.f64 x y)))
0.0b	(sqrt.f64 (-.f64 1 (*.f64 x y)))
0.1b	(.f64 x (sqrt.f64 (-.f64 1 (.f64 x y))))
0.1b	(.f64 (.f64 x (sqrt.f64 (-.f64 1 (.f64 x y)))) (sqrt.f64 (-.f64 1 (.f64 x y))))

rewrite138.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

18×	`sqrt-div_binary64_2141`
17×	`add-sqr-sqrt_binary64_2146`
13×	`pow1_binary64_2185` `sqrt-prod_binary64_2140`
12×	`associate-r_binary64_2064`
11×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160` `add-cube-cbrt_binary64_2159` `*-un-lft-identity_binary64_2124`
10×	`associate-*r/_binary64_2066`
9×	`flip3--_binary64_2128` `flip--_binary64_2099`
4×	`pow-prod-down_binary64_2195` `prod-exp_binary64_2173` `add-log-exp_binary64_2163` `cbrt-unprod_binary64_2157` `frac-times_binary64_2134` `associate-l_binary64_2065`
2×	`associate-l/_binary64_2067` `-commutative_binary64_2055` `unswap-sqr_binary64_2092` `pow1/2_binary64_2204` `sqrt-pow1_binary64_2142` `rem-sqrt-square_binary64_2137`

Counts

4 → 83

Calls

4 calls:

11.0ms	(.f64 (.f64 x (sqrt.f64 (-.f64 1 (.f64 x y)))) (sqrt.f64 (-.f64 1 (.f64 x y))))
6.0ms	(.f64 x (sqrt.f64 (-.f64 1 (.f64 x y))))
3.0ms	(sqrt.f64 (-.f64 1 (*.f64 x y)))
3.0ms	(sqrt.f64 (-.f64 1 (*.f64 x y)))

Compiler

Compiled 2138 to 1212 computations (43.3% saved)

series387.0ms (8.2%)

Error

0.0b

Counts

4 → 42

Calls

4 calls:

136.0ms	(.f64 (.f64 x (sqrt.f64 (-.f64 1 (.f64 x y)))) (sqrt.f64 (-.f64 1 (.f64 x y))))
89.0ms	(.f64 x (sqrt.f64 (-.f64 1 (.f64 x y))))
71.0ms	(sqrt.f64 (-.f64 1 (*.f64 x y)))
60.0ms	(sqrt.f64 (-.f64 1 (*.f64 x y)))

Compiler

Compiled 1614 to 1172 computations (27.4% saved)

simplify46.0ms (1%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5541	1726

prune130.0ms (2.8%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	125	8	133

Error

0.0b

Counts

133 → 8

Compiler

Compiled 2282 to 1168 computations (48.8% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.3b	(pow.f64 (*.f64 x y) 3)
0.3b	(.f64 (.f64 x y) (*.f64 x y))
1.7b	(.f64 x (-.f64 1 (pow.f64 (.f64 x y) 3)))
8.9b	(/.f64 (.f64 x (-.f64 1 (pow.f64 (.f64 x y) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 1 (.f64 x y)))))

rewrite248.0ms (5.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

48×	`pow1_binary64_2185`
26×	`add-exp-log_binary64_2162` `add-cbrt-cube_binary64_2160`
19×	`pow-prod-down_binary64_2195`
17×	`add-sqr-sqrt_binary64_2146` `*-un-lft-identity_binary64_2124`
16×	`cancel-sign-sub-inv_binary64_2090`
11×	`prod-exp_binary64_2173` `add-cube-cbrt_binary64_2159` `cbrt-unprod_binary64_2157`
9×	`distribute-rgt-in_binary64_2074` `distribute-lft-in_binary64_2073` `associate-r_binary64_2064`
5×	`sqr-pow_binary64_2096`
4×	`add-log-exp_binary64_2163` `times-frac_binary64_2130` `associate-r/_binary64_2066` `associate-/r_binary64_2068` `associate-l_binary64_2065` `difference-of-squares_binary64_2093` `pow-prod-up_binary64_2194` `pow-sqr_binary64_2097`
3×	`unpow-prod-down_binary64_2203` `unpow3_binary64_2190` `cube-mult_binary64_2154` `cube-prod_binary64_2152` `pow-unpow_binary64_2201`
2×	`div-exp_binary64_2175` `cbrt-undiv_binary64_2158` `distribute-lft-out_binary64_2075` `flip3--_binary64_2128` `associate-/l/_binary64_2071` `flip--_binary64_2099` `associate-/r/_binary64_2070` `sub-neg_binary64_2117` `*-commutative_binary64_2055` `pow-plus_binary64_2187` `pow-pow_binary64_2196` `pow-exp_binary64_2192` `rem-cube-cbrt_binary64_2147`
1×	`frac-2neg_binary64_2135` `clear-num_binary64_2123` `div-inv_binary64_2121` `flip3-+_binary64_2127` `flip-+_binary64_2098` `associate-/l*_binary64_2069` `unswap-sqr_binary64_2092` `distribute-lft-out--_binary64_2076` `pow2_binary64_2205` `swap-sqr_binary64_2091` `pow-to-exp_binary64_2193`

Counts

4 → 126

Calls

4 calls:

18.0ms	(/.f64 (.f64 x (-.f64 1 (pow.f64 (.f64 x y) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 1 (.f64 x y)))))
10.0ms	(.f64 x (-.f64 1 (pow.f64 (.f64 x y) 3)))
6.0ms	(.f64 (.f64 x y) (*.f64 x y))
4.0ms	(pow.f64 (*.f64 x y) 3)

Compiler

Compiled 4591 to 2330 computations (49.2% saved)

series1.0s (22%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

416.0ms	(/.f64 (.f64 x (-.f64 1 (pow.f64 (.f64 x y) 3))) (+.f64 (.f64 1 1) (+.f64 (.f64 (.f64 x y) (.f64 x y)) (.f64 1 (.f64 x y)))))
339.0ms	(.f64 x (-.f64 1 (pow.f64 (.f64 x y) 3)))
134.0ms	(pow.f64 (*.f64 x y) 3)
117.0ms	(.f64 (.f64 x y) (*.f64 x y))

Compiler

Compiled 1972 to 1324 computations (32.9% saved)

simplify75.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5104	2208

prune235.0ms (5%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	161	1	162
Fresh	0	4	4
Picked	1	0	1
Done	0	3	3
Total	162	8	170

Error

Counts

170 → 8

Compiler

Compiled 4517 to 2428 computations (46.2% saved)

regimes176.0ms (3.7%)

Accuracy

Total 0.1b remaining (92%)

Threshold costs 0.1b (92%)

Compiler

Compiled 1660 to 1129 computations (32% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	67	10
1	67	10

end0.0ms (0%)

sample990.0ms (21%)

Algorithm

1×

intervals

Results

186.0ms	8000×	body	128	valid
60.0ms	2651×	body	128	invalid

Compiler

Compiled 533 to 363 computations (31.9% saved)

Details

analyze277.0ms (5.9%)

sample182.0ms (3.9%)

simplify15.0ms (0.3%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite48.0ms (1%)

series224.0ms (4.8%)

simplify61.0ms (1.3%)

prune48.0ms (1%)

localize4.0ms (0.1%)

rewrite32.0ms (0.7%)

series217.0ms (4.6%)

simplify85.0ms (1.8%)

prune33.0ms (0.7%)

localize7.0ms (0.2%)

rewrite138.0ms (2.9%)

series387.0ms (8.2%)

simplify46.0ms (1%)

prune130.0ms (2.8%)

localize13.0ms (0.3%)

rewrite248.0ms (5.2%)

series1.0s (22%)

simplify75.0ms (1.6%)

prune235.0ms (5%)

regimes176.0ms (3.7%)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

end0.0ms (0%)

sample990.0ms (21%)

Profiling