Details

analyze452.0ms (1.7%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

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

Symmetry

(sort x y)

Compiler

Compiled 36 to 20 computations (44.4% saved)

sample164.0ms (0.6%)

Algorithm

2×

intervals

Results

18.0ms

512×

body

128

valid

Compiler

Compiled 4661 to 3105 computations (33.4% saved)

simplify129.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (123.0ms)

Iter	Nodes	Cost
0	4953	25
1	4953	25

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

19.9b

Counts

2 → 1

Compiler

Compiled 34 to 18 computations (47.1% saved)

localize12.0ms (0%)

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))
19.6b	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))

rewrite253.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

5.0b

Rules

60×	`flip3-+_binary64_12698` `frac-times_binary64_12705` `flip-+_binary64_12669`
31×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
30×	`associate-*l/_binary64_12638`
27×	`*-un-lft-identity_binary64_12695`
26×	`associate-/r/_binary64_12641`
18×	`associate-*r/_binary64_12637`
15×	`pow1_binary64_12756`
13×	`prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
11×	`add-sqr-sqrt_binary64_12717`
9×	`associate-r_binary64_12635` `distribute-lft-out_binary64_12646`
8×	`add-cube-cbrt_binary64_12730`
6×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729` `swap-sqr_binary64_12662`
5×	`associate-l_binary64_12636`
4×	`pow-prod-down_binary64_12766`
3×	`add-log-exp_binary64_12734`
2×	`unswap-sqr_binary64_12663` `distribute-rgt-in_binary64_12645` `distribute-lft-in_binary64_12644` `*-commutative_binary64_12626`
1×	`frac-2neg_binary64_12706` `times-frac_binary64_12701` `clear-num_binary64_12694` `div-inv_binary64_12692` `associate-/l_binary64_12640` `associate-/r_binary64_12639` `pow2_binary64_12776` `pow-prod-up_binary64_12765` `pow-plus_binary64_12758` `pow-sqr_binary64_12668`

Counts

3 → 140

Calls

3 calls:

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

Compiler

Compiled 4751 to 1468 computations (69.1% saved)

series777.0ms (2.8%)

Error

4.1b

Counts

3 → 63

Calls

3 calls:

418.0ms	(/.f64 (.f64 x y) (.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1)))
132.0ms	(.f64 (.f64 (+.f64 x y) (+.f64 x y)) (+.f64 (+.f64 x y) 1))
125.0ms	(*.f64 (+.f64 x y) (+.f64 x y))

Compiler

Compiled 4054 to 2918 computations (28% saved)

simplify86.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

203 → 203

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4991	5935
1	4991	5935

prune283.0ms (1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	194	9	203
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	195	9	204

Error

2.9b

Counts

204 → 9

Compiler

Compiled 6022 to 2395 computations (60.2% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite466.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

288×	`times-frac_binary64_12701`
227×	`*-un-lft-identity_binary64_12695`
105×	`add-sqr-sqrt_binary64_12717`
103×	`add-cube-cbrt_binary64_12730`
72×	`distribute-lft-out_binary64_12646`
52×	`associate-/r*_binary64_12639`
38×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
20×	`associate-/r/_binary64_12641`
19×	`flip3-+_binary64_12698` `flip-+_binary64_12669`
18×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729`
13×	`div-inv_binary64_12692`
11×	`pow1_binary64_12756`
8×	`frac-times_binary64_12705` `associate-/l/_binary64_12642`
7×	`associate-/l*_binary64_12640`
6×	`swap-sqr_binary64_12662`
5×	`prod-exp_binary64_12744` `cbrt-unprod_binary64_12728`
4×	`add-log-exp_binary64_12734` `associate-l/_binary64_12638` `associate-r/_binary64_12637` `associate-l_binary64_12636` `associate-r_binary64_12635`
3×	`frac-2neg_binary64_12706` `clear-num_binary64_12694`
1×	`pow2_binary64_12776` `pow-prod-down_binary64_12766` `pow-prod-up_binary64_12765` `pow-plus_binary64_12758` `pow-sqr_binary64_12668` `unswap-sqr_binary64_12663` `distribute-rgt-in_binary64_12645` `distribute-lft-in_binary64_12644` `*-commutative_binary64_12626`

Counts

4 → 275

Calls

4 calls:

22.0ms	(/.f64 x (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (/.f64 y (+.f64 x (+.f64 y 1)))))
17.0ms	(/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (/.f64 y (+.f64 x (+.f64 y 1))))
9.0ms	(*.f64 (+.f64 x y) (+.f64 x y))
7.0ms	(/.f64 y (+.f64 x (+.f64 y 1)))

Compiler

Compiled 7916 to 3381 computations (57.3% saved)

series1.0s (3.8%)

Error

2.9b

Counts

4 → 87

Calls

4 calls:

414.0ms	(/.f64 x (/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (/.f64 y (+.f64 x (+.f64 y 1)))))
179.0ms	(/.f64 y (+.f64 x (+.f64 y 1)))
165.0ms	(/.f64 (*.f64 (+.f64 x y) (+.f64 x y)) (/.f64 y (+.f64 x (+.f64 y 1))))
146.0ms	(*.f64 (+.f64 x y) (+.f64 x y))

Compiler

Compiled 5610 to 3955 computations (29.5% saved)

simplify126.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

362 → 362

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4998	10707
1	4998	10707

prune547.0ms (2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	353	9	362
Fresh	7	1	8
Picked	1	0	1
Done	0	0	0
Total	361	10	371

Error

Counts

371 → 10

Compiler

Compiled 9957 to 4405 computations (55.8% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite2.4s (8.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

1754×	`times-frac_binary64_12701`
1538×	`*-un-lft-identity_binary64_12695`
721×	`add-sqr-sqrt_binary64_12717`
675×	`add-cube-cbrt_binary64_12730`
481×	`distribute-lft-out_binary64_12646`
272×	`associate-r_binary64_12635`
115×	`associate-/r*_binary64_12639`
80×	`add-exp-log_binary64_12733` `associate-/r/_binary64_12641`
52×	`add-cbrt-cube_binary64_12731`
45×	`div-inv_binary64_12692`
42×	`div-exp_binary64_12746`
36×	`flip3-+_binary64_12698` `flip-+_binary64_12669`
26×	`cbrt-undiv_binary64_12729`
18×	`associate-l_binary64_12636`
16×	`prod-exp_binary64_12744`
12×	`unswap-sqr_binary64_12663`
10×	`associate-/l*_binary64_12640`
8×	`cbrt-unprod_binary64_12728`
6×	`pow1_binary64_12756`
4×	`add-log-exp_binary64_12734` `1-exp_binary64_12739` `rec-exp_binary64_12745`
3×	`frac-2neg_binary64_12706` `clear-num_binary64_12694`
2×	`associate-/l/_binary64_12642`
1×	`pow-prod-down_binary64_12766` `frac-times_binary64_12705` `associate-l/_binary64_12638` `associate-r/_binary64_12637` `*-commutative_binary64_12626`

Counts

4 → 877

Calls

4 calls:

136.0ms	(*.f64 (/.f64 1 (+.f64 x y)) (/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))))
30.0ms	(/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1)))))
14.0ms	(/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))
7.0ms	(/.f64 y (+.f64 x (+.f64 y 1)))

Compiler

Compiled 31804 to 15150 computations (52.4% saved)

series1.3s (4.9%)

Error

Counts

4 → 80

Calls

4 calls:

415.0ms	(*.f64 (/.f64 1 (+.f64 x y)) (/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))))
348.0ms	(/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1)))))
257.0ms	(/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))
180.0ms	(/.f64 y (+.f64 x (+.f64 y 1)))

Compiler

Compiled 6332 to 4553 computations (28.1% saved)

simplify272.0ms (1%)

Algorithm

1×	egg-herbie

Counts

957 → 957

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5640	31202

prune1.8s (6.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	956	1	957
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	957	10	967

Error

Counts

967 → 10

Compiler

Compiled 31510 to 13537 computations (57% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite6.5s (23.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5600×	`times-frac_binary64_12701`
4619×	`*-un-lft-identity_binary64_12695`
1996×	`add-cube-cbrt_binary64_12730` `add-sqr-sqrt_binary64_12717`
1435×	`distribute-lft-out_binary64_12646`
282×	`associate-/l*_binary64_12640`
192×	`associate-/r/_binary64_12641`
119×	`associate-/r*_binary64_12639`
109×	`div-inv_binary64_12692`
84×	`flip3-+_binary64_12698` `flip-+_binary64_12669`
34×	`add-exp-log_binary64_12733` `add-cbrt-cube_binary64_12731`
20×	`div-exp_binary64_12746` `cbrt-undiv_binary64_12729`
4×	`pow1_binary64_12756` `add-log-exp_binary64_12734` `frac-2neg_binary64_12706` `clear-num_binary64_12694`
3×	`associate-/l/_binary64_12642`

Counts

4 → 1924

Calls

4 calls:

86.0ms	(/.f64 (/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))) (+.f64 x y))
31.0ms	(/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1)))))
17.0ms	(/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))
7.0ms	(/.f64 y (+.f64 x (+.f64 y 1)))

Compiler

Compiled 74044 to 31783 computations (57.1% saved)

series1.3s (4.8%)

Error

Counts

4 → 84

Calls

4 calls:

407.0ms	(/.f64 (/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))) (+.f64 x y))
334.0ms	(/.f64 x (/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1)))))
242.0ms	(/.f64 (+.f64 x y) (/.f64 y (+.f64 x (+.f64 y 1))))
170.0ms	(/.f64 y (+.f64 x (+.f64 y 1)))

Compiler

Compiled 6412 to 4524 computations (29.4% saved)

simplify742.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

2008 → 2008

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5221	92763

prune4.7s (17.1%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	2007	1	2008
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	2008	10	2018

Error

Counts

2018 → 10

Compiler

Compiled 70950 to 26860 computations (62.1% saved)

regimes872.0ms (3.2%)

Accuracy

Total 0.1b remaining (97.9%)

Threshold costs 0.1b (97.9%)

Compiler

Compiled 11079 to 6602 computations (40.4% saved)

bsearch0.0ms (0%)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	25
1	16	25

Compiler

Compiled 34 to 20 computations (41.2% saved)

end0.0ms (0%)

sample3.1s (11.4%)

Algorithm

1×

intervals

Results

283.0ms

8000×

body

128

valid

Compiler

Compiled 3662 to 2194 computations (40.1% saved)

Details

analyze452.0ms (1.7%)

sample164.0ms (0.6%)

simplify129.0ms (0.5%)

prune3.0ms (0%)

localize12.0ms (0%)

rewrite253.0ms (0.9%)

series777.0ms (2.8%)

simplify86.0ms (0.3%)

prune283.0ms (1%)

localize9.0ms (0%)

rewrite466.0ms (1.7%)

series1.0s (3.8%)

simplify126.0ms (0.5%)

prune547.0ms (2%)

localize10.0ms (0%)

rewrite2.4s (8.8%)

series1.3s (4.9%)

simplify272.0ms (1%)

prune1.8s (6.5%)

localize10.0ms (0%)

rewrite6.5s (23.6%)

series1.3s (4.8%)

simplify742.0ms (2.7%)

prune4.7s (17.1%)

regimes872.0ms (3.2%)

bsearch0.0ms (0%)

simplify9.0ms (0%)

end0.0ms (0%)

sample3.1s (11.4%)

Profiling