Details

analyze995.0ms (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.7s (83%)

Results

10.9s	4851×	body	8192	exit
1.8s	3339×	body	1024	invalid
1.1s	8256×	body	128	valid
555.0ms	1626×	body	512	invalid
180.0ms	806×	body	256	invalid
79.0ms	617×	body	128	invalid
20.0ms	6×	body	8192	invalid
2.0ms	3×	body	2048	invalid

Compiler

Compiled 22 to 16 computations (27.3% saved)

preprocess49.0ms (0.3%)

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)

simplify42.0ms (0.2%)

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))

series235.0ms (1.3%)

Counts

2 → 40

Calls

12 calls:

45.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))	w	-inf
44.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))	w	inf
42.0ms	(pow.f64 l (exp.f64 w))	w	-inf
42.0ms	(pow.f64 l (exp.f64 w))	w	inf
12.0ms	(pow.f64 l (exp.f64 w))	l	0

rewrite33.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

prune50.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
	2.0b	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.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 1409 to 567 computations (59.8% saved)

localize9.0ms (0.1%)

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)

series456.0ms (2.6%)

Counts

4 → 24

Calls

18 calls:

103.0ms	(pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w))	w	-inf
102.0ms	(pow.f64 (pow.f64 (cbrt.f64 l) 2) (exp.f64 w))	w	inf
79.0ms	(pow.f64 (cbrt.f64 l) (exp.f64 w))	w	-inf
78.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

rewrite41.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

simplify34.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

prune77.0ms (0.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	128	5	133

Error

0.0b

Counts

133 → 5

Alt Table

Status	Error	Program
▶	2.0b	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	13.2b	(fma.f64 w (fma.f64 l (log.f64 l) (neg.f64 l)) l)
	11.4b	(/.f64 (.f64 (sqrt.f64 (pow.f64 (.f64 l (cbrt.f64 l)) (exp.f64 w))) (pow.f64 (cbrt.f64 l) (exp.f64 w))) (exp.f64 w))
	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 3270 to 1490 computations (54.4% saved)

localize6.0ms (0%)

Local error

Found 3 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))
✓	1.9b	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))

series120.0ms (0.7%)

Counts

1 → 24

Calls

6 calls:

45.0ms	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))	w	-inf
43.0ms	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))	w	inf
12.0ms	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))	l	-inf
9.0ms	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))	l	inf
8.0ms	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))	l	0

rewrite34.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

682×	`expm1-log1p-u_binary64`
681×	`log1p-expm1-u_binary64`
250×	`prod-diff_binary64`
131×	`log1p-udef_binary64`
73×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	11
1	146	11
2	1872	11

Stop Event

1×	node limit

Counts

1 → 46

simplify30.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

467×	`fma-def_binary64`
330×	`associate-l_binary64`
264×	`associate-+l+_binary64`
263×	`associate-r_binary64`
227×	`sub-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	62	404
1	201	392
2	695	373
3	3813	373

Stop Event

1×	node limit

Counts

70 → 56

prune76.0ms (0.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	133	5	138

Error

0.0b

Counts

138 → 5

Alt Table

Status	Error	Program
✓	2.0b	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.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))
▶	0.3b	(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))

Compiler

Compiled 2479 to 1021 computations (58.8% saved)

localize6.0ms (0%)

Local error

Found 4 expressions with local error:

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

series245.0ms (1.4%)

Counts

3 → 52

Calls

15 calls:

45.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w)))	w	-inf
45.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w)))	w	inf
44.0ms	(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))	w	-inf
43.0ms	(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))	w	inf
11.0ms	(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))	l	-inf

rewrite47.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

853×	`log1p-expm1-u_binary64`
853×	`expm1-log1p-u_binary64`
128×	`prod-diff_binary64`
101×	`egg-rr`
85×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	29
1	170	29
2	2362	29

Stop Event

1×	node limit

Counts

3 → 101

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

893×	`fma-def_binary64`
549×	`associate-+l+_binary64`
500×	`associate-l_binary64`
391×	`associate-r_binary64`
339×	`associate--l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	928
1	313	897
2	1143	854

Stop Event

1×	node limit

Counts

153 → 130

prune128.0ms (0.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	191	0	191
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	191	5	196

Error

0.0b

Counts

196 → 5

Alt Table

Status	Error	Program
✓	2.0b	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.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))
✓	0.3b	(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))

Compiler

Compiled 3599 to 1285 computations (64.3% saved)

regimes151.0ms (0.9%)

Accuracy

Total 0.2b remaining (61.4%)

Threshold costs 0.2b (61.4%)

Counts

62 → 1

Compiler

Compiled 3014 to 1843 computations (38.9% 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

end74.0ms (0.4%)

Stop Event

1×

fuel

Compiler

Compiled 127 to 76 computations (40.2% saved)

Details

analyze995.0ms (5.6%)

sample14.7s (83%)

preprocess49.0ms (0.3%)

simplify42.0ms (0.2%)

prune2.0ms (0%)

localize4.0ms (0%)

series235.0ms (1.3%)

rewrite33.0ms (0.2%)

simplify39.0ms (0.2%)

prune50.0ms (0.3%)

localize9.0ms (0.1%)

series456.0ms (2.6%)

rewrite41.0ms (0.2%)

simplify34.0ms (0.2%)

prune77.0ms (0.4%)

localize6.0ms (0%)

series120.0ms (0.7%)

rewrite34.0ms (0.2%)

simplify30.0ms (0.2%)

prune76.0ms (0.4%)

localize6.0ms (0%)

series245.0ms (1.4%)

rewrite47.0ms (0.3%)

simplify29.0ms (0.2%)

prune128.0ms (0.7%)

regimes151.0ms (0.9%)

simplify2.0ms (0%)

end74.0ms (0.4%)

Profiling