Details

analyze1.1s (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
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)

sample486.0ms (2.6%)

Algorithm

1×

intervals

Results

303.0ms	143×	body	8192	exit
37.0ms	103×	body	1024	nan
16.0ms	256×	body	128	valid
16.0ms	68×	body	512	nan
7.0ms	36×	body	256	nan
0.0ms	1×	body	2048	nan
0.0ms	3×	body	128	overflowed
0.0ms	6×	body	128	nan
0.0ms	4×	body	128	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify92.0ms (0.5%)

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

Counts

3 → 2

Alt Table

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

Compiler

Compiled 55 to 32 computations (41.8% 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.4b	(pow.f64 l (exp.f64 w))

series320.0ms (1.7%)

Counts

2 → 40

Calls

2 calls:

175.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
145.0ms	(pow.f64 l (exp.f64 w))

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`times-frac_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-sqr-sqrt_binary64`
20×	`add-cube-cbrt_binary64`
15×	`unpow-prod-down_binary64`

Counts

2 → 66

Calls

2 calls:

4.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
2.0ms	(pow.f64 l (exp.f64 w))

simplify96.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

847×	`fma-def_binary64`
696×	`associate-l_binary64`
359×	`fma-neg_binary64`
322×	`times-frac_binary64`
234×	`associate-/l*_binary64`

Counts

106 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	1790
1	375	1705
2	1326	1665
3	4894	1665
4	5116	1665

prune137.0ms (0.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	85	6	91
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	86	7	93

Error

0.1b

Counts

93 → 7

Alt Table

Status	Error	Program
▶	0.4b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
	4.6b	(/.f64 (exp.f64 (*.f64 (log.f64 l) (exp.f64 w))) (exp.f64 w))
	0.4b	(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
	8.5b	(/.f64 (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.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 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (*.f64 l (pow.f64 w 3)))))))))) (exp.f64 w))
	0.5b	(/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w))
	0.5b	(/.f64 (pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w))) (exp.f64 w))
	14.3b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 l (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2)))) (.f64 (log.f64 l) (.f64 l w))))) (+.f64 (.f64 l w) (.f64 1/2 (.f64 (log.f64 l) (*.f64 l (pow.f64 w 2))))))

Compiler

Compiled 1962 to 720 computations (63.3% 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.4b	(pow.f64 l (exp.f64 w))

series193.0ms (1%)

Counts

1 → 24

Calls

1 calls:

193.0ms

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 29

Calls

1 calls:

6.0ms

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

simplify60.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

758×	`fma-neg_binary64`
508×	`fma-def_binary64`
289×	`associate-+l+_binary64`
247×	`*-commutative_binary64`
245×	`sub-neg_binary64`

Counts

53 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	113	947
1	286	825
2	1023	796
3	3305	796
4	4973	796

prune143.0ms (0.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	84	7	91

Error

0.1b

Counts

91 → 7

Alt Table

Status	Error	Program
	0.4b	(/.f64 (/.f64 (pow.f64 l (exp.f64 w)) (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
	8.5b	(/.f64 (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.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 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (*.f64 l (pow.f64 w 3)))))))))) (exp.f64 w))
	0.5b	(/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w))
	0.5b	(/.f64 (pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w))) (exp.f64 w))
	6.8b	(.f64 (exp.f64 (neg.f64 w)) (+.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))))))
▶	0.4b	(.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))))
	4.6b	(.f64 (exp.f64 (.f64 (log.f64 l) (exp.f64 w))) (exp.f64 (neg.f64 w)))

Compiler

Compiled 1812 to 683 computations (62.3% saved)

localize10.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 (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))))
✓	0.0b	(*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (cbrt.f64 (exp.f64 (neg.f64 w))))
	0.4b	(pow.f64 l (exp.f64 w))

series872.0ms (4.6%)

Counts

3 → 48

Calls

3 calls:

514.0ms

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

206.0ms

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

152.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 l (exp.f64 w))))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

68×	`cbrt-div_binary64`
34×	`associate-*l/_binary64`
34×	`exp-neg_binary64`
34×	`exp-diff_binary64`
34×	`neg-sub0_binary64`

Counts

3 → 117

Calls

3 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 l (exp.f64 w))))

6.0ms

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

2.0ms

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

simplify111.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

637×	`fma-def_binary64`
614×	`fma-neg_binary64`
283×	`unswap-sqr_binary64`
242×	`cancel-sign-sub-inv_binary64`
239×	`associate-r_binary64`

Counts

165 → 175

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	208	2707
1	423	2304
2	1508	2113
3	4375	2105
4	5089	2105

prune509.0ms (2.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	255	3	258
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	258	7	265

Error

0.1b

Counts

265 → 7

Alt Table

Status	Error	Program
▶	0.4b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
	0.5b	(/.f64 (pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w))) (exp.f64 w))
	8.0b	(.f64 (+.f64 1 (fma.f64 w (fma.f64 2/9 w -2/3) (.f64 (pow.f64 w 3) -4/81))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
	8.5b	(/.f64 (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.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 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (*.f64 l (pow.f64 w 3)))))))))) (exp.f64 w))
	6.8b	(.f64 (exp.f64 (neg.f64 w)) (+.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))))))
	0.5b	(.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)))))
	4.6b	(.f64 (exp.f64 (.f64 (log.f64 l) (exp.f64 w))) (exp.f64 (neg.f64 w)))

Compiler

Compiled 6688 to 1722 computations (74.3% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series611.0ms (3.2%)

Counts

3 → 48

Calls

3 calls:

269.0ms

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

186.0ms

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

156.0ms

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

rewrite282.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

1028×	`cbrt-div_binary64`
866×	`sqrt-div_binary64`
704×	`frac-times_binary64`
514×	`exp-neg_binary64`
514×	`exp-diff_binary64`

Counts

3 → 463

Calls

3 calls:

38.0ms

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

19.0ms

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

3.0ms

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

simplify374.0ms (2%)

Algorithm

1×	egg-herbie

Rules

806×	`fma-neg_binary64`
627×	`fma-def_binary64`
572×	`associate-l_binary64`
455×	`associate-r_binary64`
360×	`associate-+l+_binary64`

Counts

511 → 496

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	546	12897
1	496	10942
2	1779	9008
3	4406	9000
4	5062	9000

prune1.1s (5.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	610	2	612
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	612	7	619

Error

0.1b

Counts

619 → 7

Alt Table

Status	Error	Program
	1.5b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))) (cbrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w)))))) (cbrt.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))))
	8.0b	(.f64 (+.f64 1 (fma.f64 w (fma.f64 2/9 w -2/3) (.f64 (pow.f64 w 3) -4/81))) (*.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 l (exp.f64 w))))
	8.5b	(/.f64 (+.f64 l (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 3)))) (+.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 (.f64 (log.f64 l) (.f64 l w)) (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (*.f64 l (pow.f64 w 3)))))))))) (exp.f64 w))
	6.8b	(.f64 (exp.f64 (neg.f64 w)) (+.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))))))
	0.5b	(.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.5b	(.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))) (cbrt.f64 (sqrt.f64 (exp.f64 (neg.f64 w)))))) (.f64 (cbrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 l (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))))
	4.6b	(.f64 (exp.f64 (.f64 (log.f64 l) (exp.f64 w))) (exp.f64 (neg.f64 w)))

Compiler

Compiled 24553 to 6836 computations (72.2% saved)

regimes189.0ms (1%)

Accuracy

Total 0.2b remaining (68.6%)

Threshold costs 0.2b (68.6%)

Counts

65 → 1

Compiler

Compiled 4238 to 2395 computations (43.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-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	11	33
1	17	33
2	19	33
3	20	33
4	20	33

end1.0ms (0%)

Compiler: Compiled 21 to 10 computations (52.4% saved)

sample12.2s (64.4%)

Algorithm

1×

intervals

Results

9.1s	4811×	body	8192	exit
1.1s	3214×	body	1024	nan
504.0ms	8000×	body	128	valid
325.0ms	1653×	body	512	nan
99.0ms	815×	body	256	nan
17.0ms	335×	body	128	nan
11.0ms	140×	body	128	overflowed
9.0ms	135×	body	128	invalid
8.0ms	3×	body	8192	nan
3.0ms	2×	body	4096	nan
3.0ms	5×	body	2048	nan

Compiler

Compiled 359 to 166 computations (53.8% saved)

Details

analyze1.1s (5.6%)

sample486.0ms (2.6%)

simplify92.0ms (0.5%)

prune3.0ms (0%)

localize4.0ms (0%)

series320.0ms (1.7%)

rewrite9.0ms (0%)

simplify96.0ms (0.5%)

prune137.0ms (0.7%)

localize6.0ms (0%)

series193.0ms (1%)

rewrite8.0ms (0%)

simplify60.0ms (0.3%)

prune143.0ms (0.8%)

localize10.0ms (0.1%)

series872.0ms (4.6%)

rewrite34.0ms (0.2%)

simplify111.0ms (0.6%)

prune509.0ms (2.7%)

localize14.0ms (0.1%)

series611.0ms (3.2%)

rewrite282.0ms (1.5%)

simplify374.0ms (2%)

prune1.1s (5.9%)

regimes189.0ms (1%)

simplify3.0ms (0%)

end1.0ms (0%)

sample12.2s (64.4%)

Profiling