Details

analyze1.2s (8.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
12.5%	85.6%	1.9%	11
19.5%	76.8%	3.7%	12
25.7%	64.7%	9.6%	13
31.6%	54.7%	13.7%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.4s (9.9%)

Results

1.0s	8256×	body	128	valid
331.0ms	2506×	body	128	invalid

Compiler

Compiled 28 to 18 computations (35.7% saved)

preprocess15.0ms (0.1%)

Algorithm

2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	91
0	4	4

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 13 to 8 computations (38.5% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13

Stop Event

1×

saturated

Counts

1 → 1

prune1.0ms (0%)

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

Error

0.0b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 39 to 24 computations (38.5% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))
✓	0.0b	(*.f64 (-.f64 y z) (-.f64 t x))

series32.0ms (0.2%)

Counts

2 → 96

Calls

24 calls:

4.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))	z	inf
3.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))	t	0
2.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))	z	-inf
2.0ms	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))	t	-inf
2.0ms	(*.f64 (-.f64 y z) (-.f64 t x))	z	-inf

rewrite45.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

877×	`log1p-expm1-u_binary64`
877×	`expm1-log1p-u_binary64`
103×	`add-sqr-sqrt_binary64`
99×	`add-cbrt-cube_binary64`
95×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	23
1	184	23
2	2156	23

Stop Event

1×	node limit

Counts

2 → 31

simplify32.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

7×	`fma-def_binary64`
1×	`1-exp_binary64`
1×	`fma-neg_binary64`
1×	`fma-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	1551
1	58	1551
2	59	1551

Stop Event

1×

saturated

Counts

127 → 55

prune38.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	51	4	55
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	51	5	56

Error

Counts

56 → 5

Alt Table

Status	Error	Program
	36.8b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 y z) (-.f64 t x)) 3)))
	0.9b	(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3))
	30.0b	(*.f64 (-.f64 (+.f64 1 z) y) x)
▶	0.0b	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))
✓	0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 806 to 266 computations (67% saved)

localize18.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y x (*.f64 t z))
✓	0.0b	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))

series39.0ms (0.3%)

Counts

2 → 96

Calls

24 calls:

6.0ms	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))	x	-inf
2.0ms	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))	x	inf
2.0ms	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))	t	-inf
2.0ms	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))	y	-inf
2.0ms	(fma.f64 y x (*.f64 t z))	x	inf

rewrite39.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

860×	`log1p-expm1-u_binary64`
860×	`expm1-log1p-u_binary64`
108×	`add-sqr-sqrt_binary64`
100×	`add-cbrt-cube_binary64`
99×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	27
1	195	27
2	2158	27

Stop Event

1×	node limit

Counts

2 → 37

simplify30.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

5×	`fma-def_binary64`
1×	`1-exp_binary64`
1×	`fma-neg_binary64`
1×	`fma-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	1137
1	50	1137
2	51	1137

Stop Event

1×

saturated

Counts

133 → 59

prune40.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	59	0	59
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	59	5	64

Error

Counts

64 → 5

Alt Table

Status	Error	Program
	36.8b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 y z) (-.f64 t x)) 3)))
▶	0.9b	(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3))
	30.0b	(*.f64 (-.f64 (+.f64 1 z) y) x)
✓	0.0b	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))
✓	0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 1202 to 288 computations (76% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3))
	0.0b	(*.f64 (-.f64 y z) (-.f64 t x))
✓	0.7b	(pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3)
✓	0.9b	(cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x)))

series10.1s (71.3%)

Counts

3 → 80

Calls

36 calls:

5.9s	(pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3)	x	0
3.7s	(pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3)	z	0
109.0ms	(pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3)	y	0
96.0ms	(pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3)	t	0
43.0ms	(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3))	t	-inf

rewrite47.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

313×	`pow2_binary64`
311×	`log-prod_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
216×	`pow1/3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	35
1	244	35
2	2606	35

Stop Event

1×	node limit

Counts

3 → 61

simplify519.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

1714×	`sqr-pow_binary64`
292×	`pow-sqr_binary64`
68×	`cube-prod_binary64`
68×	`cube-mult_binary64`
68×	`unpow3_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	387	5059
1	635	5059
2	793	5059
3	968	5059
4	1159	5059
5	1346	5059
6	1545	5059
7	1751	5059
8	1970	5059
9	2196	5059
10	2435	5059
11	2681	5059
12	2940	5059
13	2956	5059
14	2964	5059
15	2964	5059
16	3226	5059
17	3497	5059
18	3783	5059
19	4082	5059
20	4388	5059
21	4707	5059

Stop Event

1×	node limit

Counts

141 → 129

prune180.0ms (1.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	150	0	150
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	150	5	155

Error

Counts

155 → 5

Alt Table

Status	Error	Program
	36.8b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 y z) (-.f64 t x)) 3)))
✓	0.9b	(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3))
▶	30.0b	(*.f64 (-.f64 (+.f64 1 z) y) x)
✓	0.0b	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))
✓	0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 6298 to 3590 computations (43% saved)

localize5.0ms (0%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (-.f64 (+.f64 1 z) y) x)

series8.0ms (0.1%)

Counts

1 → 24

Calls

9 calls:

2.0ms	(*.f64 (-.f64 (+.f64 1 z) y) x)	z	inf
1.0ms	(*.f64 (-.f64 (+.f64 1 z) y) x)	x	-inf
1.0ms	(*.f64 (-.f64 (+.f64 1 z) y) x)	z	0
1.0ms	(*.f64 (-.f64 (+.f64 1 z) y) x)	z	-inf
1.0ms	(*.f64 (-.f64 (+.f64 1 z) y) x)	y	-inf

rewrite38.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

677×	`log1p-expm1-u_binary64`
677×	`expm1-log1p-u_binary64`
203×	`log-prod_binary64`
147×	`expm1-udef_binary64`
147×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	155	10
2	1674	10

Stop Event

1×	node limit

Counts

1 → 16

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`
1×	`fma-def_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	234
1	18	234

Stop Event

1×

saturated

Counts

40 → 22

prune24.0ms (0.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	22	0	22
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	22	5	27

Error

Counts

27 → 5

Alt Table

Status	Error	Program
	36.8b	(+.f64 x (cbrt.f64 (pow.f64 (*.f64 (-.f64 y z) (-.f64 t x)) 3)))
✓	0.9b	(+.f64 x (pow.f64 (cbrt.f64 (*.f64 (-.f64 y z) (-.f64 t x))) 3))
✓	30.0b	(*.f64 (-.f64 (+.f64 1 z) y) x)
✓	0.0b	(-.f64 (fma.f64 z x (fma.f64 y t x)) (fma.f64 y x (*.f64 t z)))
✓	0.0b	(+.f64 x (*.f64 (-.f64 y z) (-.f64 t x)))

Compiler

Compiled 306 to 201 computations (34.3% saved)

regimes215.0ms (1.5%)

Accuracy

Total 0.0b remaining (72.8%)

Threshold costs 0.0b (72.8%)

Counts

29 → 1

Compiler

Compiled 2333 to 1525 computations (34.6% saved)

simplify1.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19

Stop Event

1×

saturated

end86.0ms (0.6%)

Stop Event

1×

fuel

Compiler

Compiled 110 to 65 computations (40.9% saved)

Details

analyze1.2s (8.3%)

sample1.4s (9.9%)

preprocess15.0ms (0.1%)

simplify6.0ms (0%)

prune1.0ms (0%)

localize6.0ms (0%)

series32.0ms (0.2%)

rewrite45.0ms (0.3%)

simplify32.0ms (0.2%)

prune38.0ms (0.3%)

localize18.0ms (0.1%)

series39.0ms (0.3%)

rewrite39.0ms (0.3%)

simplify30.0ms (0.2%)

prune40.0ms (0.3%)

localize10.0ms (0.1%)

series10.1s (71.3%)

rewrite47.0ms (0.3%)

simplify519.0ms (3.7%)

prune180.0ms (1.3%)

localize5.0ms (0%)

series8.0ms (0.1%)

rewrite38.0ms (0.3%)

simplify9.0ms (0.1%)

prune24.0ms (0.2%)

regimes215.0ms (1.5%)

simplify1.0ms (0%)

end86.0ms (0.6%)

Profiling