Details

analyze954.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
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
2.7%	90.9%	6.4%	9
4.1%	86.4%	9.5%	10
4.4%	86.1%	9.5%	11
19.7%	65.3%	15%	12
21.9%	60.4%	17.7%	13
22.7%	59.6%	17.7%	14

sample60.0ms

Algorithm

intervals

Results

12.0ms	24×	body	1280	valid
11.0ms	185×	body	80	valid
6.0ms	19×	body	640	valid
3.0ms	15×	body	320	valid
2.0ms	13×	body	160	valid
2.0ms	37×	body	80	nan
2.0ms	8×	body	320	invalid
2.0ms	5×	body	640	invalid
1.0ms	2×	body	1280	invalid
1.0ms	6×	body	160	invalid
0.0ms	7×	body	80	invalid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4988	11
1	4988	11

prune10.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 6.4b

Counts

2 → 1

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 y (+.f64 y z))
0.0b	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
0.0b	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
6.4b	(pow.f64 (/.f64 y (+.f64 y z)) y)

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac_binary64`
121×	`*-un-lft-identity_binary64`
90×	`unpow-prod-down_binary64`
81×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
25×	`associate-/l*_binary64`
20×	`distribute-lft-out_binary64`
17×	`add-exp-log_binary64`
12×	`associate-/r/_binary64`
8×	`add-cbrt-cube_binary64`
7×	`flip3-+_binary64` `associate-/r*_binary64` `div-inv_binary64` `div-exp_binary64` `flip-+_binary64`
6×	`add-log-exp_binary64`
5×	`pow1_binary64` `sqr-pow_binary64`
4×	`pow-exp_binary64`
3×	`pow-unpow_binary64`
2×	`pow-to-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`pow-pow_binary64` `+-commutative_binary64` `sum-log_binary64`

Counts

4 → 184

Calls

4 calls:

6.0ms	(/.f64 y (+.f64 y z))
11.0ms	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
33.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
13.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

series105.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/.f64 y (+.f64 y z))
33.0ms	(/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y)
24.0ms	(+.f64 x (/.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) y))
40.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

simplify60.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4986	2854
1	4986	2854

prune97.0ms

Filtered

142 candidates to 196 candidates (-38.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	191	5	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	192	5	197

Merged error: 0.8b

Counts

197 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) (/.f64 1 y))
0.0b	(/.f64 y (+.f64 y z))
0.0b	(+.f64 x (*.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) (/.f64 1 y)))
6.4b	(pow.f64 (/.f64 y (+.f64 y z)) y)

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

66×	`add-sqr-sqrt_binary64`
62×	`*-un-lft-identity_binary64`
56×	`times-frac_binary64`
45×	`add-exp-log_binary64`
42×	`unpow-prod-down_binary64`
38×	`add-cube-cbrt_binary64`
22×	`associate-l_binary64`
16×	`prod-exp_binary64`
14×	`div-exp_binary64`
13×	`associate-r_binary64`
12×	`unswap-sqr_binary64`
11×	`add-cbrt-cube_binary64`
10×	`distribute-lft-out_binary64` `pow-exp_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64`
5×	`pow-to-exp_binary64` `pow1_binary64` `sqr-pow_binary64`
4×	`flip3-+_binary64` `associate-/r*_binary64` `1-exp_binary64` `rec-exp_binary64` `div-inv_binary64` `flip-+_binary64`
3×	`pow-unpow_binary64` `associate-/l*_binary64`
2×	`cbrt-unprod_binary64` `cbrt-undiv_binary64`
1×	`associate-r/_binary64` `pow-pow_binary64` `clear-num_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `+-commutative_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

4 → 152

Calls

4 calls:

17.0ms	(*.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) (/.f64 1 y))
6.0ms	(/.f64 y (+.f64 y z))
4.0ms	(+.f64 x (*.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) (/.f64 1 y)))
8.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

series107.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(*.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) (/.f64 1 y))
6.0ms	(/.f64 y (+.f64 y z))
25.0ms	(+.f64 x (*.f64 (pow.f64 (/.f64 y (+.f64 y z)) y) (/.f64 1 y)))
40.0ms	(pow.f64 (/.f64 y (+.f64 y z)) y)

simplify66.0ms

Algorithm

egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4952	1927
1	4952	1927

prune69.0ms

Filtered

107 candidates to 164 candidates (-53.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	164	0	164
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	164	5	169

Merged error: 0.8b

Counts

169 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (exp.f64 (neg.f64 z)) y)
0.0b	(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
10×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64`
3×	`associate-/r_binary64` `add-exp-log_binary64` `associate-/l_binary64`
2×	`associate-/l/_binary64` `pow1_binary64`
1×	`flip3-+_binary64` `distribute-lft-out_binary64` `neg-sub0_binary64` `cbrt-undiv_binary64` `exp-diff_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `exp-neg_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

2 → 41

Calls

2 calls:

6.0ms	(/.f64 (exp.f64 (neg.f64 z)) y)
7.0ms	(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))

series16.0ms

Counts

2 → 6

Calls

2 calls:

8.0ms	(/.f64 (exp.f64 (neg.f64 z)) y)
8.0ms	(+.f64 x (/.f64 (exp.f64 (neg.f64 z)) y))

simplify79.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 0 (72.0ms)

Iter	Nodes	Cost
0	4852	411
1	4852	411

prune29.0ms

Filtered

36 candidates to 47 candidates (-30.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	46	1	47
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	47	5	52

Merged error: 0.5b

Counts

52 → 5

localize1.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify5.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	0	0

prune0.0ms

Pruning

5 alts after pruning (3 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	3	3
Picked	1	1
Done	1	1
Total	5	5

Merged error: 0.5b

Counts

5 → 5

regimes132.0ms

bsearch42.0ms

Steps

Iters	Range		Point
8	-1.899287488338536e-18	-1.8793800924600507e-22	-1.072370800828179e-18

Details

analyze954.0ms

sample60.0ms

simplify41.0ms

prune10.0ms

localize7.0ms

rewrite72.0ms

series105.0ms

simplify60.0ms

prune97.0ms

localize9.0ms

rewrite41.0ms

series107.0ms

simplify66.0ms

prune69.0ms

localize6.0ms

rewrite14.0ms

series16.0ms

simplify79.0ms

prune29.0ms

localize1.0ms

rewrite0.0ms

series0.0ms

simplify5.0ms

prune0.0ms

regimes132.0ms

bsearch42.0ms

Profiling