Details

analyze415.0ms (37.2%)

Algorithm

1×

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
12.5%	87.4%	0.1%	6
31.2%	68.6%	0.1%	7
37.4%	62.4%	0.1%	8
47.6%	52.3%	0.1%	9
59.7%	40.2%	0.1%	10
64.9%	34.9%	0.1%	11
71.3%	28.6%	0.1%	12
78.2%	21.7%	0.1%	13
81.6%	18.3%	0.1%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample31.0ms (2.8%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

128

valid

Compiler

Compiled 20 to 14 computations (30% saved)

simplify10.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative_binary64`
3×	`associate-+r+_binary64`
3×	`associate-+l+_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	10	7
2	16	7
3	16	7
4	16	7

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (+.f64 x y) z)

Compiler

Compiled 16 to 10 computations (37.5% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite13.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`*-un-lft-identity_binary64`
6×	`add-log-exp_binary64`
3×	`distribute-lft-out_binary64`
3×	`sum-log_binary64`
1×	`+-commutative_binary64`

Counts

1 → 15

Calls

1 calls:

6.0ms

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

Compiler

Compiled 153 to 47 computations (69.3% saved)

series20.0ms (1.8%)

Error

0.0b

Counts

1 → 18

Calls

1 calls:

15.0ms

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

Compiler

Compiled 206 to 127 computations (38.3% saved)

simplify70.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

919×	`distribute-rgt-in_binary64`
869×	`distribute-lft-in_binary64`
488×	`unsub-neg_binary64`
470×	`associate--r+_binary64`
370×	`associate-l_binary64`

Counts

33 → 11

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	35	265
1	95	250
2	257	247
3	896	247
4	2771	247
5	4474	247
6	4794	247
7	4896	247

prune4.0ms (0.3%)

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	11	0	11
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	11	1	12

Error

0.0b

Counts

12 → 1

Alt Table

Status	Error	Program
	0.0b	(+.f64 (+.f64 x y) z)

Compiler

Compiled 113 to 38 computations (66.4% saved)

regimes66.0ms (5.9%)

Accuracy

Total -0.0b remaining (-60%)

Threshold costs -0.0b (-60%)

Compiler

Compiled 637 to 353 computations (44.6% saved)

simplify4.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	8	7
2	8	7

end13.0ms (1.2%)

Remove: (sort x y z)
Compiler: Compiled 24 to 15 computations (37.5% saved)

sample466.0ms (41.7%)

Algorithm

1×

intervals

Results

172.0ms	7998×	body	128	valid
0.0ms	1×	body	2048	valid
0.0ms	1×	body	1024	valid

Compiler

Compiled 28 to 19 computations (32.1% saved)

Details

analyze415.0ms (37.2%)

sample31.0ms (2.8%)

simplify10.0ms (0.9%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

rewrite13.0ms (1.1%)

series20.0ms (1.8%)

simplify70.0ms (6.3%)

prune4.0ms (0.3%)

regimes66.0ms (5.9%)

simplify4.0ms (0.3%)

end13.0ms (1.2%)

sample466.0ms (41.7%)

Profiling