Details

analyze364.0ms (3.4%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4754	20
1	4754	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
56.2%	43.7%	0.1%	7
56.2%	43.7%	0.1%	8
76.5%	23.4%	0.1%	9
76.5%	23.4%	0.1%	10
87.8%	12.1%	0.1%	11
87.8%	12.1%	0.1%	12
93.8%	6.1%	0.1%	13
93.8%	6.1%	0.1%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample81.0ms (0.8%)

Algorithm

1×

intervals

Results

7.0ms

256×

body

128

valid

Compiler

Compiled 2579 to 2577 computations (0.1% saved)

simplify153.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (147.0ms)

Iter	Nodes	Cost
0	5248	10

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 14 to 14 computations (0% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

rewrite28.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

7×	`*-un-lft-identity_binary64_14741`
3×	`add-log-exp_binary64_14780`
2×	`times-frac_binary64_14747` `distribute-lft-out_binary64_14692`
1×	`sum-log_binary64_14832` `pow1_binary64_14802` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777` `add-cube-cbrt_binary64_14776` `add-sqr-sqrt_binary64_14763` `frac-add_binary64_14749` `flip3-+_binary64_14744` `flip-+_binary64_14715` `+-commutative_binary64_14671`

Counts

1 → 14

Calls

1 calls:

12.0ms

(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

Compiler

Compiled 209 to 161 computations (23% saved)

series175.0ms (1.7%)

Error

0.0b

Counts

1 → 12

Calls

1 calls:

167.0ms

(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

Compiler

Compiled 234 to 224 computations (4.3% saved)

simplify84.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4854	293
1	4854	293

prune25.0ms (0.2%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	23	3	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	23	4	27

Error

0.0b

Counts

27 → 4

Compiler

Compiled 304 to 232 computations (23.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

rewrite526.0ms (5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

121×	`add-sqr-sqrt_binary64_14763`
92×	`cbrt-prod_binary64_14772`
91×	`*-un-lft-identity_binary64_14741`
70×	`times-frac_binary64_14747`
37×	`distribute-lft-out--_binary64_14693`
33×	`cbrt-div_binary64_14773`
29×	`add-cube-cbrt_binary64_14776`
28×	`difference-of-squares_binary64_14710`
17×	`swap-sqr_binary64_14708`
15×	`associate-l_binary64_14682` `associate-r_binary64_14681`
14×	`div-inv_binary64_14738`
11×	`pow1_binary64_14802` `frac-sub_binary64_14750` `flip3--_binary64_14745` `flip--_binary64_14716`
9×	`pow1/3_binary64_14823` `frac-times_binary64_14751`
6×	`add-exp-log_binary64_14779`
4×	`add-log-exp_binary64_14780` `add-cbrt-cube_binary64_14777` `unswap-sqr_binary64_14709`
3×	`associate-l/_binary64_14684` `associate-r/_binary64_14683`
2×	`pow-prod-down_binary64_14812` `pow-prod-up_binary64_14811` `pow-sqr_binary64_14714`
1×	`pow2_binary64_14822` `pow-plus_binary64_14804` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `*-commutative_binary64_14672`

Counts

4 → 153

Calls

4 calls:

42.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
14.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
13.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
13.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 5897 to 4599 computations (22% saved)

series1.2s (11.4%)

Error

0.0b

Counts

4 → 66

Calls

4 calls:

316.0ms	(*.f64 (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
248.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
239.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
235.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 5964 to 5003 computations (16.1% saved)

simplify114.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4957	6135
1	4957	6135

prune622.0ms (5.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	218	1	219
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	219	4	223

Error

0.0b

Counts

223 → 4

Compiler

Compiled 7703 to 5822 computations (24.4% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.6b	(cbrt.f64 (-.f64 (/.f64 (sqrt.f64 1/2) y) (/.f64 (sqrt.f64 1/2) x)))
1.0b	(cbrt.f64 (sqrt.f64 1/2))

rewrite615.0ms (5.8%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

75×	`add-sqr-sqrt_binary64_14763`
52×	`cbrt-prod_binary64_14772`
51×	`*-un-lft-identity_binary64_14741`
48×	`times-frac_binary64_14747`
20×	`distribute-lft-out--_binary64_14693`
17×	`add-cube-cbrt_binary64_14776` `sqrt-prod_binary64_14757` `difference-of-squares_binary64_14710`
9×	`cbrt-div_binary64_14773`
6×	`div-inv_binary64_14738`
4×	`pow1/3_binary64_14823` `pow1_binary64_14802` `add-log-exp_binary64_14780` `add-exp-log_binary64_14779` `add-cbrt-cube_binary64_14777`
3×	`frac-sub_binary64_14750` `flip3--_binary64_14745` `flip--_binary64_14716`

Counts

4 → 93

Calls

4 calls:

32.0ms	(cbrt.f64 (-.f64 (/.f64 (sqrt.f64 1/2) y) (/.f64 (sqrt.f64 1/2) x)))
13.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
13.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
2.0ms	(cbrt.f64 (sqrt.f64 1/2))

Compiler

Compiled 3926 to 3210 computations (18.2% saved)

series898.0ms (8.5%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

283.0ms	(cbrt.f64 (-.f64 (/.f64 (sqrt.f64 1/2) y) (/.f64 (sqrt.f64 1/2) x)))
241.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
234.0ms	(cbrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
0.0ms	(cbrt.f64 (sqrt.f64 1/2))

Compiler

Compiled 5173 to 4421 computations (14.5% saved)

simplify84.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

141 → 141

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4963	3841
1	4963	3841

prune461.0ms (4.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	141	0	141
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	141	4	145

Error

0.0b

Counts

145 → 4

Compiler

Compiled 5971 to 4752 computations (20.4% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite480.0ms (4.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

135×	`add-sqr-sqrt_binary64_14763`
97×	`*-un-lft-identity_binary64_14741`
82×	`sqrt-prod_binary64_14757`
79×	`times-frac_binary64_14747`
37×	`distribute-lft-out--_binary64_14693`
35×	`add-cube-cbrt_binary64_14776`
30×	`sqrt-div_binary64_14758`
28×	`difference-of-squares_binary64_14710`
21×	`pow1_binary64_14802`
19×	`swap-sqr_binary64_14708`
15×	`div-inv_binary64_14738` `associate-l_binary64_14682` `associate-r_binary64_14681`
13×	`cancel-sign-sub-inv_binary64_14707`
11×	`frac-sub_binary64_14750` `flip3--_binary64_14745` `flip--_binary64_14716`
10×	`pow1/2_binary64_14821` `sqrt-pow1_binary64_14759`
9×	`frac-times_binary64_14751`
6×	`add-exp-log_binary64_14779` `add-log-exp_binary64_14780` `add-cbrt-cube_binary64_14777`
5×	`pow-prod-up_binary64_14811`
4×	`rem-sqrt-square_binary64_14754` `unswap-sqr_binary64_14709`
3×	`pow-prod-down_binary64_14812` `pow-sqr_binary64_14714` `associate-l/_binary64_14684` `associate-r/_binary64_14683`
1×	`pow2_binary64_14822` `pow-plus_binary64_14804` `prod-exp_binary64_14790` `cbrt-unprod_binary64_14774` `sqrt-unprod_binary64_14761` `sqr-abs_binary64_14756` `rem-square-sqrt_binary64_14753` `*-commutative_binary64_14672` `diff-log_binary64_14833` `sub-neg_binary64_14734`

Counts

4 → 178

Calls

4 calls:

36.0ms	(*.f64 (sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
17.0ms	(sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
14.0ms	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
13.0ms	(sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 5076 to 3957 computations (22% saved)

series828.0ms (7.8%)

Error

Counts

4 → 52

Calls

4 calls:

292.0ms	(*.f64 (sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))) (sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x))))
156.0ms	(-.f64 (/.f64 1/2 y) (/.f64 1/2 x))
154.0ms	(sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))
152.0ms	(sqrt.f64 (-.f64 (/.f64 1/2 y) (/.f64 1/2 x)))

Compiler

Compiled 2760 to 2408 computations (12.8% saved)

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

230 → 230

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5063	4323

prune354.0ms (3.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	229	1	230
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	230	4	234

Error

Counts

234 → 4

Compiler

Compiled 4807 to 3653 computations (24% saved)

regimes203.0ms (1.9%)

Accuracy

Total 0.0b remaining (84.5%)

Threshold costs 0.0b (84.5%)

Compiler

Compiled 1969 to 1723 computations (12.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	9	10
1	9	10

end0.0ms (0%)

sample3.1s (29.5%)

Algorithm

1×

intervals

Results

211.0ms

8000×

body

128

valid

Compiler

Compiled 80673 to 80591 computations (0.1% saved)

Details

analyze364.0ms (3.4%)

sample81.0ms (0.8%)

simplify153.0ms (1.4%)

prune4.0ms (0%)

localize9.0ms (0.1%)

rewrite28.0ms (0.3%)

series175.0ms (1.7%)

simplify84.0ms (0.8%)

prune25.0ms (0.2%)

localize12.0ms (0.1%)

rewrite526.0ms (5%)

series1.2s (11.4%)

simplify114.0ms (1.1%)

prune622.0ms (5.9%)

localize17.0ms (0.2%)

rewrite615.0ms (5.8%)

series898.0ms (8.5%)

simplify84.0ms (0.8%)

prune461.0ms (4.4%)

localize7.0ms (0.1%)

rewrite480.0ms (4.5%)

series828.0ms (7.8%)

simplify90.0ms (0.8%)

prune354.0ms (3.4%)

regimes203.0ms (1.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample3.1s (29.5%)

Profiling