Details

analyze1.0s (5.6%)

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
12.5%	87.4%	0.1%	5
12.5%	78%	9.5%	6
20.3%	68.7%	11%	7
21.1%	62.4%	16.5%	8
25.4%	57%	17.7%	9
26%	52.1%	22%	10
28.3%	49%	22.7%	11
28.6%	47.2%	24.2%	12
29.8%	45.6%	24.7%	13
29.9%	43.9%	26.2%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample14.4s (81.5%)

Results

10.8s	4851×	body	8192	exit
1.8s	3339×	body	1024	invalid
1.1s	8256×	body	128	valid
540.0ms	1626×	body	512	invalid
181.0ms	806×	body	256	invalid
76.0ms	617×	body	128	invalid
17.0ms	6×	body	8192	invalid
2.0ms	3×	body	2048	invalid

Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess44.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

409×	`associate-l_binary64`
386×	`associate-/l*_binary64`
325×	`associate-r_binary64`
318×	`associate-/r*_binary64`
273×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	31	26
2	67	22
3	157	22
4	495	22
5	2153	22
6	3948	22
7	4105	22
8	4337	22
9	4787	22
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 10 to 7 computations (30% saved)

simplify46.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

656×	`unswap-sqr_binary64`
607×	`times-frac_binary64`
203×	`associate-l_binary64`
192×	`associate-/l*_binary64`
177×	`sqr-pow_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	38	11
3	85	11
4	260	11
5	1105	11
6	4055	11
7	4154	11
8	4278	11
9	4515	11
10	4958	11

Stop Event

1×	node limit

Counts

1 → 2

prune2.0ms (0%)

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.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))

Compiler

Compiled 35 to 18 computations (48.6% saved)

localize4.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
✓	0.3b	(pow.f64 l (exp.f64 w))

series252.0ms (1.4%)

Counts

2 → 40

Calls

12 calls:

49.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))	w	-inf
48.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))	w	inf
47.0ms	(pow.f64 l (exp.f64 w))	w	-inf
45.0ms	(pow.f64 l (exp.f64 w))	w	inf
10.0ms	(pow.f64 l (exp.f64 w))	l	0

rewrite34.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

607×	`log1p-expm1-u_binary64`
607×	`expm1-log1p-u_binary64`
324×	`log-prod_binary64`
117×	`log-pow_binary64`
116×	`expm1-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	125	17
2	1665	17

Stop Event

1×	node limit

Counts

2 → 56

simplify39.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

809×	`fma-def_binary64`
426×	`associate-+l+_binary64`
406×	`associate-l_binary64`
314×	`associate-+r+_binary64`
299×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	610
1	238	579
2	860	544
3	4978	544

Stop Event

1×	node limit

Counts

96 → 77

prune49.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	73	4	77
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	74	4	78

Error

0.1b

Counts

78 → 4

Alt Table

Status	Error	Program
	4.5b	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))
	13.2b	(fma.f64 w (fma.f64 l (log.f64 l) (neg.f64 l)) l)
▶	1.3b	(/.f64 (*.f64 (pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w)) (pow.f64 (cbrt.f64 l) (exp.f64 w))) (exp.f64 w))
	7.2b	(/.f64 (+.f64 l (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (exp.f64 w))

Compiler

Compiled 1407 to 567 computations (59.7% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (cbrt.f64 l) (exp.f64 w))
✓	0.3b	(pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w))
✓	0.5b	(pow.f64 (cbrt.f64 l) 2)
✓	0.6b	(cbrt.f64 l)

series495.0ms (2.8%)

Counts

4 → 24

Calls

18 calls:

113.0ms	(pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w))	w	inf
111.0ms	(pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w))	w	-inf
88.0ms	(pow.f64 (cbrt.f64 l) (exp.f64 w))	w	-inf
85.0ms	(pow.f64 (cbrt.f64 l) (exp.f64 w))	w	inf
22.0ms	(pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w))	l	-inf

rewrite39.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

689×	`log1p-expm1-u_binary64`
689×	`expm1-log1p-u_binary64`
141×	`expm1-udef_binary64`
141×	`log1p-udef_binary64`
88×	`egg-rr`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	28
1	184	28
2	2081	28

Stop Event

1×	node limit

Counts

4 → 88

simplify35.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

736×	`fma-def_binary64`
378×	`distribute-rgt-out_binary64`
368×	`*-commutative_binary64`
347×	`distribute-lft-out_binary64`
326×	`associate-+l+_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	76	628
1	251	593
2	1052	529
3	3785	474

Stop Event

1×	node limit

Counts

112 → 107

prune71.0ms (0.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	128	1	129
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	129	4	133

Error

0.0b

Counts

133 → 4

Alt Table

Status	Error	Program
▶	4.5b	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))
	13.2b	(fma.f64 w (fma.f64 l (log.f64 l) (neg.f64 l)) l)
	26.9b	(/.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 l) (.f64 2 (exp.f64 w))))) 1) (pow.f64 (cbrt.f64 l) (exp.f64 w))) (exp.f64 w))
	7.2b	(/.f64 (+.f64 l (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (exp.f64 w))

Compiler

Compiled 3230 to 1470 computations (54.5% saved)

localize7.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w))
✓	4.5b	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))

series67.0ms (0.4%)

Counts

2 → 44

Calls

12 calls:

10.0ms	(fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w))	w	inf
8.0ms	(fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w))	w	-inf
8.0ms	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))	l	-inf
8.0ms	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))	l	0
8.0ms	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))	l	inf

rewrite42.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

563×	`log1p-expm1-u_binary64`
563×	`expm1-log1p-u_binary64`
314×	`log-prod_binary64`
146×	`prod-diff_binary64`
121×	`expm1-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	24
1	151	20
2	1820	20

Stop Event

1×	node limit

Counts

2 → 105

simplify37.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

613×	`fma-def_binary64`
355×	`associate-l_binary64`
309×	`associate-+l+_binary64`
275×	`associate-r_binary64`
266×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	81	677
1	262	631
2	861	602
3	4343	602

Stop Event

1×	node limit

Counts

149 → 129

prune60.0ms (0.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	129	4	133

Error

0.0b

Counts

133 → 4

Alt Table

Status	Error	Program
✓	4.5b	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))
	13.2b	(fma.f64 w (fma.f64 l (log.f64 l) (neg.f64 l)) l)
	26.9b	(/.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 l) (.f64 2 (exp.f64 w))))) 1) (pow.f64 (cbrt.f64 l) (exp.f64 w))) (exp.f64 w))
▶	7.2b	(/.f64 (+.f64 l (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (exp.f64 w))

Compiler

Compiled 2967 to 1214 computations (59.1% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))
✓	3.1b	(+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))
✓	4.0b	(/.f64 (+.f64 l (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (exp.f64 w))
✓	5.5b	(*.f64 l (pow.f64 w 2))

series522.0ms (2.9%)

Counts

4 → 47

Calls

24 calls:

54.0ms	(/.f64 (+.f64 l (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (exp.f64 w))	l	-inf
49.0ms	(.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))	w	inf
48.0ms	(.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))	w	0
48.0ms	(.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))	w	-inf
37.0ms	(/.f64 (+.f64 l (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (exp.f64 w))	l	0

rewrite50.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

219×	`add-sqr-sqrt_binary64`
212×	`log1p-expm1-u_binary64`
212×	`expm1-log1p-u_binary64`
209×	`add-cbrt-cube_binary64`
206×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	20	114
1	448	111

Stop Event

1×	node limit

Counts

4 → 88

simplify42.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

481×	`associate-l_binary64`
415×	`associate-r_binary64`
356×	`cancel-sign-sub-inv_binary64`
225×	`distribute-rgt-in_binary64`
193×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	2263
1	398	2076
2	1463	1848

Stop Event

1×	node limit

Counts

135 → 118

prune110.0ms (0.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	133	4	137

Error

0.0b

Counts

137 → 4

Alt Table

Status	Error	Program
✓	4.5b	(exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))
	13.2b	(fma.f64 w (fma.f64 l (log.f64 l) (neg.f64 l)) l)
	26.9b	(/.f64 (.f64 (-.f64 (exp.f64 (log1p.f64 (pow.f64 (cbrt.f64 l) (.f64 2 (exp.f64 w))))) 1) (pow.f64 (cbrt.f64 l) (exp.f64 w))) (exp.f64 w))
✓	7.2b	(/.f64 (+.f64 l (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (exp.f64 w))

Compiler

Compiled 5582 to 2315 computations (58.5% saved)

regimes149.0ms (0.8%)

Accuracy

Total 0.2b remaining (58.6%)

Threshold costs 0.2b (58.6%)

Counts

54 → 1

Compiler

Compiled 3188 to 1984 computations (37.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	13	23

Stop Event

1×

saturated

end67.0ms (0.4%)

Stop Event

1×

fuel

Compiler

Compiled 112 to 69 computations (38.4% saved)

Details

analyze1.0s (5.6%)

sample14.4s (81.5%)

preprocess44.0ms (0.2%)

simplify46.0ms (0.3%)

prune2.0ms (0%)

localize4.0ms (0%)

series252.0ms (1.4%)

rewrite34.0ms (0.2%)

simplify39.0ms (0.2%)

prune49.0ms (0.3%)

localize8.0ms (0%)

series495.0ms (2.8%)

rewrite39.0ms (0.2%)

simplify35.0ms (0.2%)

prune71.0ms (0.4%)

localize7.0ms (0%)

series67.0ms (0.4%)

rewrite42.0ms (0.2%)

simplify37.0ms (0.2%)

prune60.0ms (0.3%)

localize16.0ms (0.1%)

series522.0ms (2.9%)

rewrite50.0ms (0.3%)

simplify42.0ms (0.2%)

prune110.0ms (0.6%)

regimes149.0ms (0.8%)

simplify2.0ms (0%)

end67.0ms (0.4%)

Profiling