Details

analyze101.0ms (6.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
50%	50%	0.1%	5
50%	50%	0.1%	6
62.4%	34.3%	3.2%	7
62.4%	32.8%	4.8%	8
68.7%	21.1%	10.2%	9
68.7%	19.1%	12.2%	10
71.8%	11.5%	16.7%	11
71.8%	10.2%	18%	12
73.4%	6%	20.6%	13
73.4%	5.3%	21.3%	14

Compiler

Compiled 8 to 5 computations (37.5% saved)

sample700.0ms (42.7%)

Results

633.0ms	8256×	body	128	valid
34.0ms	420×	body	128	invalid

Compiler

Compiled 23 to 14 computations (39.1% saved)

simplify11.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1×	`associate-/r*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	7	7

Stop Event

1×

saturated

Counts

1 → 1

prune1.0ms (0.1%)

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

9.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	9.9b	(/.f64 x (*.f64 y y))

Compiler

Compiled 21 to 12 computations (42.9% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	9.5b	(/.f64 x (*.f64 y y))

series25.0ms (1.5%)

Counts

1 → 24

Calls

1 calls:

25.0ms

(/.f64 x (*.f64 y y))

rewrite37.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

529×	`log1p-expm1-u_binary64`
529×	`expm1-log1p-u_binary64`
373×	`unpow-prod-down_binary64`
274×	`log-prod_binary64`
141×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	106	7
2	1456	7

Stop Event

1×	node limit

Counts

1 → 68

Calls

1 calls:

36.0ms

(/.f64 x (*.f64 y y))

simplify63.0ms (3.9%)

Algorithm

1×	egg-herbie

Rules

607×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
354×	`cube-prod_binary64`
335×	`associate-/l/_binary64`
271×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	209	168
6	754	168
7	1962	168
8	2128	168
9	2312	168
10	2520	168
11	2811	168
12	3202	168
13	3680	168
14	4241	168
15	4925	168

Stop Event

1×	node limit

Counts

92 → 70

prune43.0ms (2.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	66	4	70
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	66	5	71

Error

0.0b

Counts

71 → 5

Alt Table

Status	Error	Program
✓	9.9b	(/.f64 x (*.f64 y y))
▶	0.2b	(/.f64 (/.f64 x y) y)
	0.5b	(pow.f64 (/.f64 y (/.f64 x y)) -1)
	30.7b	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
	0.3b	(*.f64 (/.f64 x y) (/.f64 1 y))

Compiler

Compiled 902 to 544 computations (39.7% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series24.0ms (1.4%)

Counts

1 → 24

Calls

1 calls:

24.0ms

(/.f64 (/.f64 x y) y)

rewrite41.0ms (2.5%)

Algorithm

1×	batch-egg-rewrite

Rules

595×	`log1p-expm1-u_binary64`
595×	`expm1-log1p-u_binary64`
321×	`log-prod_binary64`
114×	`log-div_binary64`
103×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	109	7
2	1599	7

Stop Event

1×	node limit

Counts

1 → 42

Calls

1 calls:

40.0ms

(/.f64 (/.f64 x y) y)

simplify63.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

607×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
354×	`cube-prod_binary64`
335×	`associate-/l/_binary64`
271×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	209	168
6	754	168
7	1962	168
8	2128	168
9	2312	168
10	2520	168
11	2811	168
12	3202	168
13	3680	168
14	4241	168
15	4925	168

Stop Event

1×	node limit

Counts

66 → 44

prune29.0ms (1.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	42	7	49

Error

0.0b

Counts

49 → 7

Alt Table

Status	Error	Program
✓	9.9b	(/.f64 x (*.f64 y y))
	30.2b	(*.f64 (/.f64 (sqrt.f64 (/.f64 x y)) (pow.f64 (cbrt.f64 y) 2)) (/.f64 (sqrt.f64 (/.f64 x y)) (cbrt.f64 y)))
	1.0b	(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (/.f64 x y)) y))
✓	0.2b	(/.f64 (/.f64 x y) y)
	0.5b	(pow.f64 (/.f64 y (/.f64 x y)) -1)
	30.7b	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
▶	0.3b	(*.f64 (/.f64 x y) (/.f64 1 y))

Compiler

Compiled 592 to 259 computations (56.3% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (/.f64 x y) (/.f64 1 y))

series22.0ms (1.4%)

Counts

1 → 24

Calls

1 calls:

22.0ms

(*.f64 (/.f64 x y) (/.f64 1 y))

rewrite35.0ms (2.1%)

Algorithm

1×	batch-egg-rewrite

Rules

665×	`log1p-expm1-u_binary64`
665×	`expm1-log1p-u_binary64`
121×	`expm1-udef_binary64`
121×	`log1p-udef_binary64`
112×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	7
1	146	7
2	1938	7

Stop Event

1×	node limit

Counts

1 → 44

Calls

1 calls:

34.0ms

(*.f64 (/.f64 x y) (/.f64 1 y))

simplify62.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

607×	`sqr-pow_binary64`
434×	`unswap-sqr_binary64`
354×	`cube-prod_binary64`
335×	`associate-/l/_binary64`
271×	`fabs-mul_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	11	168
2	20	168
3	35	168
4	75	168
5	209	168
6	754	168
7	1962	168
8	2128	168
9	2312	168
10	2520	168
11	2811	168
12	3202	168
13	3680	168
14	4241	168
15	4925	168

Stop Event

1×	node limit

Counts

68 → 45

prune32.0ms (1.9%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	44	1	45
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	45	7	52

Error

0.0b

Counts

52 → 7

Alt Table

Status	Error	Program
	1.0b	(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (/.f64 x y)) y))
✓	0.2b	(/.f64 (/.f64 x y) y)
✓	9.9b	(/.f64 x (*.f64 y y))
▶	0.5b	(pow.f64 (/.f64 y (/.f64 x y)) -1)
	30.7b	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
	29.9b	(/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y))))
✓	0.3b	(*.f64 (/.f64 x y) (/.f64 1 y))

Compiler

Compiled 484 to 259 computations (46.5% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 y (/.f64 x y))
✓	0.5b	(pow.f64 (/.f64 y (/.f64 x y)) -1)

series49.0ms (3%)

Counts

2 → 48

Calls

2 calls:

39.0ms	(pow.f64 (/.f64 y (/.f64 x y)) -1)
10.0ms	(/.f64 y (/.f64 x y))

rewrite42.0ms (2.6%)

Algorithm

1×	batch-egg-rewrite

Rules

736×	`log1p-expm1-u_binary64`
736×	`expm1-log1p-u_binary64`
130×	`log1p-udef_binary64`
89×	`egg-rr`
76×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	152	14
2	2078	14

Stop Event

1×	node limit

Counts

2 → 89

Calls

2 calls:

41.0ms	(/.f64 y (/.f64 x y))
41.0ms	(pow.f64 (/.f64 y (/.f64 x y)) -1)

simplify54.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

434×	`unswap-sqr_binary64`
423×	`associate-*r/_binary64`
396×	`associate-/r/_binary64`
341×	`associate-/l/_binary64`
328×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	336
1	12	336
2	22	336
3	40	336
4	91	336
5	280	336
6	1113	336
7	3110	336
8	3912	336
9	4097	336
10	4313	336
11	4639	336

Stop Event

1×	node limit

Counts

137 → 91

prune45.0ms (2.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	91	7	98

Error

0.0b

Counts

98 → 7

Alt Table

Status	Error	Program
	1.0b	(*.f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 x y)) 2) 1) (/.f64 (cbrt.f64 (/.f64 x y)) y))
✓	0.2b	(/.f64 (/.f64 x y) y)
✓	9.9b	(/.f64 x (*.f64 y y))
✓	0.5b	(pow.f64 (/.f64 y (/.f64 x y)) -1)
	30.7b	(pow.f64 (/.f64 (sqrt.f64 x) y) 2)
	29.9b	(/.f64 (sqrt.f64 (/.f64 x y)) (/.f64 y (sqrt.f64 (/.f64 x y))))
✓	0.3b	(*.f64 (/.f64 x y) (/.f64 1 y))

Compiler

Compiled 1068 to 443 computations (58.5% saved)

regimes85.0ms (5.2%)

Accuracy

Total 0.1b remaining (86.5%)

Threshold costs 0.1b (86.5%)

Counts

26 → 1

Compiler

Compiled 1236 to 770 computations (37.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7

Stop Event

1×

saturated

end62.0ms (3.8%)

Compiler: Compiled 84 to 50 computations (40.5% saved)

Details

analyze101.0ms (6.2%)

sample700.0ms (42.7%)

simplify11.0ms (0.6%)

prune1.0ms (0.1%)

localize3.0ms (0.2%)

series25.0ms (1.5%)

rewrite37.0ms (2.2%)

simplify63.0ms (3.9%)

prune43.0ms (2.6%)

localize3.0ms (0.2%)

series24.0ms (1.4%)

rewrite41.0ms (2.5%)

simplify63.0ms (3.8%)

prune29.0ms (1.7%)

localize4.0ms (0.2%)

series22.0ms (1.4%)

rewrite35.0ms (2.1%)

simplify62.0ms (3.8%)

prune32.0ms (1.9%)

localize4.0ms (0.2%)

series49.0ms (3%)

rewrite42.0ms (2.6%)

simplify54.0ms (3.3%)

prune45.0ms (2.7%)

regimes85.0ms (5.2%)

simplify2.0ms (0.1%)

end62.0ms (3.8%)

Profiling