Details

analyze69.0ms

Algorithm

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
40.6%	59.3%	0.1%	6
53.1%	45.3%	1.7%	7
62.4%	32.8%	4.8%	8
69.5%	22.6%	7.9%	9
74.5%	16.4%	9.1%	10
78.2%	11.1%	10.6%	11
80.9%	8.2%	10.9%	12
82.8%	5.5%	11.7%	13
84.1%	4.1%	11.8%	14

sample23.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
0.0ms	3×	body	80	invalid

simplify24.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	256	10
1	256	10

prune7.0ms

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

Merged error: 0.0b

Counts

2 → 1

localize8.0ms

Local error

Found 1 expressions with local error:

0.0b	(-.f64 (+.f64 x y) (*.f64 x y))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp_binary64_1823`
2×	`diff-log_binary64_1774`
1×	`add-cbrt-cube_binary64_1830` `sum-log_binary64_1773` `add-exp-log_binary64_1822` `add-cube-cbrt_binary64_1829` `pow1_binary64_1804` `*-un-lft-identity_binary64_1858` `add-sqr-sqrt_binary64_1843` `associate--l+_binary64_1914` `sub-neg_binary64_1862` `flip--_binary64_1884` `flip3--_binary64_1857`

Counts

1 → 13

Calls

1 calls:

6.0ms

(-.f64 (+.f64 x y) (*.f64 x y))

series14.0ms

Counts

1 → 3

Calls

1 calls:

14.0ms

(-.f64 (+.f64 x y) (*.f64 x y))

simplify50.0ms

Algorithm

egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5102	242

prune55.0ms

Filtered

11 candidates to 16 candidates (-45.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	15	2	17

Merged error: 0b

Counts

17 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (-.f64 y (*.f64 y x)))
0.0b	(sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x))))
0.0b	(sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x))))
0.2b	(.f64 (sqrt.f64 (+.f64 x (-.f64 y (.f64 y x)))) (sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x)))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

34×	`*-un-lft-identity_binary64_1858` `sqrt-prod_binary64_1837`
28×	`add-sqr-sqrt_binary64_1843`
21×	`pow1_binary64_1804`
16×	`sqrt-div_binary64_1838`
14×	`add-cube-cbrt_binary64_1829`
11×	`swap-sqr_binary64_1885`
10×	`sqrt-pow1_binary64_1839` `pow1/2_binary64_1794`
9×	`distribute-lft-out_binary64_1902` `flip3-+_binary64_1856` `flip-+_binary64_1883` `add-log-exp_binary64_1823`
7×	`associate-l_binary64_1918` `associate-r_binary64_1917`
6×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822`
5×	`pow-prod-up_binary64_1784`
4×	`unswap-sqr_binary64_1886` `frac-times_binary64_1850`
3×	`pow-sqr_binary64_1891` `pow-prod-down_binary64_1785`
2×	`sum-log_binary64_1773` `associate-l/_binary64_1920` `associate-r/_binary64_1919` `rem-sqrt-square_binary64_1846`
1×	`pow2_binary64_1795` `+-commutative_binary64_1925` `cbrt-unprod_binary64_1827` `prod-exp_binary64_1809` `*-commutative_binary64_1926` `sqrt-unprod_binary64_1841` `pow-plus_binary64_1799` `diff-log_binary64_1774` `associate-+r-_binary64_1911` `rem-square-sqrt_binary64_1845` `sub-neg_binary64_1862` `associate-+r+_binary64_1909`

Counts

4 → 109

Calls

4 calls:

5.0ms	(+.f64 x (-.f64 y (*.f64 y x)))
4.0ms	(sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x))))
4.0ms	(sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x))))
14.0ms	(.f64 (sqrt.f64 (+.f64 x (-.f64 y (.f64 y x)))) (sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x)))))

series192.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+.f64 x (-.f64 y (*.f64 y x)))
41.0ms	(sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x))))
37.0ms	(sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x))))
101.0ms	(.f64 (sqrt.f64 (+.f64 x (-.f64 y (.f64 y x)))) (sqrt.f64 (+.f64 x (-.f64 y (*.f64 y x)))))

simplify65.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5115	2195

prune23.0ms

Filtered: 75 candidates to 121 candidates (-61.3%)

Details

analyze69.0ms

sample23.0ms

simplify24.0ms

prune7.0ms

localize8.0ms

rewrite7.0ms

series14.0ms

simplify50.0ms

prune55.0ms

localize11.0ms

rewrite31.0ms

series192.0ms

simplify65.0ms

prune23.0ms

Profiling