Details

analyze100.0ms (3%)

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
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
37.5%	40.6%	22%	7
43.7%	32.8%	23.5%	8
43.7%	21.1%	35.2%	9
46.8%	16.8%	36.4%	10
46.8%	10.7%	42.4%	11
48.4%	8.5%	43.1%	12
48.4%	5.4%	46.2%	13
49.2%	4.3%	46.6%	14

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample845.0ms (25.7%)

Results

729.0ms	8256×	body	128	valid
55.0ms	583×	body	128	invalid

Compiler

Compiled 26 to 17 computations (34.6% saved)

simplify44.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

445×	`associate-l_binary64`
407×	`associate-*l/_binary64`
368×	`unswap-sqr_binary64`
264×	`associate-r_binary64`
252×	`associate-/l*_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	9	9
2	13	9
3	22	9
4	51	9
5	140	9
6	425	9
7	1429	9
8	2660	9
9	4022	9
10	4406	9
11	4981	9

Stop Event

1×	node limit

Counts

1 → 2

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))

Compiler

Compiled 30 to 18 computations (40% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (exp.f64 y) y)
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))

series191.0ms (5.8%)

Counts

2 → 36

Calls

2 calls:

189.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))
2.0ms	(pow.f64 (exp.f64 y) y)

rewrite35.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

505×	`log1p-expm1-u_binary64`
505×	`expm1-log1p-u_binary64`
428×	`unpow-prod-down_binary64`
289×	`log-prod_binary64`
155×	`pow2_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	15
1	120	15
2	1421	15

Stop Event

1×	node limit

Counts

2 → 65

Calls

2 calls:

34.0ms	(pow.f64 (exp.f64 y) y)
34.0ms	(*.f64 x (pow.f64 (exp.f64 y) y))

simplify51.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

521×	`fma-def_binary64`
436×	`distribute-rgt-out_binary64`
393×	`associate-l_binary64`
376×	`*-commutative_binary64`
320×	`distribute-lft-out_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	31	330
1	77	322
2	192	315
3	585	311
4	2229	311
5	4304	311
6	4795	311

Stop Event

1×	node limit

Counts

101 → 83

prune64.0ms (1.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	81	2	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	81	3	84

Error

0.0b

Counts

84 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
▶	0.1b	(.f64 x (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3) (cbrt.f64 (pow.f64 (exp.f64 y) y))))
	0.8b	(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))

Compiler

Compiled 1199 to 574 computations (52.1% saved)

localize10.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2)
✓	0.0b	(cbrt.f64 (pow.f64 (exp.f64 y) y))
✓	0.0b	(cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))
✓	0.0b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3)

series623.0ms (18.9%)

Counts

4 → 48

Calls

4 calls:

210.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3)
199.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2)
193.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))
22.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))

rewrite51.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

701×	`log1p-expm1-u_binary64`
701×	`expm1-log1p-u_binary64`
142×	`expm1-udef_binary64`
142×	`log1p-udef_binary64`
100×	`egg-rr`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	44
1	205	42
2	2117	42

Stop Event

1×	node limit

Counts

4 → 100

Calls

4 calls:

50.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2)
50.0ms	(cbrt.f64 (pow.f64 (exp.f64 y) y))
50.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))
50.0ms	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3)

simplify38.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

920×	`fma-def_binary64`
747×	`distribute-rgt-out_binary64`
653×	`associate-l_binary64`
516×	`associate-r_binary64`
135×	`unswap-sqr_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	60	536
1	144	528
2	354	496
3	1167	488
4	4407	464

Stop Event

1×	node limit

Counts

148 → 133

prune167.0ms (5.1%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	172	1	173
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	173	3	176

Error

0.0b

Counts

176 → 3

Alt Table

Status	Error	Program
▶	0.1b	(.f64 x (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y)))) 3/2)))
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
	0.8b	(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))

Compiler

Compiled 4116 to 1733 computations (57.9% saved)

localize18.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y)))) 3/2)
✓	0.0b	(cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y))))
	0.0b	(cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y)))
	0.0b	(pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3)

series586.0ms (17.8%)

Counts

2 → 24

Calls

2 calls:

392.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y)))) 3/2)
194.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y))))

rewrite25.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

290×	`log1p-expm1-u_binary64`
290×	`expm1-log1p-u_binary64`
271×	`add-log-exp_binary64`
265×	`add-exp-log_binary64`
254×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	193	2
2	2745	2

Stop Event

1×	node limit

Counts

2 → 2

Calls

2 calls:

24.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y)))) 3/2)
24.0ms	(cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y))))

simplify34.0ms (1%)

Algorithm

1×	egg-herbie

Rules

640×	`distribute-lft-out_binary64`
428×	`fma-def_binary64`
331×	`*-commutative_binary64`
312×	`distribute-rgt-out_binary64`
303×	`associate-l_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	35	248
1	81	244
2	192	232
3	608	228
4	2037	228
5	3973	228

Stop Event

1×	node limit

Counts

26 → 17

prune88.0ms (2.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	84	3	87

Error

0.0b

Counts

87 → 3

Alt Table

Status	Error	Program
✓	0.1b	(.f64 x (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y)))) 3/2)))
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
▶	0.8b	(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))

Compiler

Compiled 2301 to 1030 computations (55.2% saved)

localize14.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 1/6 (.f64 (pow.f64 y 6) x))
✓	3.8b	(*.f64 (pow.f64 y 6) x)
✓	4.3b	(*.f64 (pow.f64 y 4) x)
✓	5.2b	(*.f64 (pow.f64 y 2) x)

series47.0ms (1.4%)

Counts

4 → 0

Calls

4 calls:

15.0ms	(*.f64 (pow.f64 y 6) x)
14.0ms	(.f64 1/6 (.f64 (pow.f64 y 6) x))
10.0ms	(*.f64 (pow.f64 y 4) x)
7.0ms	(*.f64 (pow.f64 y 2) x)

rewrite49.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

587×	`log-prod_binary64`
217×	`expm1-udef_binary64`
217×	`log1p-udef_binary64`
194×	`log-pow_binary64`
129×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	292	31
2	3141	31

Stop Event

1×	node limit

Counts

4 → 70

Calls

4 calls:

48.0ms	(.f64 1/6 (.f64 (pow.f64 y 6) x))
48.0ms	(*.f64 (pow.f64 y 6) x)
48.0ms	(*.f64 (pow.f64 y 4) x)
48.0ms	(*.f64 (pow.f64 y 2) x)

simplify7.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0

Stop Event

1×

saturated

Counts

70 → 70

prune77.0ms (2.3%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

0.0b

Counts

73 → 3

Alt Table

Status	Error	Program
✓	0.1b	(.f64 x (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) y))) 2) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (exp.f64 y) (+.f64 y y)))) 3/2)))
✓	0.0b	(*.f64 x (pow.f64 (exp.f64 y) y))
✓	0.8b	(+.f64 (.f64 1/6 (.f64 (pow.f64 y 6) x)) (+.f64 (.f64 (pow.f64 y 2) x) (+.f64 (.f64 1/2 (*.f64 (pow.f64 y 4) x)) x)))

Compiler

Compiled 1984 to 1372 computations (30.8% saved)

regimes58.0ms (1.8%)

Accuracy

Total 0.0b remaining (38.2%)

Threshold costs 0.0b (38.2%)

Counts

9 → 1

Compiler

Compiled 794 to 513 computations (35.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	7	9

Stop Event

1×

saturated

end62.0ms (1.9%)

Compiler: Compiled 74 to 51 computations (31.1% saved)

Details

analyze100.0ms (3%)

sample845.0ms (25.7%)

simplify44.0ms (1.3%)

prune2.0ms (0.1%)

localize5.0ms (0.2%)

series191.0ms (5.8%)

rewrite35.0ms (1.1%)

simplify51.0ms (1.5%)

prune64.0ms (1.9%)

localize10.0ms (0.3%)

series623.0ms (18.9%)

rewrite51.0ms (1.6%)

simplify38.0ms (1.2%)

prune167.0ms (5.1%)

localize18.0ms (0.6%)

series586.0ms (17.8%)

rewrite25.0ms (0.8%)

simplify34.0ms (1%)

prune88.0ms (2.7%)

localize14.0ms (0.4%)

series47.0ms (1.4%)

rewrite49.0ms (1.5%)

simplify7.0ms (0.2%)

prune77.0ms (2.3%)

regimes58.0ms (1.8%)

simplify2.0ms (0.1%)

end62.0ms (1.9%)

Profiling