Details

analyze1.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample518.0ms (38.5%)

Infinites

25.2% of outputs are infinite.

Results

473.0ms

8256×

body

128

valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify9.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

13×	`associate-l_binary64`
11×	`associate-r_binary64`
10×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	14	10
2	28	10
3	36	10
4	35	10
5	35	10

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 (*.f64 x 3) y) y)

Compiler

Compiled 34 to 22 computations (35.3% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 x 3) y)
✓	0.2b	(.f64 (.f64 (*.f64 x 3) y) y)

series15.0ms (1.1%)

Counts

2 → 48

Calls

2 calls:

11.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
4.0ms	(.f64 (.f64 x 3) y)

rewrite10.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 43

Calls

2 calls:

5.0ms	(.f64 (.f64 (*.f64 x 3) y) y)
4.0ms	(.f64 (.f64 x 3) y)

simplify92.0ms (6.8%)

Algorithm

1×	egg-herbie

Rules

665×	`fma-def_binary64`
371×	`associate-*r/_binary64`
316×	`*-commutative_binary64`
296×	`associate-*l/_binary64`
272×	`associate-/l*_binary64`

Counts

91 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	960
1	166	852
2	587	852
3	878	850
4	1232	850
5	2115	850
6	4694	850
7	4991	850

prune47.0ms (3.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	57	6	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	7	64

Error

0.0b

Counts

64 → 7

Alt Table

Status	Error	Program
✓	0.2b	(.f64 (.f64 (*.f64 x 3) y) y)
	7.9b	(.f64 (.f64 x 3) (*.f64 y y))
	0.2b	(.f64 (.f64 x (*.f64 3 y)) y)
	0.8b	(.f64 (.f64 (.f64 (.f64 x 3) y) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
	20.2b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (.f64 x 3) y) y) (.f64 (.f64 (.f64 x 3) y) y)) (.f64 (.f64 (*.f64 x 3) y) y)))
▶	0.2b	(.f64 (.f64 3 (*.f64 y x)) y)
	7.8b	(.f64 3 (.f64 (pow.f64 y 2) x))

Compiler

Compiled 935 to 535 computations (42.8% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 (*.f64 y x)) y)
✓	0.2b	(.f64 3 (.f64 y x))

series15.0ms (1.1%)

Counts

2 → 24

Calls

2 calls:

10.0ms	(.f64 (.f64 3 (*.f64 y x)) y)
4.0ms	(.f64 3 (.f64 y x))

rewrite11.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 43

Calls

2 calls:

6.0ms	(.f64 (.f64 3 (*.f64 y x)) y)
3.0ms	(.f64 3 (.f64 y x))

simplify76.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

788×	`fma-def_binary64`
339×	`associate-*r/_binary64`
335×	`*-commutative_binary64`
304×	`associate-/l*_binary64`
289×	`associate-/l/_binary64`

Counts

67 → 52

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	793
1	159	685
2	557	685
3	879	683
4	1227	683
5	2129	683
6	4743	683
7	5145	683

prune41.0ms (3.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	2	3	5
Picked	0	1	1
Done	1	0	1
Total	54	5	59

Error

0.0b

Counts

59 → 5

Alt Table

Status	Error	Program
	0.2b	(.f64 (.f64 x (*.f64 3 y)) y)
▶	0.2b	(.f64 3 (.f64 (*.f64 y x) y))
	0.8b	(.f64 (.f64 (.f64 (.f64 x 3) y) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
	7.9b	(.f64 (.f64 x 3) (*.f64 y y))
✓	0.2b	(.f64 (.f64 3 (*.f64 y x)) y)

Compiler

Compiled 746 to 396 computations (46.9% saved)

localize4.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 y x) y)
✓	0.2b	(.f64 3 (.f64 (*.f64 y x) y))

series20.0ms (1.5%)

Counts

2 → 48

Calls

2 calls:

10.0ms	(.f64 (.f64 y x) y)
10.0ms	(.f64 3 (.f64 (*.f64 y x) y))

rewrite10.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 43

Calls

2 calls:

5.0ms	(.f64 3 (.f64 (*.f64 y x) y))
4.0ms	(.f64 (.f64 y x) y)

simplify89.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

869×	`fma-def_binary64`
319×	`unswap-sqr_binary64`
300×	`associate-*r/_binary64`
285×	`*-commutative_binary64`
271×	`associate-/l*_binary64`

Counts

91 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	68	970
1	153	853
2	489	853
3	799	851
4	1168	851
5	2240	851
6	4706	851
7	5181	851

prune41.0ms (3.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	61	6	67

Error

0.0b

Counts

67 → 6

Alt Table

Status	Error	Program
▶	0.2b	(.f64 (.f64 x (*.f64 3 y)) y)
✓	0.2b	(.f64 3 (.f64 (*.f64 y x) y))
	0.3b	(.f64 (sqrt.f64 3) (.f64 (sqrt.f64 3) (.f64 (.f64 y x) y)))
	0.8b	(.f64 (.f64 (.f64 (.f64 x 3) y) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
	7.9b	(.f64 (.f64 x 3) (*.f64 y y))
✓	0.2b	(.f64 (.f64 3 (*.f64 y x)) y)

Compiler

Compiled 868 to 389 computations (55.2% saved)

localize6.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 x (.f64 3 y))
✓	0.2b	(.f64 (.f64 x (*.f64 3 y)) y)

series14.0ms (1%)

Counts

2 → 48

Calls

2 calls:

10.0ms	(.f64 (.f64 x (*.f64 3 y)) y)
4.0ms	(.f64 x (.f64 3 y))

rewrite10.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
9×	`cbrt-unprod_binary64`
9×	`prod-exp_binary64`

Counts

2 → 43

Calls

2 calls:

5.0ms	(.f64 (.f64 x (*.f64 3 y)) y)
3.0ms	(.f64 x (.f64 3 y))

simplify89.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

687×	`fma-def_binary64`
412×	`*-commutative_binary64`
332×	`associate-*r/_binary64`
298×	`associate-/l*_binary64`
279×	`associate-/l/_binary64`

Counts

91 → 64

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	70	961
1	165	853
2	671	853
3	981	851
4	1367	851
5	2292	851
6	4887	851
7	5170	851

prune41.0ms (3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	64	6	70

Error

0.0b

Counts

70 → 6

Alt Table

Status	Error	Program
✓	0.2b	(.f64 (.f64 x (*.f64 3 y)) y)
✓	0.2b	(.f64 3 (.f64 (*.f64 y x) y))
	0.3b	(.f64 (sqrt.f64 3) (.f64 (sqrt.f64 3) (.f64 (.f64 y x) y)))
	0.8b	(.f64 (.f64 (.f64 (.f64 x 3) y) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
✓	0.2b	(.f64 (.f64 3 (*.f64 y x)) y)
	7.9b	(.f64 x (.f64 3 (*.f64 y y)))

Compiler

Compiled 842 to 476 computations (43.5% saved)

regimes111.0ms (8.2%)

Accuracy

Total 0.2b remaining (91.6%)

Threshold costs 0.2b (91.6%)

Counts

25 → 1

Compiler

Compiled 1574 to 1074 computations (31.8% saved)

simplify3.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	10	10
2	10	10

end61.0ms (4.5%)

Compiler: Compiled 83 to 55 computations (33.7% saved)

Details

analyze1.0ms (0.1%)

sample518.0ms (38.5%)

simplify9.0ms (0.7%)

prune2.0ms (0.1%)

localize4.0ms (0.3%)

series15.0ms (1.1%)

rewrite10.0ms (0.8%)

simplify92.0ms (6.8%)

prune47.0ms (3.5%)

localize4.0ms (0.3%)

series15.0ms (1.1%)

rewrite11.0ms (0.8%)

simplify76.0ms (5.7%)

prune41.0ms (3.1%)

localize4.0ms (0.3%)

series20.0ms (1.5%)

rewrite10.0ms (0.8%)

simplify89.0ms (6.6%)

prune41.0ms (3.1%)

localize6.0ms (0.5%)

series14.0ms (1%)

rewrite10.0ms (0.7%)

simplify89.0ms (6.6%)

prune41.0ms (3%)

regimes111.0ms (8.2%)

simplify3.0ms (0.2%)

end61.0ms (4.5%)

Profiling