Details

analyze1.0s (4.8%)

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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample481.0ms (2.3%)

Algorithm

1×

intervals

Results

304.0ms	142×	body	8192	exit
37.0ms	98×	body	1024	nan
19.0ms	256×	body	128	valid
13.0ms	55×	body	512	nan
3.0ms	24×	body	256	nan
1.0ms	11×	body	128	nan
0.0ms	5×	body	128	invalid
0.0ms	3×	body	128	overflowed

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify89.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

656×	`unswap-sqr_binary64`
607×	`times-frac_binary64`
540×	`sqr-pow_binary64`
391×	`pow-sqr_binary64`
205×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	37	11
3	79	11
4	200	11
5	635	11
6	2301	11
7	2298	11
8	2410	11
9	2637	11
10	3067	11
11	3698	11
12	4907	11
13	4890	11

prune3.0ms (0%)

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

Counts

3 → 2

Alt Table

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

Compiler

Compiled 55 to 32 computations (41.8% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

series397.0ms (1.9%)

Counts

2 → 44

Calls

2 calls:

230.0ms	(pow.f64 l (exp.f64 w))
167.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64`
7×	`associate-r_binary64`
7×	`*-un-lft-identity_binary64`
7×	`unpow-prod-down_binary64`
7×	`add-cube-cbrt_binary64`

Counts

2 → 48

Calls

2 calls:

8.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
2.0ms	(pow.f64 l (exp.f64 w))

simplify69.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-def_binary64`
739×	`fma-neg_binary64`
459×	`associate-+l+_binary64`
213×	`associate--l+_binary64`
162×	`cancel-sign-sub-inv_binary64`

Counts

92 → 85

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	134	1391
1	348	1242
2	1307	1192
3	4511	1192
4	5132	1192

prune80.0ms (0.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	77	8	85
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	79	8	87

Error

0.2b

Counts

87 → 8

Alt Table

Status	Error	Program
	1.4b	(.f64 (.f64 (exp.f64 (neg.f64 w)) (*.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) (cbrt.f64 (pow.f64 l (exp.f64 w))))) (cbrt.f64 (pow.f64 l (exp.f64 w))))
	4.6b	(*.f64 (exp.f64 (neg.f64 w)) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))))
	9.5b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
▶	0.3b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
	0.7b	(*.f64 (sqrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (sqrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	1.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	4.6b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))
	15.4b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)

Compiler

Compiled 1753 to 594 computations (66.1% saved)

localize8.0ms (0%)

Local error

Found 4 expressions with local error:

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

series2.1s (9.8%)

Counts

4 → 68

Calls

4 calls:

1.1s	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
842.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
152.0ms	(pow.f64 l (sqrt.f64 (exp.f64 w)))
4.0ms	(sqrt.f64 (exp.f64 w))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`unpow-prod-down_binary64`
26×	`add-sqr-sqrt_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`
12×	`pow-unpow_binary64`

Counts

4 → 105

Calls

4 calls:

8.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
3.0ms	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
2.0ms	(pow.f64 l (sqrt.f64 (exp.f64 w)))
2.0ms	(sqrt.f64 (exp.f64 w))

simplify102.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

720×	`fma-neg_binary64`
219×	`associate-r_binary64`
213×	`associate--l+_binary64`
204×	`unswap-sqr_binary64`
181×	`times-frac_binary64`

Counts

173 → 169

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	218	2917
1	535	2425
2	1911	2364
3	4284	2364
4	4978	2364

prune201.0ms (1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	190	5	195
Fresh	3	4	7
Picked	1	0	1
Done	0	0	0
Total	194	9	203

Error

0.1b

Counts

203 → 9

Alt Table

Status	Error	Program
	4.6b	(*.f64 (exp.f64 (neg.f64 w)) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))))
	9.5b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
▶	0.3b	(.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	1.4b	(.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
	14.9b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	4.6b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))
	0.3b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (expm1.f64 (log1p.f64 (sqrt.f64 (exp.f64 w))))))
	0.6b	(*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	1.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) (cbrt.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

Compiler

Compiled 4441 to 1288 computations (71% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.1s (5.1%)

Counts

2 → 36

Calls

2 calls:

814.0ms

(*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

255.0ms

(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))

rewrite33.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`cbrt-div_binary64`
40×	`add-exp-log_binary64`
34×	`associate-*l/_binary64`
33×	`exp-neg_binary64`
33×	`exp-diff_binary64`

Counts

2 → 106

Calls

2 calls:

13.0ms

(*.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

6.0ms

(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))

simplify102.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

757×	`fma-neg_binary64`
595×	`fma-def_binary64`
302×	`unswap-sqr_binary64`
228×	`associate-r_binary64`
224×	`associate--l+_binary64`

Counts

142 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	201	3084
1	399	2586
2	1430	1925
3	4356	1921
4	4988	1921

prune297.0ms (1.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	224	2	226
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	226	9	235

Error

0.1b

Counts

235 → 9

Alt Table

Status	Error	Program
	4.6b	(*.f64 (exp.f64 (neg.f64 w)) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))))
	9.5b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
	1.4b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))))
	14.9b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
▶	0.3b	(.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	4.6b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))
	0.3b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (expm1.f64 (log1p.f64 (sqrt.f64 (exp.f64 w))))))
	0.6b	(*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	1.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) (cbrt.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

Compiler

Compiled 7232 to 1620 computations (77.6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.1s (5.4%)

Counts

2 → 36

Calls

2 calls:

834.0ms

(*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

296.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))

rewrite228.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

1314×	`cbrt-div_binary64`
572×	`frac-times_binary64`
411×	`exp-neg_binary64`
411×	`exp-diff_binary64`
411×	`neg-sub0_binary64`

Counts

2 → 344

Calls

2 calls:

34.0ms

(*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

8.0ms

(*.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))

simplify322.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

693×	`associate-l_binary64`
586×	`times-frac_binary64`
580×	`fma-def_binary64`
551×	`associate-r_binary64`
300×	`log-prod_binary64`

Counts

380 → 398

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	556	15603
1	532	12299
2	1805	8387
3	4544	8383
4	4947	8383

prune936.0ms (4.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	472	2	474
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	473	10	483

Error

0.1b

Counts

483 → 10

Alt Table

Status	Error	Program
	4.6b	(*.f64 (exp.f64 (neg.f64 w)) (exp.f64 (log.f64 (pow.f64 l (exp.f64 w)))))
	9.5b	(.f64 (exp.f64 (neg.f64 w)) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (fma.f64 (log.f64 l) (*.f64 l w) l)))
	0.7b	(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))) (sqrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))))
	0.3b	(.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))))) (.f64 (cbrt.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
✓	0.3b	(.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	14.9b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	4.6b	(exp.f64 (+.f64 (neg.f64 w) (log.f64 (pow.f64 l (exp.f64 w)))))
	0.3b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (expm1.f64 (log1p.f64 (sqrt.f64 (exp.f64 w))))))
	0.6b	(*.f64 (/.f64 (sqrt.f64 (pow.f64 l (exp.f64 w))) (exp.f64 w)) (sqrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	1.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (pow.f64 l (exp.f64 w))) (cbrt.f64 (pow.f64 l (exp.f64 w)))) (exp.f64 w)) (cbrt.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))

Compiler

Compiled 21691 to 5323 computations (75.5% saved)

regimes262.0ms (1.2%)

Accuracy

Total 0.2b remaining (73%)

Threshold costs 0.2b (73%)

Counts

86 → 1

Compiler

Compiled 6672 to 3131 computations (53.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	94
1	28	94
2	30	94
3	31	94
4	31	94

end1.0ms (0%)

Compiler: Compiled 54 to 18 computations (66.7% saved)

sample12.1s (57.5%)

Algorithm

1×

intervals

Results

9.1s	4687×	body	8192	exit
1.2s	3151×	body	1024	nan
535.0ms	8000×	body	128	valid
332.0ms	1622×	body	512	nan
99.0ms	812×	body	256	nan
17.0ms	317×	body	128	nan
12.0ms	133×	body	128	overflowed
8.0ms	121×	body	128	invalid
3.0ms	2×	body	4096	nan
3.0ms	5×	body	2048	nan
3.0ms	1×	body	8192	nan

Compiler

Compiled 366 to 152 computations (58.5% saved)

Details

analyze1.0s (4.8%)

sample481.0ms (2.3%)

simplify89.0ms (0.4%)

prune3.0ms (0%)

localize6.0ms (0%)

series397.0ms (1.9%)

rewrite12.0ms (0.1%)

simplify69.0ms (0.3%)

prune80.0ms (0.4%)

localize8.0ms (0%)

series2.1s (9.8%)

rewrite22.0ms (0.1%)

simplify102.0ms (0.5%)

prune201.0ms (1%)

localize12.0ms (0.1%)

series1.1s (5.1%)

rewrite33.0ms (0.2%)

simplify102.0ms (0.5%)

prune297.0ms (1.4%)

localize16.0ms (0.1%)

series1.1s (5.4%)

rewrite228.0ms (1.1%)

simplify322.0ms (1.5%)

prune936.0ms (4.4%)

regimes262.0ms (1.2%)

simplify4.0ms (0%)

end1.0ms (0%)

sample12.1s (57.5%)

Profiling