Details

analyze284.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
18.7%	81.1%	0.1%	8
36.7%	60.8%	2.5%	9
43.3%	49.9%	6.8%	10
49.7%	40.8%	9.5%	11
58.2%	30.2%	11.6%	12
61.3%	24.4%	14.3%	13
65%	19.8%	15.3%	14

sample21.0ms

Algorithm

intervals

Results

6.0ms	256×	body	80	valid
0.0ms	12×	body	80	invalid

simplify152.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	301	10
1	301	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 2 expressions with local error:

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

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt_binary64_559`
6×	`*-un-lft-identity_binary64_574`
5×	`associate-r_binary64_633`
4×	`add-cube-cbrt_binary64_545` `pow1_binary64_520` `add-cbrt-cube_binary64_546` `sub-neg_binary64_578` `add-exp-log_binary64_538` `add-log-exp_binary64_539`
3×	`associate-l_binary64_634`
2×	`associate-+r+_binary64_625` `distribute-lft-in_binary64_616` `distribute-rgt-in_binary64_617` `associate-*r/_binary64_635`
1×	`flip3--_binary64_573` `+-commutative_binary64_641` `unswap-sqr_binary64_602` `flip3-+_binary64_572` `flip-+_binary64_599` `distribute-lft-out--_binary64_619` `cbrt-unprod_binary64_543` `flip--_binary64_600` `difference-of-squares_binary64_603` `*-commutative_binary64_642` `sum-log_binary64_489` `pow-prod-down_binary64_501` `prod-exp_binary64_525`

Counts

2 → 37

Calls

2 calls:

3.0ms	(+.f64 x (*.f64 y (-.f64 z x)))
7.0ms	(*.f64 y (-.f64 z x))

series58.0ms

Counts

2 → 6

Calls

2 calls:

25.0ms	(+.f64 x (*.f64 y (-.f64 z x)))
33.0ms	(*.f64 y (-.f64 z x))

simplify69.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5616	482

prune126.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	42	1	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	1	44

Merged error: 0.0b

Counts

44 → 1

localize11.0ms

Local error

Found 1 expressions with local error:

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

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

6×	`add-log-exp_binary64_539`
3×	`*-un-lft-identity_binary64_574` `sum-log_binary64_489`
1×	`add-cube-cbrt_binary64_545` `associate-+r+_binary64_625` `pow1_binary64_520` `add-cbrt-cube_binary64_546` `+-commutative_binary64_641` `associate-+r-_binary64_627` `add-sqr-sqrt_binary64_559` `distribute-rgt-neg-out_binary64_611` `flip3-+_binary64_572` `flip-+_binary64_599` `distribute-lft-out_binary64_618` `add-exp-log_binary64_538` `unsub-neg_binary64_579`

Counts

1 → 15

Calls

1 calls:

13.0ms

(+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))

series27.0ms

Counts

1 → 3

Calls

1 calls:

27.0ms

(+.f64 x (+.f64 (*.f64 y z) (*.f64 y (neg.f64 x))))

simplify88.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	5326	250

prune73.0ms

Filtered

14 candidates to 18 candidates (-28.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	1	19

Merged error: 0.0b

Counts

19 → 1

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	37	13
1	37	13

end0.0ms

sample446.0ms

Algorithm

intervals

Results

207.0ms	8000×	body	80	valid
13.0ms	556×	body	80	invalid

Details

analyze284.0ms

sample21.0ms

simplify152.0ms

prune7.0ms

localize8.0ms

rewrite11.0ms

series58.0ms

simplify69.0ms

prune126.0ms

localize11.0ms

rewrite14.0ms

series27.0ms

simplify88.0ms

prune73.0ms

simplify3.0ms

end0.0ms

sample446.0ms

Profiling