Details

analyze1.4s (7.5%)

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)

sample676.0ms (3.6%)

Algorithm

1×

intervals

Results

504.0ms	147×	body	8192	exit
73.0ms	121×	body	1024	nan
25.0ms	256×	body	128	valid
21.0ms	66×	body	512	nan
5.0ms	28×	body	256	nan
1.0ms	9×	body	128	nan
0.0ms	3×	body	128	overflowed
0.0ms	1×	body	128	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify194.0ms (1%)

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 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	37	11
3	79	11
4	198	11
5	633	11
6	2299	11
7	2294	11
8	2404	11
9	2625	11
10	3051	11
11	3670	11
12	4907	11
13	4884	11

prune7.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.4b

Counts

2 → 2

Alt Table

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

Compiler

Compiled 47 to 29 computations (38.3% saved)

localize12.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.4b	(pow.f64 l (exp.f64 w))

rewrite115.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

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 → 44

Calls

2 calls:

14.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
4.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 614 to 148 computations (75.9% saved)

series163.0ms (0.9%)

Error

0.4b

Counts

2 → 18

Calls

2 calls:

76.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
57.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 1054 to 591 computations (43.9% saved)

simplify151.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

514×	`associate-+l+_binary64`
386×	`associate-+r+_binary64`
191×	`associate--l+_binary64`
177×	`distribute-rgt-out_binary64`
176×	`unswap-sqr_binary64`

Counts

62 → 47

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	146	1170
1	359	1060
2	1332	991
3	4640	991
4	4970	991

prune106.0ms (0.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	39	8	47
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	41	8	49

Error

0.1b

Counts

49 → 8

Alt Table

Status	Error	Program
	15.1b	(+.f64 (+.f64 l (+.f64 (.f64 (.f64 l (log.f64 l)) (+.f64 w (.f64 (pow.f64 w 3) 2/3))) (.f64 1/2 (.f64 (.f64 w w) (.f64 l (pow.f64 (log.f64 l) 2)))))) (+.f64 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (.f64 (pow.f64 (log.f64 l) 2) 1/2) (.f64 (pow.f64 (log.f64 l) 3) 1/6))) (-.f64 (.f64 l (-.f64 (.f64 1/2 (.f64 w w)) w)) (+.f64 (.f64 (.f64 l 1/2) (.f64 (log.f64 l) (+.f64 (.f64 w w) (.f64 (log.f64 l) (pow.f64 w 3))))) (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (.f64 (log.f64 l) 1/2) 1/6))))))
	10.5b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (+.f64 (.f64 (.f64 1/2 (.f64 l (.f64 w w))) (+.f64 (pow.f64 (log.f64 l) 2) (log.f64 l))) (.f64 (.f64 l (log.f64 l)) (+.f64 w (.f64 (pow.f64 w 3) 1/6)))) (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (.f64 (pow.f64 (log.f64 l) 2) 1/2) (.f64 (pow.f64 (log.f64 l) 3) 1/6))))))
	1.5b	(.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 l (exp.f64 w))))
	1.5b	(.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.8b	(exp.f64 (-.f64 (log.f64 (pow.f64 l (exp.f64 w))) w))
	1.5b	(.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (exp.f64 w)) (exp.f64 w)) (pow.f64 (cbrt.f64 l) (exp.f64 w)))
▶	0.8b	(.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	4.8b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (exp.f64 w) (log.f64 l))))

Compiler

Compiled 1065 to 476 computations (55.3% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w))))
0.4b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))

rewrite266.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

59×	`add-exp-log_binary64`
43×	`prod-exp_binary64`
29×	`add-sqr-sqrt_binary64`
22×	`unpow-prod-down_binary64`
18×	`sqrt-prod_binary64`

Counts

4 → 128

Calls

4 calls:

38.0ms	(.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
23.0ms	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w))))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 3082 to 427 computations (86.1% saved)

series187.0ms (1%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

54.0ms	(.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
41.0ms	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w))))
34.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
31.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 3042 to 1445 computations (52.5% saved)

simplify218.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

322×	`associate-r_binary64`
306×	`associate--l+_binary64`
299×	`unswap-sqr_binary64`
293×	`associate-l_binary64`
265×	`cancel-sign-sub-inv_binary64`

Counts

164 → 120

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	229	3726
1	535	3196
2	1966	2987
3	4494	2751
4	4763	2751
5	4958	2751

prune86.0ms (0.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	120	8	128

Error

0.1b

Counts

128 → 8

Alt Table

Status	Error	Program
▶	0.8b	(.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	10.5b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (+.f64 (.f64 (.f64 1/2 (.f64 l (.f64 w w))) (+.f64 (pow.f64 (log.f64 l) 2) (log.f64 l))) (.f64 (.f64 l (log.f64 l)) (+.f64 w (.f64 (pow.f64 w 3) 1/6)))) (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (.f64 (pow.f64 (log.f64 l) 2) 1/2) (.f64 (pow.f64 (log.f64 l) 3) 1/6))))))
	15.1b	(+.f64 (+.f64 (+.f64 (.f64 (.f64 w l) (log.f64 l)) (.f64 4/3 (.f64 (pow.f64 w 3) (.f64 l (pow.f64 (log.f64 (sqrt.f64 l)) 3))))) (.f64 (.f64 w (.f64 w l)) (+.f64 1/2 (.f64 (pow.f64 (log.f64 (sqrt.f64 l)) 2) 2)))) (-.f64 (+.f64 l (.f64 1/3 (.f64 (.f64 l (log.f64 (sqrt.f64 l))) (pow.f64 w 3)))) (.f64 l (+.f64 (.f64 (log.f64 (sqrt.f64 l)) (.f64 w w)) (+.f64 w (.f64 (pow.f64 w 3) 1/6))))))
	1.5b	(.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 l (exp.f64 w))))
	1.5b	(.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.8b	(exp.f64 (-.f64 (log.f64 (pow.f64 l (exp.f64 w))) w))
	1.5b	(.f64 (/.f64 (pow.f64 (.f64 (cbrt.f64 l) (cbrt.f64 l)) (exp.f64 w)) (exp.f64 w)) (pow.f64 (cbrt.f64 l) (exp.f64 w)))
	4.8b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (exp.f64 w) (log.f64 l))))

Compiler

Compiled 2057 to 650 computations (68.4% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(cbrt.f64 (exp.f64 (neg.f64 w)))
0.4b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))

rewrite250.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

80×	`add-exp-log_binary64`
63×	`prod-exp_binary64`
44×	`associate-*r/_binary64`
38×	`cbrt-div_binary64`
36×	`sqrt-div_binary64`

Counts

4 → 123

Calls

4 calls:

36.0ms	(.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
5.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))

Compiler

Compiled 4106 to 684 computations (83.3% saved)

series217.0ms (1.2%)

Error

0.1b

Counts

4 → 33

Calls

4 calls:

96.0ms	(.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
35.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
33.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
20.0ms	(cbrt.f64 (exp.f64 (neg.f64 w)))

Compiler

Compiled 3439 to 1764 computations (48.7% saved)

simplify266.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

538×	`associate-l_binary64`
520×	`associate-r_binary64`
430×	`unswap-sqr_binary64`
380×	`times-frac_binary64`
344×	`log-prod_binary64`

Counts

156 → 118

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	286	5202
1	643	3919
2	2346	3703
3	4346	3036
4	4826	2994
5	5002	2994

prune86.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	118	8	126

Error

0.1b

Counts

126 → 8

Alt Table

Status	Error	Program
✓	0.8b	(.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
▶	1.1b	(.f64 (.f64 (.f64 (.f64 (pow.f64 (fabs.f64 (cbrt.f64 l)) (exp.f64 w)) (pow.f64 (sqrt.f64 (cbrt.f64 l)) (exp.f64 w))) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	10.5b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (+.f64 (.f64 (.f64 1/2 (.f64 l (.f64 w w))) (+.f64 (pow.f64 (log.f64 l) 2) (log.f64 l))) (.f64 (.f64 l (log.f64 l)) (+.f64 w (.f64 (pow.f64 w 3) 1/6)))) (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (.f64 (pow.f64 (log.f64 l) 2) 1/2) (.f64 (pow.f64 (log.f64 l) 3) 1/6))))))
	15.1b	(+.f64 (+.f64 (+.f64 (.f64 (.f64 w l) (log.f64 l)) (.f64 4/3 (.f64 (pow.f64 w 3) (.f64 l (pow.f64 (log.f64 (sqrt.f64 l)) 3))))) (.f64 (.f64 w (.f64 w l)) (+.f64 1/2 (.f64 (pow.f64 (log.f64 (sqrt.f64 l)) 2) 2)))) (-.f64 (+.f64 l (.f64 1/3 (.f64 (.f64 l (log.f64 (sqrt.f64 l))) (pow.f64 w 3)))) (.f64 l (+.f64 (.f64 (log.f64 (sqrt.f64 l)) (.f64 w w)) (+.f64 w (.f64 (pow.f64 w 3) 1/6))))))
	1.5b	(.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 l (exp.f64 w))))
	1.5b	(.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.8b	(exp.f64 (-.f64 (log.f64 (pow.f64 l (exp.f64 w))) w))
	4.8b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (exp.f64 w) (log.f64 l))))

Compiler

Compiled 2077 to 716 computations (65.5% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(.f64 (.f64 (.f64 (.f64 (pow.f64 (fabs.f64 (cbrt.f64 l)) (exp.f64 w)) (pow.f64 (sqrt.f64 (cbrt.f64 l)) (exp.f64 w))) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
0.6b	(cbrt.f64 l)
0.6b	(cbrt.f64 l)

rewrite210.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

221×	`add-exp-log_binary64`
204×	`prod-exp_binary64`
44×	`associate-*r/_binary64`
37×	`pow-exp_binary64`
37×	`pow-to-exp_binary64`

Counts

4 → 140

Calls

4 calls:

38.0ms	(.f64 (.f64 (.f64 (.f64 (pow.f64 (fabs.f64 (cbrt.f64 l)) (exp.f64 w)) (pow.f64 (sqrt.f64 (cbrt.f64 l)) (exp.f64 w))) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
3.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
1.0ms	(cbrt.f64 l)
1.0ms	(cbrt.f64 l)

Compiler

Compiled 5195 to 717 computations (86.2% saved)

series539.0ms (2.9%)

Error

0.1b

Counts

4 → 24

Calls

4 calls:

338.0ms	(.f64 (.f64 (.f64 (.f64 (pow.f64 (fabs.f64 (cbrt.f64 l)) (exp.f64 w)) (pow.f64 (sqrt.f64 (cbrt.f64 l)) (exp.f64 w))) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
58.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
21.0ms	(cbrt.f64 l)
18.0ms	(cbrt.f64 l)

Compiler

Compiled 6335 to 3941 computations (37.8% saved)

simplify304.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

718×	`*-commutative_binary64`
370×	`unswap-sqr_binary64`
295×	`associate-+r+_binary64`
288×	`associate--l+_binary64`
231×	`associate-r_binary64`

Counts

164 → 133

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	525	10042
1	1339	8163
2	2964	7504
3	4987	7504
4	4960	7504

prune78.0ms (0.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	134	7	141

Error

0.1b

Counts

141 → 7

Alt Table

Status	Error	Program
	0.8b	(.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	10.5b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (+.f64 (+.f64 (.f64 (.f64 1/2 (.f64 l (.f64 w w))) (+.f64 (pow.f64 (log.f64 l) 2) (log.f64 l))) (.f64 (.f64 l (log.f64 l)) (+.f64 w (.f64 (pow.f64 w 3) 1/6)))) (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (.f64 (pow.f64 (log.f64 l) 2) 1/2) (.f64 (pow.f64 (log.f64 l) 3) 1/6))))))
	15.1b	(+.f64 (+.f64 (+.f64 (.f64 (.f64 w l) (log.f64 l)) (.f64 4/3 (.f64 (pow.f64 w 3) (.f64 l (pow.f64 (log.f64 (sqrt.f64 l)) 3))))) (.f64 (.f64 w (.f64 w l)) (+.f64 1/2 (.f64 (pow.f64 (log.f64 (sqrt.f64 l)) 2) 2)))) (-.f64 (+.f64 l (.f64 1/3 (.f64 (.f64 l (log.f64 (sqrt.f64 l))) (pow.f64 w 3)))) (.f64 l (+.f64 (.f64 (log.f64 (sqrt.f64 l)) (.f64 w w)) (+.f64 w (.f64 (pow.f64 w 3) 1/6))))))
	3.5b	(.f64 (.f64 (.f64 (.f64 (pow.f64 (fabs.f64 (cbrt.f64 l)) (exp.f64 w)) (pow.f64 (sqrt.f64 (cbrt.f64 l)) (exp.f64 w))) (fabs.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 (neg.f64 w))))) (.f64 (.f64 (pow.f64 (cbrt.f64 l) (exp.f64 w)) (pow.f64 (pow.f64 l 1/6) (exp.f64 w))) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	1.5b	(.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.8b	(exp.f64 (-.f64 (log.f64 (pow.f64 l (exp.f64 w))) w))
	4.8b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (exp.f64 w) (log.f64 l))))

Compiler

Compiled 2921 to 1112 computations (61.9% saved)

regimes1.9s (10.3%)

Accuracy

Total 0.2b remaining (68.2%)

Threshold costs 0.2b (68.2%)

Compiler

Compiled 26628 to 14846 computations (44.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	12	13
2	14	13
3	15	13
4	16	13
5	16	13

end1.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% saved)

sample11.2s (59.8%)

Algorithm

1×

intervals

Results

8.1s	4630×	body	8192	exit
1.0s	3251×	body	1024	nan
440.0ms	8000×	body	128	valid
274.0ms	1564×	body	512	nan
81.0ms	758×	body	256	nan
14.0ms	310×	body	128	nan
10.0ms	149×	body	128	overflowed
7.0ms	118×	body	128	invalid
5.0ms	4×	body	2048	nan
1.0ms	1×	body	4096	nan

Compiler

Compiled 274 to 160 computations (41.6% saved)

Details

analyze1.4s (7.5%)

sample676.0ms (3.6%)

simplify194.0ms (1%)

prune7.0ms (0%)

localize12.0ms (0.1%)

rewrite115.0ms (0.6%)

series163.0ms (0.9%)

simplify151.0ms (0.8%)

prune106.0ms (0.6%)

localize21.0ms (0.1%)

rewrite266.0ms (1.4%)

series187.0ms (1%)

simplify218.0ms (1.2%)

prune86.0ms (0.5%)

localize19.0ms (0.1%)

rewrite250.0ms (1.3%)

series217.0ms (1.2%)

simplify266.0ms (1.4%)

prune86.0ms (0.5%)

localize28.0ms (0.1%)

rewrite210.0ms (1.1%)

series539.0ms (2.9%)

simplify304.0ms (1.6%)

prune78.0ms (0.4%)

regimes1.9s (10.3%)

simplify3.0ms (0%)

end1.0ms (0%)

sample11.2s (59.8%)

Profiling