Details

analyze1.1s (32%)

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
6.2%	93.6%	0.2%	8
6.2%	93.6%	0.2%	9
9.4%	90.4%	0.2%	10
22.2%	77.6%	0.2%	11
40.4%	59.5%	0.2%	12
47.4%	52.4%	0.2%	13
55.3%	44.5%	0.2%	14

Compiler

Compiled 22 to 15 computations (31.8% saved)

sample1.2s (33.7%)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 65 to 44 computations (32.3% saved)

simplify28.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

508×	`fma-neg_binary64`
471×	`div-sub_binary64`
457×	`associate-*l/_binary64`
448×	`cancel-sign-sub-inv_binary64`
340×	`associate-l_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	14	25
1	32	25
2	76	25
3	193	22
4	558	19
5	1508	19
6	3813	19

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.1b	(+.f64 x (/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z))))
	11.0b	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))

Compiler

Compiled 110 to 74 computations (32.7% saved)

localize12.0ms (0.3%)

Local error

Found 3 expressions with local error:

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

series87.0ms (2.5%)

Counts

3 → 84

Calls

3 calls:

38.0ms	(+.f64 x (/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z))))
34.0ms	(/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z)))
15.0ms	(*.f64 2 (/.f64 z y))

rewrite62.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

275×	`expm1-udef_binary64`
275×	`log1p-udef_binary64`
152×	`add-sqr-sqrt_binary64`
146×	`log1p-expm1-u_binary64`
146×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	42
1	299	42
2	4311	42

Stop Event

1×	node limit

Counts

3 → 82

Calls

3 calls:

61.0ms	(*.f64 2 (/.f64 z y))
61.0ms	(+.f64 x (/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z))))
61.0ms	(/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z)))

simplify75.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

546×	`fma-neg_binary64`
529×	`times-frac_binary64`
331×	`associate-/l*_binary64`
295×	`associate-/r*_binary64`
238×	`fma-def_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	93	2234
1	281	2224
2	884	2224
3	4712	2224

Stop Event

1×	node limit

Counts

166 → 120

prune95.0ms (2.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	118	4	122

Error

Counts

122 → 4

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z))))
▶	11.0b	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
	24.9b	(-.f64 x (/.f64 y z))
	25.2b	(fma.f64 2 (/.f64 z t) x)

Compiler

Compiled 2720 to 1473 computations (45.8% saved)

localize13.0ms (0.4%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
✓	1.1b	(-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))
✓	18.5b	(/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t)))

series94.0ms (2.6%)

Counts

3 → 120

Calls

3 calls:

50.0ms	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
31.0ms	(/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t)))
13.0ms	(-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))

rewrite93.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

295×	`log1p-udef_binary64`
163×	`add-sqr-sqrt_binary64`
155×	`log1p-expm1-u_binary64`
155×	`expm1-log1p-u_binary64`
154×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	60
1	322	60
2	4650	60

Stop Event

1×	node limit

Counts

3 → 136

Calls

3 calls:

88.0ms	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
88.0ms	(-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))
87.0ms	(/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t)))

simplify52.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

555×	`times-frac_binary64`
359×	`associate-/l*_binary64`
310×	`associate-/r*_binary64`
260×	`associate-r_binary64`
243×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	94	2701
1	300	2691
2	973	2653

Stop Event

1×	node limit

Counts

256 → 180

prune141.0ms (3.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	180	0	180
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	180	4	184

Error

Counts

184 → 4

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z))))
✓	11.0b	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
▶	24.9b	(-.f64 x (/.f64 y z))
	25.2b	(fma.f64 2 (/.f64 z t) x)

Compiler

Compiled 5051 to 2691 computations (46.7% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (/.f64 y z))

series9.0ms (0.3%)

Counts

1 → 9

Calls

1 calls:

9.0ms

(-.f64 x (/.f64 y z))

rewrite60.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

760×	`log1p-expm1-u_binary64`
760×	`expm1-log1p-u_binary64`
532×	`prod-diff_binary64`
105×	`egg-rr`
72×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	135	7
2	1984	7

Stop Event

1×	node limit

Counts

1 → 105

Calls

1 calls:

57.0ms

(-.f64 x (/.f64 y z))

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

14×	`fma-def_binary64`
8×	`sub-neg_binary64`
4×	`+-commutative_binary64`
4×	`fma-neg_binary64`
3×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	29
1	11	29
2	18	29
3	24	29
4	30	29
5	38	29
6	46	29
7	56	29
8	64	29
9	78	29

Stop Event

1×

saturated

Counts

114 → 108

prune59.0ms (1.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	108	0	108
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	108	4	112

Error

Counts

112 → 4

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z))))
✓	11.0b	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
✓	24.9b	(-.f64 x (/.f64 y z))
▶	25.2b	(fma.f64 2 (/.f64 z t) x)

Compiler

Compiled 2926 to 1188 computations (59.4% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 (/.f64 z t) x)

series47.0ms (1.3%)

Counts

1 → 36

Calls

1 calls:

47.0ms

(fma.f64 2 (/.f64 z t) x)

rewrite36.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

678×	`log1p-expm1-u_binary64`
678×	`expm1-log1p-u_binary64`
134×	`expm1-udef_binary64`
134×	`log1p-udef_binary64`
118×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	8
1	145	8
2	1802	8

Stop Event

1×	node limit

Counts

1 → 26

Calls

1 calls:

35.0ms

(fma.f64 2 (/.f64 z t) x)

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
3×	`*-commutative_binary64`
2×	`associate-/l*_binary64`
1×	`+-commutative_binary64`
1×	`associate-*r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	249
1	13	249
2	18	249
3	22	249
4	24	249
5	25	249

Stop Event

1×

saturated

Counts

62 → 29

prune16.0ms (0.4%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	29	4	33

Error

Counts

33 → 4

Alt Table

Status	Error	Program
✓	0.1b	(+.f64 x (/.f64 -2 (-.f64 (*.f64 2 (/.f64 z y)) (/.f64 t z))))
✓	11.0b	(-.f64 x (/.f64 (.f64 (.f64 y 2) z) (-.f64 (.f64 (.f64 z 2) z) (*.f64 y t))))
✓	24.9b	(-.f64 x (/.f64 y z))
✓	25.2b	(fma.f64 2 (/.f64 z t) x)

Compiler

Compiled 368 to 206 computations (44% saved)

regimes146.0ms (4.1%)

Accuracy

Total 0.1b remaining (91.4%)

Threshold costs 0.1b (91.4%)

Counts

22 → 1

Compiler

Compiled 2146 to 1540 computations (28.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative_binary64`
3×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	19
1	17	19
2	24	19
3	28	19
4	31	19
5	32	19

Stop Event

1×

saturated

end59.0ms (1.7%)

Compiler: Compiled 91 to 63 computations (30.8% saved)

Details

analyze1.1s (32%)

sample1.2s (33.7%)

simplify28.0ms (0.8%)

prune4.0ms (0.1%)

localize12.0ms (0.3%)

series87.0ms (2.5%)

rewrite62.0ms (1.7%)

simplify75.0ms (2.1%)

prune95.0ms (2.7%)

localize13.0ms (0.4%)

series94.0ms (2.6%)

rewrite93.0ms (2.6%)

simplify52.0ms (1.5%)

prune141.0ms (3.9%)

localize4.0ms (0.1%)

series9.0ms (0.3%)

rewrite60.0ms (1.7%)

simplify10.0ms (0.3%)

prune59.0ms (1.7%)

localize4.0ms (0.1%)

series47.0ms (1.3%)

rewrite36.0ms (1%)

simplify13.0ms (0.4%)

prune16.0ms (0.4%)

regimes146.0ms (4.1%)

simplify2.0ms (0.1%)

end59.0ms (1.7%)

Profiling