Details

analyze331.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
25%	74.9%	0.1%	8
28.1%	67.9%	4%	9
40.6%	53%	6.4%	10
49.1%	42.9%	7.9%	11
51.5%	37.7%	10.8%	12
59.1%	26.9%	14%	13
63.7%	21.8%	14.5%	14

sample24.0ms

Algorithm

intervals

Results

7.0ms	242×	body	80	valid
1.0ms	7×	body	1280	valid
1.0ms	20×	body	80	invalid
0.0ms	5×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (4.0ms)

Iter	Nodes	Cost
0	31	13
1	31	13

prune8.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.1b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(*.f64 x (+.f64 y z))
0.0b	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64_1858` `add-sqr-sqrt_binary64_1843`
4×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822` `add-cube-cbrt_binary64_1829` `pow1_binary64_1804` `associate-r_binary64_1917` `add-log-exp_binary64_1823`
3×	`associate-l_binary64_1918`
2×	`distribute-rgt-in_binary64_1901` `associate-+l+_binary64_1910` `distribute-lft-in_binary64_1900` `associate-*r/_binary64_1919` `flip3-+_binary64_1856` `flip-+_binary64_1883`
1×	`+-commutative_binary64_1925` `sum-log_binary64_1773` `cbrt-unprod_binary64_1827` `prod-exp_binary64_1809` `distribute-lft-out_binary64_1902` `*-commutative_binary64_1926` `unswap-sqr_binary64_1886` `pow-prod-down_binary64_1785`

Counts

2 → 36

Calls

2 calls:

6.0ms	(*.f64 x (+.f64 y z))
7.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))

series51.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(*.f64 x (+.f64 y z))
29.0ms	(+.f64 (.f64 x (+.f64 y z)) (.f64 z 5))

simplify65.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5092	518

prune183.0ms

Filtered

32 candidates to 42 candidates (-31.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	37	5	42
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	38	5	43

Merged error: 0.0b

Counts

43 → 5

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))
0.0b	(*.f64 z (+.f64 x 5))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

6×	`*-un-lft-identity_binary64_1858` `add-sqr-sqrt_binary64_1843`
4×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822` `add-cube-cbrt_binary64_1829` `pow1_binary64_1804` `associate-r_binary64_1917` `add-log-exp_binary64_1823`
3×	`associate-l_binary64_1918`
2×	`distribute-rgt-in_binary64_1901` `distribute-lft-in_binary64_1900` `associate-*r/_binary64_1919` `flip3-+_binary64_1856` `associate-+r+_binary64_1909` `flip-+_binary64_1883`
1×	`+-commutative_binary64_1925` `sum-log_binary64_1773` `cbrt-unprod_binary64_1827` `prod-exp_binary64_1809` `distribute-lft-out_binary64_1902` `*-commutative_binary64_1926` `unswap-sqr_binary64_1886` `pow-prod-down_binary64_1785`

Counts

2 → 36

Calls

2 calls:

4.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))
6.0ms	(*.f64 z (+.f64 x 5))

series50.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(+.f64 (.f64 y x) (.f64 z (+.f64 x 5)))
23.0ms	(*.f64 z (+.f64 x 5))

simplify76.0ms

Algorithm

egg-herbie

Counts

42 → 42

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5041	518

prune159.0ms

Filtered

29 candidates to 42 candidates (-44.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	3	42
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	42	5	47

Merged error: 0.0b

Counts

47 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (+.f64 x 5))
0.0b	(+.f64 (.f64 y x) (.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
0.2b	(*.f64 z (sqrt.f64 (+.f64 x 5)))
0.3b	(.f64 (.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

16×	`*-un-lft-identity_binary64_1858` `sqrt-div_binary64_1838`
15×	`add-sqr-sqrt_binary64_1843`
14×	`associate-r_binary64_1917`
13×	`sqrt-prod_binary64_1837`
12×	`pow1_binary64_1804`
11×	`add-cbrt-cube_binary64_1830` `add-exp-log_binary64_1822`
10×	`add-cube-cbrt_binary64_1829` `associate-*r/_binary64_1919`
9×	`flip3-+_binary64_1856` `flip-+_binary64_1883`
6×	`add-log-exp_binary64_1823`
4×	`cbrt-unprod_binary64_1827` `associate-l_binary64_1918` `prod-exp_binary64_1809` `pow-prod-down_binary64_1785` `frac-times_binary64_1850`
3×	`distribute-lft-out_binary64_1902`
2×	`-commutative_binary64_1926` `associate-l/_binary64_1920` `unswap-sqr_binary64_1886`
1×	`+-commutative_binary64_1925` `sum-log_binary64_1773` `sqrt-pow1_binary64_1839` `pow1/2_binary64_1794` `rem-sqrt-square_binary64_1846`

Counts

4 → 82

Calls

4 calls:

3.0ms	(sqrt.f64 (+.f64 x 5))
4.0ms	(+.f64 (.f64 y x) (.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
7.0ms	(*.f64 z (sqrt.f64 (+.f64 x 5)))
12.0ms	(.f64 (.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))

series115.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(sqrt.f64 (+.f64 x 5))
27.0ms	(+.f64 (.f64 y x) (.f64 (*.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5))))
43.0ms	(*.f64 z (sqrt.f64 (+.f64 x 5)))
32.0ms	(.f64 (.f64 z (sqrt.f64 (+.f64 x 5))) (sqrt.f64 (+.f64 x 5)))

simplify71.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	5285	1464

prune20.0ms

Filtered: 62 candidates to 94 candidates (-51.6%)

Details

analyze331.0ms

sample24.0ms

simplify15.0ms

prune8.0ms

localize10.0ms

rewrite14.0ms

series51.0ms

simplify65.0ms

prune183.0ms

localize10.0ms

rewrite12.0ms

series50.0ms

simplify76.0ms

prune159.0ms

localize14.0ms

rewrite29.0ms

series115.0ms

simplify71.0ms

prune20.0ms

Profiling