Details

analyze949.0ms (4.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
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)

sample431.0ms (1.9%)

Algorithm

1×

intervals

Results

324.0ms	155×	body	8192	exit
34.0ms	88×	body	1024	nan
20.0ms	56×	body	512	nan
17.0ms	256×	body	128	valid
3.0ms	23×	body	256	nan
1.0ms	5×	body	128	overflowed
0.0ms	8×	body	128	nan
0.0ms	5×	body	128	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

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

series321.0ms (1.4%)

Counts

2 → 44

Calls

2 calls:

162.0ms	(pow.f64 l (exp.f64 w))
160.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

rewrite11.0ms (0%)

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:

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

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

prune250.0ms (1.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	79	6	85
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	81	6	87

Error

0.1b

Counts

87 → 6

Alt Table

Status	Error	Program
	1.3b	(.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.1b	(-.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (.f64 l w) l)) (.f64 (.f64 l (.f64 w w)) (+.f64 (.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (.f64 (pow.f64 w 3) 1/6) (.f64 l (+.f64 w (.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
	0.7b	(.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (sqrt.f64 l) (exp.f64 w))) (*.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (sqrt.f64 l) (exp.f64 w))))
	0.4b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
	14.0b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) 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 l (exp.f64 w))))

Compiler

Compiled 1773 to 604 computations (65.9% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

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

series1.2s (5.4%)

Counts

3 → 48

Calls

3 calls:

636.0ms	(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))
301.0ms	(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))
282.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary64`
25×	`cbrt-prod_binary64`
16×	`*-un-lft-identity_binary64`
16×	`cbrt-div_binary64`
16×	`add-cube-cbrt_binary64`

Counts

3 → 100

Calls

3 calls:

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

simplify126.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

665×	`fma-def_binary64`
579×	`fma-neg_binary64`
390×	`associate-+l+_binary64`
382×	`*-commutative_binary64`
294×	`associate-+r+_binary64`

Counts

148 → 179

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	196	2438
1	445	2241
2	1438	2092
3	4118	2018
4	4999	2018
5	4961	2018

prune366.0ms (1.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	274	2	276
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	276	6	282

Error

0.1b

Counts

282 → 6

Alt Table

Status	Error	Program
	1.3b	(.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))))
	0.3b	(.f64 (cbrt.f64 (pow.f64 (exp.f64 w) -2)) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
▶	0.3b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (cbrt.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 l (exp.f64 w))))
	14.1b	(-.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (.f64 l w) l)) (.f64 (.f64 l (.f64 w w)) (+.f64 (.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (.f64 (pow.f64 w 3) 1/6) (.f64 l (+.f64 w (.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
	0.4b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
	14.0b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)

Compiler

Compiled 7300 to 1920 computations (73.7% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series536.0ms (2.4%)

Counts

2 → 24

Calls

2 calls:

268.0ms

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

268.0ms

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

rewrite586.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Rules

4880×	`cbrt-div_binary64`
2192×	`frac-times_binary64`
1464×	`exp-neg_binary64`
1464×	`exp-diff_binary64`
1464×	`neg-sub0_binary64`

Counts

2 → 783

Calls

2 calls:

32.0ms

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

6.0ms

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

simplify1.1s (4.7%)

Algorithm

1×	egg-herbie

Rules

1138×	`associate-l_binary64`
861×	`*-commutative_binary64`
739×	`fma-neg_binary64`
651×	`log-prod_binary64`
519×	`cancel-sign-sub-inv_binary64`

Counts

807 → 826

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	917	29712
1	226	28034
2	544	23268
3	1545	12706
4	2912	12625
5	3961	12625
6	4811	12625
7	5005	12625

prune2.6s (11.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	1165	2	1167
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	1167	6	1173

Error

0.1b

Counts

1173 → 6

Alt Table

Status	Error	Program
	14.0b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)
▶	0.3b	(.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1))) (cbrt.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)))) (cbrt.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)))) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
	0.3b	(.f64 (cbrt.f64 (pow.f64 (exp.f64 w) -2)) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
	14.1b	(-.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (.f64 l w) l)) (.f64 (.f64 l (.f64 w w)) (+.f64 (.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (.f64 (pow.f64 w 3) 1/6) (.f64 l (+.f64 w (.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
	0.3b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (.f64 (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (pow.f64 l (exp.f64 w))))
	0.4b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))

Compiler

Compiled 59711 to 17501 computations (70.7% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series763.0ms (3.3%)

Counts

3 → 36

Calls

3 calls:

331.0ms

(/.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))))

252.0ms

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

179.0ms

(cbrt.f64 (exp.f64 w))

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-exp-log_binary64`
19×	`cbrt-unprod_binary64`
19×	`prod-exp_binary64`
15×	`add-cbrt-cube_binary64`
12×	`add-sqr-sqrt_binary64`

Counts

3 → 82

Calls

3 calls:

16.0ms

(/.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (cbrt.f64 (*.f64 (cbrt.f64 1) (cbrt.f64 1)))) (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))))

5.0ms

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

1.0ms

(cbrt.f64 (exp.f64 w))

simplify121.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

729×	`fma-neg_binary64`
417×	`fma-def_binary64`
343×	`times-frac_binary64`
277×	`*-commutative_binary64`
239×	`cube-prod_binary64`

Counts

118 → 136

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	126	2342
1	242	1816
2	718	1529
3	2187	1151
4	3618	1056
5	4908	1056
6	5128	1056

prune680.0ms (3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	284	1	285
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	285	6	291

Error

0.1b

Counts

291 → 6

Alt Table

Status	Error	Program
	0.3b	(.f64 (cbrt.f64 (pow.f64 (exp.f64 w) -2)) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
	1.3b	(.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1))) (cbrt.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)))) (cbrt.f64 (.f64 (cbrt.f64 1) (cbrt.f64 1)))) (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (exp.f64 w)) (pow.f64 (cbrt.f64 l) (exp.f64 w)))))
	14.1b	(-.f64 (+.f64 (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (fma.f64 (log.f64 l) (.f64 l w) l)) (.f64 (.f64 l (.f64 w w)) (+.f64 (.f64 1/2 (pow.f64 (log.f64 l) 2)) 1/2))) (fma.f64 l (.f64 (pow.f64 w 3) 1/6) (.f64 l (+.f64 w (.f64 (log.f64 (sqrt.f64 l)) (*.f64 w w))))))
	0.3b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (cbrt.f64 (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))))) (.f64 (cbrt.f64 (.f64 (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (exp.f64 (neg.f64 w))))) (pow.f64 l (exp.f64 w))))
	0.4b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
	14.0b	(fma.f64 w (-.f64 (*.f64 l (log.f64 l)) l) l)

Compiler

Compiled 17538 to 7891 computations (55% saved)

regimes233.0ms (1%)

Accuracy

Total 0.2b remaining (70.6%)

Threshold costs 0.2b (70.6%)

Counts

69 → 1

Compiler

Compiled 6441 to 3659 computations (43.2% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-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	22	174
1	31	174
2	33	174
3	34	174
4	31	174

end1.0ms (0%)

Compiler: Compiled 101 to 25 computations (75.2% saved)

sample12.2s (53.7%)

Algorithm

1×

intervals

Results

9.2s	4809×	body	8192	exit
1.2s	3224×	body	1024	nan
518.0ms	8000×	body	128	valid
333.0ms	1614×	body	512	nan
96.0ms	795×	body	256	nan
17.0ms	321×	body	128	nan
15.0ms	171×	body	128	overflowed
9.0ms	129×	body	128	invalid
3.0ms	5×	body	2048	nan
3.0ms	1×	body	8192	nan
2.0ms	1×	body	4096	nan

Compiler

Compiled 339 to 151 computations (55.5% saved)

Details

analyze949.0ms (4.2%)

sample431.0ms (1.9%)

simplify101.0ms (0.4%)

prune3.0ms (0%)

localize6.0ms (0%)

series321.0ms (1.4%)

rewrite11.0ms (0%)

simplify74.0ms (0.3%)

prune250.0ms (1.1%)

localize10.0ms (0%)

series1.2s (5.4%)

rewrite22.0ms (0.1%)

simplify126.0ms (0.6%)

prune366.0ms (1.6%)

localize14.0ms (0.1%)

series536.0ms (2.4%)

rewrite586.0ms (2.6%)

simplify1.1s (4.7%)

prune2.6s (11.4%)

localize22.0ms (0.1%)

series763.0ms (3.3%)

rewrite32.0ms (0.1%)

simplify121.0ms (0.5%)

prune680.0ms (3%)

regimes233.0ms (1%)

simplify6.0ms (0%)

end1.0ms (0%)

sample12.2s (53.7%)

Profiling