Details

analyze71.0ms (1.5%)

Algorithm

1×

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
12.5%	87.4%	0.1%	5
46.8%	53.1%	0.1%	6
70.2%	29.7%	0.1%	7
76.5%	23.4%	0.1%	8
83.5%	16.4%	0.1%	9
87%	12.9%	0.1%	10
91.1%	8.8%	0.1%	11
93.2%	6.7%	0.1%	12
95.4%	4.5%	0.1%	13
96.5%	3.4%	0.1%	14

Compiler

Compiled 18 to 10 computations (44.4% saved)

sample19.0ms (0.4%)

Algorithm

1×

intervals

Results

9.0ms

256×

body

128

valid

Compiler

Compiled 35 to 21 computations (40% saved)

simplify222.0ms (4.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (130.0ms)

Iter	Nodes	Cost
0	4953	25
1	4953	25

prune2.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

18.7b

Counts

2 → 1

Compiler

Compiled 34 to 18 computations (47.1% saved)

localize8.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (+.f64 x y) (+.f64 x y))
0.1b	(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
18.5b	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))

rewrite64.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`frac-times_binary64_12364` `flip-+_binary64_12328` `flip3-+_binary64_12357`
31×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
30×	`associate-*l/_binary64_12297`
27×	`*-un-lft-identity_binary64_12354`
26×	`associate-/r/_binary64_12300`
18×	`associate-*r/_binary64_12296`
15×	`pow1_binary64_12415`
13×	`cbrt-unprod_binary64_12387` `prod-exp_binary64_12403`
11×	`add-sqr-sqrt_binary64_12376`
9×	`distribute-lft-out_binary64_12305` `associate-r_binary64_12294`
8×	`add-cube-cbrt_binary64_12389`
6×	`cbrt-undiv_binary64_12388` `div-exp_binary64_12405` `swap-sqr_binary64_12321`
5×	`associate-l_binary64_12295`
4×	`pow-prod-down_binary64_12425`
3×	`add-log-exp_binary64_12393`
2×	`distribute-lft-in_binary64_12303` `distribute-rgt-in_binary64_12304` `unswap-sqr_binary64_12322` `*-commutative_binary64_12285`
1×	`clear-num_binary64_12353` `associate-/r_binary64_12298` `pow-prod-up_binary64_12424` `associate-/l_binary64_12299` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `pow-sqr_binary64_12327` `pow2_binary64_12435` `times-frac_binary64_12360` `pow-plus_binary64_12417`

Counts

3 → 140

Calls

3 calls:

20.0ms	(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
19.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
9.0ms	(*.f64 (+.f64 x y) (+.f64 x y))

series151.0ms (3.2%)

Counts

3 → 9

Calls

3 calls:

100.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
37.0ms	(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
13.0ms	(*.f64 (+.f64 x y) (+.f64 x y))

simplify93.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5027	3629

prune186.0ms (3.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	139	10	149
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	140	10	150

Error

6.0b

Counts

150 → 10

Compiler

Compiled 4237 to 1675 computations (60.5% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 y (+.f64 (+.f64 x y) 1))
0.0b	(pow.f64 (+.f64 x y) 2)
0.1b	(*.f64 (/.f64 x (pow.f64 (+.f64 x y) 2)) (/.f64 y (+.f64 (+.f64 x y) 1)))
16.6b	(/.f64 x (pow.f64 (+.f64 x y) 2))

rewrite64.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

110×	`*-un-lft-identity_binary64_12354`
97×	`times-frac_binary64_12360`
88×	`add-sqr-sqrt_binary64_12376`
59×	`add-cube-cbrt_binary64_12389`
36×	`add-exp-log_binary64_12392`
34×	`unpow-prod-down_binary64_12433`
31×	`associate-l_binary64_12295`
29×	`distribute-lft-out_binary64_12305`
21×	`associate-r_binary64_12294`
20×	`add-cbrt-cube_binary64_12390`
14×	`associate-/r*_binary64_12298` `div-exp_binary64_12405`
10×	`unpow2_binary64_12419` `sqr-pow_binary64_12326` `unswap-sqr_binary64_12322`
8×	`prod-exp_binary64_12403`
7×	`pow1_binary64_12415`
6×	`associate-/l*_binary64_12299` `cbrt-undiv_binary64_12388`
4×	`cbrt-unprod_binary64_12387` `div-inv_binary64_12351` `add-log-exp_binary64_12393` `associate-/r/_binary64_12300` `pow-exp_binary64_12422` `pow-to-exp_binary64_12423`
3×	`pow-unpow_binary64_12431`
2×	`clear-num_binary64_12353` `frac-2neg_binary64_12365` `flip-+_binary64_12328` `flip3-+_binary64_12357`
1×	`pow-prod-down_binary64_12425` `frac-times_binary64_12364` `associate-l/_binary64_12297` `pow-pow_binary64_12426` `associate-r/_binary64_12296` `*-commutative_binary64_12285`

Counts

4 → 195

Calls

4 calls:

25.0ms	(*.f64 (/.f64 x (pow.f64 (+.f64 x y) 2)) (/.f64 y (+.f64 (+.f64 x y) 1)))
9.0ms	(/.f64 x (pow.f64 (+.f64 x y) 2))
7.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
4.0ms	(pow.f64 (+.f64 x y) 2)

series184.0ms (3.9%)

Counts

4 → 12

Calls

4 calls:

101.0ms	(*.f64 (/.f64 x (pow.f64 (+.f64 x y) 2)) (/.f64 y (+.f64 (+.f64 x y) 1)))
42.0ms	(/.f64 x (pow.f64 (+.f64 x y) 2))
26.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
14.0ms	(pow.f64 (+.f64 x y) 2)

simplify85.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	4969	3903
1	4969	3903

prune217.0ms (4.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	200	7	207
Fresh	6	3	9
Picked	1	0	1
Done	0	0	0
Total	207	10	217

Error

0.0b

Counts

217 → 10

Compiler

Compiled 4654 to 2154 computations (53.7% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite107.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

313×	`*-un-lft-identity_binary64_12354`
303×	`times-frac_binary64_12360`
163×	`add-sqr-sqrt_binary64_12376`
142×	`add-cube-cbrt_binary64_12389`
89×	`distribute-lft-out_binary64_12305`
78×	`associate-l_binary64_12295`
34×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
28×	`associate-/r/_binary64_12300`
24×	`associate-/l*_binary64_12299`
21×	`associate-r_binary64_12294`
14×	`div-inv_binary64_12351` `cbrt-undiv_binary64_12388` `flip-+_binary64_12328` `div-exp_binary64_12405` `flip3-+_binary64_12357`
13×	`associate-/r*_binary64_12298`
6×	`cbrt-unprod_binary64_12387` `pow1_binary64_12415` `prod-exp_binary64_12403` `unswap-sqr_binary64_12322`
4×	`add-log-exp_binary64_12393`
3×	`clear-num_binary64_12353` `frac-2neg_binary64_12365`
1×	`pow-prod-down_binary64_12425` `frac-times_binary64_12364` `associate-/l/_binary64_12301` `associate-l/_binary64_12297` `associate-r/_binary64_12296` `*-commutative_binary64_12285`

Counts

4 → 310

Calls

4 calls:

45.0ms	(*.f64 (/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y)) (/.f64 y (+.f64 (+.f64 x y) 1)))
10.0ms	(/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y))
7.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
5.0ms	(/.f64 x (+.f64 x y))

series198.0ms (4.2%)

Counts

4 → 12

Calls

4 calls:

99.0ms	(*.f64 (/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y)) (/.f64 y (+.f64 (+.f64 x y) 1)))
47.0ms	(/.f64 (/.f64 x (+.f64 x y)) (+.f64 x y))
27.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
25.0ms	(/.f64 x (+.f64 x y))

simplify142.0ms (3%)

Algorithm

1×	egg-herbie

Counts

322 → 322

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4985	7177
1	4985	7177

prune301.0ms (6.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	319	3	322
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	325	7	332

Error

0.0b

Counts

332 → 7

Compiler

Compiled 8391 to 2608 computations (68.9% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite122.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

411×	`*-un-lft-identity_binary64_12354`
351×	`times-frac_binary64_12360`
177×	`add-sqr-sqrt_binary64_12376`
156×	`add-cube-cbrt_binary64_12389`
143×	`distribute-lft-out_binary64_12305`
90×	`associate-r_binary64_12294`
34×	`add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`
28×	`associate-/r/_binary64_12300`
27×	`associate-/l*_binary64_12299`
18×	`associate-l_binary64_12295`
14×	`div-inv_binary64_12351` `cbrt-undiv_binary64_12388` `flip-+_binary64_12328` `div-exp_binary64_12405` `flip3-+_binary64_12357`
13×	`associate-/r*_binary64_12298`
6×	`cbrt-unprod_binary64_12387` `pow1_binary64_12415` `prod-exp_binary64_12403` `unswap-sqr_binary64_12322`
4×	`add-log-exp_binary64_12393`
3×	`clear-num_binary64_12353` `frac-2neg_binary64_12365`
1×	`pow-prod-down_binary64_12425` `frac-times_binary64_12364` `associate-/l/_binary64_12301` `associate-l/_binary64_12297` `associate-r/_binary64_12296` `*-commutative_binary64_12285`

Counts

4 → 334

Calls

4 calls:

53.0ms	(*.f64 (/.f64 x (+.f64 x y)) (/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y)))
14.0ms	(/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y))
7.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
5.0ms	(/.f64 x (+.f64 x y))

series206.0ms (4.3%)

Counts

4 → 12

Calls

4 calls:

99.0ms	(*.f64 (/.f64 x (+.f64 x y)) (/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y)))
55.0ms	(/.f64 (/.f64 y (+.f64 (+.f64 x y) 1)) (+.f64 x y))
27.0ms	(/.f64 y (+.f64 (+.f64 x y) 1))
25.0ms	(/.f64 x (+.f64 x y))

simplify115.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

346 → 346

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5115	8578

prune340.0ms (7.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	346	0	346
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	346	7	353

Error

0.0b

Counts

353 → 7

Compiler

Compiled 9261 to 3029 computations (67.3% saved)

regimes338.0ms (7.1%)

Accuracy

Total 0.1b remaining (93.3%)

Threshold costs 0.1b (93.3%)

Compiler

Compiled 4767 to 2753 computations (42.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	25
1	14	25

end0.0ms (0%)

sample1.5s (31.6%)

Algorithm

1×

intervals

Results

287.0ms

8000×

body

128

valid

Compiler

Compiled 1613 to 932 computations (42.2% saved)

Details

analyze71.0ms (1.5%)

sample19.0ms (0.4%)

simplify222.0ms (4.7%)

prune2.0ms (0.1%)

localize8.0ms (0.2%)

rewrite64.0ms (1.3%)

series151.0ms (3.2%)

simplify93.0ms (1.9%)

prune186.0ms (3.9%)

localize9.0ms (0.2%)

rewrite64.0ms (1.3%)

series184.0ms (3.9%)

simplify85.0ms (1.8%)

prune217.0ms (4.6%)

localize8.0ms (0.2%)

rewrite107.0ms (2.2%)

series198.0ms (4.2%)

simplify142.0ms (3%)

prune301.0ms (6.3%)

localize8.0ms (0.2%)

rewrite122.0ms (2.6%)

series206.0ms (4.3%)

simplify115.0ms (2.4%)

prune340.0ms (7.1%)

regimes338.0ms (7.1%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.5s (31.6%)

Profiling