Details

analyze370.0ms (2.9%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2142	26
1	2142	26
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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
56.2%	43.7%	0.1%	5
65.6%	34.3%	0.1%	6
79.6%	20.3%	0.1%	7
83.5%	16.4%	0.1%	8
90.1%	9.8%	0.1%	9
91.9%	8%	0.1%	10
95.1%	4.8%	0.1%	11
96%	4%	0.1%	12
97.5%	2.4%	0.1%	13
97.9%	2%	0.1%	14

Compiler

Compiled 10 to 8 computations (20% saved)

sample16.0ms (0.1%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify218.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (213.0ms)

Iter	Nodes	Cost
0	2142	13
1	2142	13

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.0b

Counts

2 → 1

Compiler

Compiled 18 to 14 computations (22.2% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite100.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

67×	`*-un-lft-identity_binary64_23266`
44×	`add-sqr-sqrt_binary64_23288`
30×	`times-frac_binary64_23272`
21×	`distribute-lft-out--_binary64_23218`
16×	`add-cube-cbrt_binary64_23301`
14×	`difference-of-squares_binary64_23235`
8×	`distribute-lft-out_binary64_23217`
7×	`add-log-exp_binary64_23305`
6×	`associate-/r*_binary64_23210`
5×	`associate-/l*_binary64_23211`
4×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302` `cancel-sign-sub-inv_binary64_23232`
3×	`flip3--_binary64_23270` `flip--_binary64_23241`
2×	`pow1_binary64_23327` `associate-/l/_binary64_23213` `associate-/r/_binary64_23212` `diff-log_binary64_23358`
1×	`div-exp_binary64_23317` `cbrt-undiv_binary64_23300` `frac-2neg_binary64_23277` `div-sub_binary64_23271` `clear-num_binary64_23265` `div-inv_binary64_23263` `sum-log_binary64_23357` `sub-neg_binary64_23259` `associate--r+_binary64_23202`

Counts

2 → 78

Calls

2 calls:

11.0ms	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
6.0ms	(-.f64 2 (+.f64 x y))

Compiler

Compiled 1422 to 609 computations (57.2% saved)

series244.0ms (1.9%)

Error

0.0b

Counts

2 → 34

Calls

2 calls:

160.0ms	(/.f64 (-.f64 x y) (-.f64 2 (+.f64 x y)))
47.0ms	(-.f64 2 (+.f64 x y))

Compiler

Compiled 1660 to 1279 computations (23% saved)

simplify86.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4949	2371
1	4949	2371

prune94.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Error

Counts

113 → 4

Compiler

Compiled 1981 to 924 computations (53.4% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite355.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

301×	`*-un-lft-identity_binary64_23266`
258×	`times-frac_binary64_23272`
218×	`add-sqr-sqrt_binary64_23288`
102×	`add-cube-cbrt_binary64_23301`
85×	`distribute-lft-out--_binary64_23218`
58×	`difference-of-squares_binary64_23235`
41×	`associate-/r*_binary64_23210`
28×	`distribute-lft-out_binary64_23217`
16×	`add-exp-log_binary64_23304`
11×	`associate-/r/_binary64_23212`
10×	`add-cbrt-cube_binary64_23302`
9×	`associate-/l*_binary64_23211`
8×	`div-exp_binary64_23317` `add-log-exp_binary64_23305`
7×	`flip3--_binary64_23270` `flip--_binary64_23241`
6×	`div-inv_binary64_23263`
4×	`pow1_binary64_23327` `cbrt-undiv_binary64_23300` `cancel-sign-sub-inv_binary64_23232`
2×	`1-exp_binary64_23310` `rec-exp_binary64_23316` `frac-2neg_binary64_23277` `clear-num_binary64_23265` `associate-/l/_binary64_23213` `diff-log_binary64_23358`
1×	`inv-pow_binary64_23351` `pow-flip_binary64_23340` `div-sub_binary64_23271` `sum-log_binary64_23357` `sub-neg_binary64_23259` `associate--r+_binary64_23202`

Counts

3 → 246

Calls

3 calls:

22.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y)))
11.0ms	(/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y))
7.0ms	(-.f64 2 (+.f64 y x))

Compiler

Compiled 5779 to 2951 computations (48.9% saved)

series381.0ms (3%)

Error

Counts

3 → 52

Calls

3 calls:

166.0ms	(/.f64 1 (/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y)))
105.0ms	(/.f64 (-.f64 2 (+.f64 y x)) (-.f64 x y))
51.0ms	(-.f64 2 (+.f64 y x))

Compiler

Compiled 2653 to 2111 computations (20.4% saved)

simplify101.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

298 → 298

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5220	7554

prune300.0ms (2.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	298	0	298
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	298	4	302

Error

Counts

302 → 4

Compiler

Compiled 6155 to 2935 computations (52.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))))
0.2b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
0.2b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
0.2b	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))

rewrite914.0ms (7.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

651×	`*-un-lft-identity_binary64_23266`
372×	`cbrt-prod_binary64_23297`
324×	`times-frac_binary64_23272`
318×	`add-sqr-sqrt_binary64_23288`
212×	`distribute-lft-out--_binary64_23218`
108×	`add-cube-cbrt_binary64_23301`
93×	`difference-of-squares_binary64_23235` `swap-sqr_binary64_23233`
67×	`distribute-lft-out_binary64_23217`
39×	`associate-l_binary64_23207` `associate-r_binary64_23206`
14×	`associate-/r/_binary64_23212`
11×	`pow1_binary64_23327`
9×	`pow1/3_binary64_23348` `unswap-sqr_binary64_23234`
7×	`cbrt-div_binary64_23298` `div-inv_binary64_23263` `flip3--_binary64_23270` `flip--_binary64_23241`
6×	`add-exp-log_binary64_23304`
4×	`add-log-exp_binary64_23305` `add-cbrt-cube_binary64_23302`
2×	`pow-prod-down_binary64_23337` `pow-prod-up_binary64_23336` `pow-sqr_binary64_23239`
1×	`pow2_binary64_23347` `pow-plus_binary64_23329` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `frac-times_binary64_23276` `associate-l/_binary64_23209` `associate-r/_binary64_23208` `*-commutative_binary64_23197`

Counts

4 → 336

Calls

4 calls:

67.0ms	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))))
12.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
11.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
11.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))

Compiler

Compiled 15679 to 7343 computations (53.2% saved)

series5.3s (42.4%)

Error

Counts

4 → 74

Calls

4 calls:

2.8s	(*.f64 (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))) (cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x)))))
700.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
698.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))
689.0ms	(cbrt.f64 (/.f64 (-.f64 x y) (-.f64 2 (+.f64 y x))))

Compiler

Compiled 17017 to 13228 computations (22.3% saved)

simplify198.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

410 → 410

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	6018	21364

prune1.4s (11.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	410	0	410
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	410	4	414

Error

Counts

414 → 4

Compiler

Compiled 21825 to 11255 computations (48.4% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite272.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

169×	`*-un-lft-identity_binary64_23266`
136×	`add-sqr-sqrt_binary64_23288`
100×	`times-frac_binary64_23272`
85×	`sqrt-prod_binary64_23282`
54×	`associate-r_binary64_23206`
52×	`add-cube-cbrt_binary64_23301`
50×	`distribute-lft-out--_binary64_23218`
33×	`difference-of-squares_binary64_23235`
17×	`distribute-lft-out_binary64_23217`
11×	`add-exp-log_binary64_23304` `add-cbrt-cube_binary64_23302`
10×	`sqrt-div_binary64_23283`
8×	`pow1_binary64_23327` `associate-l_binary64_23207` `associate-/l*_binary64_23211`
7×	`flip3--_binary64_23270` `flip--_binary64_23241`
6×	`unswap-sqr_binary64_23234` `associate-/r*_binary64_23210`
4×	`add-log-exp_binary64_23305` `associate-/r/_binary64_23212`
2×	`div-exp_binary64_23317` `prod-exp_binary64_23315` `cbrt-unprod_binary64_23299` `cbrt-undiv_binary64_23300` `frac-times_binary64_23276` `associate-*l/_binary64_23209` `div-inv_binary64_23263` `associate-/l/_binary64_23213` `pow1/2_binary64_23346` `sqrt-pow1_binary64_23284` `rem-sqrt-square_binary64_23279`
1×	`pow-prod-down_binary64_23337` `associate-r/_binary64_23208` `-commutative_binary64_23197` `frac-2neg_binary64_23277` `clear-num_binary64_23265`

Counts

4 → 198

Calls

4 calls:

43.0ms	(*.f64 (sqrt.f64 (-.f64 x y)) (/.f64 (sqrt.f64 (-.f64 x y)) (-.f64 2 (+.f64 y x))))
13.0ms	(/.f64 (sqrt.f64 (-.f64 x y)) (-.f64 2 (+.f64 y x)))
4.0ms	(sqrt.f64 (-.f64 x y))
3.0ms	(sqrt.f64 (-.f64 x y))

Compiler

Compiled 5211 to 1717 computations (67.1% saved)

series491.0ms (3.9%)

Error

Counts

4 → 51

Calls

4 calls:

186.0ms	(/.f64 (sqrt.f64 (-.f64 x y)) (-.f64 2 (+.f64 y x)))
150.0ms	(*.f64 (sqrt.f64 (-.f64 x y)) (/.f64 (sqrt.f64 (-.f64 x y)) (-.f64 2 (+.f64 y x))))
47.0ms	(sqrt.f64 (-.f64 x y))
46.0ms	(sqrt.f64 (-.f64 x y))

Compiler

Compiled 3523 to 2542 computations (27.8% saved)

simplify101.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

249 → 249

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5097	5836

prune237.0ms (1.9%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	249	0	249
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	249	4	253

Error

Counts

253 → 4

Compiler

Compiled 5910 to 2242 computations (62.1% saved)

regimes210.0ms (1.7%)

Accuracy

Total 0.0b remaining (96.2%)

Threshold costs 0.0b (96.2%)

Compiler

Compiled 2351 to 1685 computations (28.3% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	45	22
1	45	22

end0.0ms (0%)

sample1.1s (8.8%)

Algorithm

1×

intervals

Results

214.0ms

8000×

body

128

valid

Compiler

Compiled 786 to 564 computations (28.2% saved)

Details

analyze370.0ms (2.9%)

sample16.0ms (0.1%)

simplify218.0ms (1.7%)

prune2.0ms (0%)

localize6.0ms (0%)

rewrite100.0ms (0.8%)

series244.0ms (1.9%)

simplify86.0ms (0.7%)

prune94.0ms (0.7%)

localize7.0ms (0.1%)

rewrite355.0ms (2.8%)

series381.0ms (3%)

simplify101.0ms (0.8%)

prune300.0ms (2.4%)

localize10.0ms (0.1%)

rewrite914.0ms (7.3%)

series5.3s (42.4%)

simplify198.0ms (1.6%)

prune1.4s (11.2%)

localize8.0ms (0.1%)

rewrite272.0ms (2.2%)

series491.0ms (3.9%)

simplify101.0ms (0.8%)

prune237.0ms (1.9%)

regimes210.0ms (1.7%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.1s (8.8%)

Profiling