Details

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

sample572.0ms (3.4%)

Algorithm

1×

intervals

Results

404.0ms	164×	body	8192	exit
67.0ms	256×	body	128	valid
49.0ms	136×	body	1024	nan
13.0ms	65×	body	512	nan
4.0ms	29×	body	256	nan
3.0ms	1×	body	8192	nan
1.0ms	8×	body	128	overflowed
0.0ms	7×	body	128	nan
0.0ms	5×	body	128	invalid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify97.0ms (0.6%)

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

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 (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 47 to 29 computations (38.3% saved)

localize6.0ms (0%)

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

rewrite50.0ms (0.3%)

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

Compiler

Compiled 654 to 158 computations (75.8% saved)

series59.0ms (0.4%)

Error

0.3b

Counts

2 → 18

Calls

2 calls:

27.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
22.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 1019 to 578 computations (43.3% saved)

simplify78.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

913×	`fma-def_binary64`
848×	`fma-neg_binary64`
471×	`associate-+l+_binary64`
231×	`associate--l+_binary64`
214×	`cancel-sign-sub-inv_binary64`

Counts

66 → 49

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	135	1122
1	353	993
2	1340	946
3	4609	946
4	5340	946

prune35.0ms (0.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	42	7	49
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	44	7	51

Error

0.1b

Counts

51 → 7

Alt Table

Status	Error	Program
	16.7b	(fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (-.f64 (+.f64 (fma.f64 (log.f64 l) (.f64 l w) l) (.f64 (.f64 l (.f64 w w)) (-.f64 (fma.f64 1/2 (pow.f64 (log.f64 l) 2) 1/2) (log.f64 (sqrt.f64 l))))) (.f64 l (+.f64 w (.f64 1/6 (pow.f64 w 3))))))
	16.9b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	11.6b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (.f64 l (.f64 w w)) (log.f64 (sqrt.f64 l)) l)) (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (.f64 (log.f64 l) (.f64 l w)))))
▶	0.4b	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	0.7b	(.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)))))
	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))))
	2.4b	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))

Compiler

Compiled 890 to 356 computations (60% saved)

localize43.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite147.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

30×	`add-sqr-sqrt_binary64`
22×	`sqrt-pow1_binary64`
20×	`exp-prod_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`

Counts

4 → 108

Calls

4 calls:

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

Compiler

Compiled 1922 to 428 computations (77.7% saved)

series90.0ms (0.5%)

Error

0.1b

Counts

4 → 30

Calls

4 calls:

29.0ms	(*.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w))))
22.0ms	(pow.f64 l (exp.f64 w))
7.0ms	(sqrt.f64 (exp.f64 (neg.f64 w)))
6.0ms	(sqrt.f64 (exp.f64 (neg.f64 w)))

Compiler

Compiled 1701 to 953 computations (44% saved)

simplify98.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

896×	`fma-def_binary64`
468×	`associate-+l+_binary64`
422×	`fma-neg_binary64`
357×	`associate-+r+_binary64`
151×	`associate-r_binary64`

Counts

138 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	177	1904
1	420	1805
2	1388	1755
3	4597	1747
4	4956	1747

prune73.0ms (0.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	68	1	69
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	69	7	76

Error

0.1b

Counts

76 → 7

Alt Table

Status	Error	Program
	16.7b	(fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (-.f64 (+.f64 (fma.f64 (log.f64 l) (.f64 l w) l) (.f64 (.f64 l (.f64 w w)) (-.f64 (fma.f64 1/2 (pow.f64 (log.f64 l) 2) 1/2) (log.f64 (sqrt.f64 l))))) (.f64 l (+.f64 w (.f64 1/6 (pow.f64 w 3))))))
	16.9b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	11.6b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (.f64 l (.f64 w w)) (log.f64 (sqrt.f64 l)) l)) (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (.f64 (log.f64 l) (.f64 l w)))))
✓	0.4b	(.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
▶	0.7b	(.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)))))
	10.3b	(.f64 (fma.f64 w (fma.f64 1/8 w -1/2) (neg.f64 (fma.f64 (pow.f64 w 3) 1/48 -1))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	2.4b	(expm1.f64 (log1p.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))

Compiler

Compiled 1303 to 517 computations (60.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 (neg.f64 w)))
0.3b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.3b	(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)))))

rewrite123.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

54×	`add-exp-log_binary64`
40×	`prod-exp_binary64`
16×	`add-cbrt-cube_binary64`
16×	`pow1_binary64`
15×	`add-sqr-sqrt_binary64`

Counts

4 → 123

Calls

4 calls:

16.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)))))
3.0ms	(sqrt.f64 (exp.f64 (neg.f64 w)))
2.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
2.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 2992 to 466 computations (84.4% saved)

series137.0ms (0.8%)

Error

0.1b

Counts

4 → 33

Calls

4 calls:

52.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
37.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)))))
22.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
6.0ms	(sqrt.f64 (exp.f64 (neg.f64 w)))

Compiler

Compiled 2645 to 1296 computations (51% saved)

simplify120.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

768×	`fma-neg_binary64`
451×	`associate-+l+_binary64`
261×	`associate-r_binary64`
245×	`unswap-sqr_binary64`
231×	`associate-l_binary64`

Counts

156 → 107

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	214	2796
1	491	2351
2	1732	2120
3	4627	2081
4	5274	2081

prune69.0ms (0.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	102	5	107
Fresh	1	4	5
Picked	1	0	1
Done	1	0	1
Total	105	9	114

Error

0.1b

Counts

114 → 9

Alt Table

Status	Error	Program
	4.4b	(.f64 (.f64 (cbrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))) (cbrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w))))) (cbrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))))
	16.7b	(fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (-.f64 (+.f64 (fma.f64 (log.f64 l) (.f64 l w) l) (.f64 (.f64 l (.f64 w w)) (-.f64 (fma.f64 1/2 (pow.f64 (log.f64 l) 2) 1/2) (log.f64 (sqrt.f64 l))))) (.f64 l (+.f64 w (.f64 1/6 (pow.f64 w 3))))))
	11.1b	(.f64 (.f64 (fma.f64 1/6 (.f64 (log.f64 (sqrt.f64 l)) (.f64 (sqrt.f64 l) (pow.f64 w 3))) (+.f64 (fma.f64 (log.f64 (sqrt.f64 l)) (.f64 w (sqrt.f64 l)) (sqrt.f64 l)) (+.f64 (.f64 (.f64 (sqrt.f64 l) (pow.f64 w 3)) (+.f64 (.f64 1/2 (pow.f64 (log.f64 (sqrt.f64 l)) 2)) (.f64 (pow.f64 (log.f64 (sqrt.f64 l)) 3) 1/6))) (.f64 (.f64 w (.f64 w (sqrt.f64 l))) (.f64 (log.f64 (sqrt.f64 l)) (+.f64 (log.f64 (sqrt.f64 (sqrt.f64 l))) 1/2)))))) (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	16.9b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	11.6b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (.f64 l (.f64 w w)) (log.f64 (sqrt.f64 l)) l)) (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (.f64 (log.f64 l) (.f64 l w)))))
▶	3.7b	(.f64 (.f64 (exp.f64 (.f64 (exp.f64 w) (log.f64 (sqrt.f64 l)))) (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	10.3b	(.f64 (fma.f64 w (fma.f64 1/8 w -1/2) (neg.f64 (fma.f64 (pow.f64 w 3) 1/48 -1))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	4.5b	(*.f64 (pow.f64 (exp.f64 (exp.f64 w)) (log.f64 l)) (exp.f64 (neg.f64 w)))
	4.3b	(*.f64 (sqrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))) (sqrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))))

Compiler

Compiled 1840 to 631 computations (65.7% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite109.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

26×	`add-exp-log_binary64`
24×	`log-prod_binary64`
19×	`prod-exp_binary64`
19×	`add-sqr-sqrt_binary64`
18×	`add-cbrt-cube_binary64`

Counts

4 → 118

Calls

4 calls:

17.0ms	(.f64 (.f64 (exp.f64 (.f64 (exp.f64 w) (log.f64 (sqrt.f64 l)))) (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
9.0ms	(*.f64 (exp.f64 w) (log.f64 (sqrt.f64 l)))
4.0ms	(exp.f64 (*.f64 (exp.f64 w) (log.f64 (sqrt.f64 l))))
2.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 3250 to 529 computations (83.7% saved)

series111.0ms (0.7%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

39.0ms	(.f64 (.f64 (exp.f64 (.f64 (exp.f64 w) (log.f64 (sqrt.f64 l)))) (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
20.0ms	(exp.f64 (*.f64 (exp.f64 w) (log.f64 (sqrt.f64 l))))
20.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
15.0ms	(*.f64 (exp.f64 w) (log.f64 (sqrt.f64 l)))

Compiler

Compiled 2946 to 1444 computations (51% saved)

simplify122.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

505×	`fma-neg_binary64`
311×	`associate-r_binary64`
299×	`associate-l_binary64`
273×	`unswap-sqr_binary64`
189×	`distribute-rgt-in_binary64`

Counts

154 → 117

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	3077
1	540	2607
2	1924	2376
3	4626	2376
4	5004	2376

prune299.0ms (1.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	115	2	117
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	116	10	126

Error

0.1b

Counts

126 → 10

Alt Table

Status	Error	Program
	4.4b	(.f64 (.f64 (cbrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))) (cbrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w))))) (cbrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))))
	16.7b	(fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (-.f64 (+.f64 (fma.f64 (log.f64 l) (.f64 l w) l) (.f64 (.f64 l (.f64 w w)) (-.f64 (fma.f64 1/2 (pow.f64 (log.f64 l) 2) 1/2) (log.f64 (sqrt.f64 l))))) (.f64 l (+.f64 w (.f64 1/6 (pow.f64 w 3))))))
	0.9b	(.f64 (.f64 (.f64 (pow.f64 (sqrt.f64 (sqrt.f64 l)) (exp.f64 w)) (pow.f64 (sqrt.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)))))
	14.1b	(.f64 (.f64 (exp.f64 (.f64 (exp.f64 w) (log.f64 (sqrt.f64 l)))) (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (fma.f64 1/6 (.f64 (log.f64 (sqrt.f64 l)) (.f64 (sqrt.f64 l) (pow.f64 w 3))) (+.f64 (+.f64 (fma.f64 (log.f64 (sqrt.f64 l)) (.f64 (sqrt.f64 l) w) (sqrt.f64 l)) (.f64 (.f64 (sqrt.f64 l) (pow.f64 w 3)) (+.f64 (.f64 1/2 (pow.f64 (log.f64 (sqrt.f64 l)) 2)) (.f64 1/6 (pow.f64 (log.f64 (sqrt.f64 l)) 3))))) (.f64 (.f64 (sqrt.f64 l) (.f64 w w)) (*.f64 (log.f64 (sqrt.f64 l)) (+.f64 (log.f64 (sqrt.f64 (sqrt.f64 l))) 1/2))))) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	16.9b	(+.f64 l (.f64 l (-.f64 (.f64 (log.f64 l) w) w)))
	11.6b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 (fma.f64 1/2 (.f64 (.f64 l (pow.f64 (log.f64 l) 2)) (+.f64 (.f64 w w) (pow.f64 w 3))) (fma.f64 (.f64 l (.f64 w w)) (log.f64 (sqrt.f64 l)) l)) (fma.f64 1/6 (.f64 (.f64 l (pow.f64 w 3)) (+.f64 (log.f64 l) (pow.f64 (log.f64 l) 3))) (.f64 (log.f64 l) (.f64 l w)))))
	3.7b	(.f64 (.f64 (exp.f64 (.f64 (exp.f64 w) (log.f64 (sqrt.f64 l)))) (sqrt.f64 (exp.f64 (neg.f64 w)))) (.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	10.3b	(.f64 (fma.f64 w (fma.f64 1/8 w -1/2) (neg.f64 (fma.f64 (pow.f64 w 3) 1/48 -1))) (.f64 (pow.f64 l (exp.f64 w)) (sqrt.f64 (exp.f64 (neg.f64 w)))))
	4.5b	(*.f64 (pow.f64 (exp.f64 (exp.f64 w)) (log.f64 l)) (exp.f64 (neg.f64 w)))
	4.3b	(*.f64 (sqrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))) (sqrt.f64 (exp.f64 (fma.f64 (exp.f64 w) (log.f64 l) (neg.f64 w)))))

Compiler

Compiled 2000 to 544 computations (72.8% saved)

regimes486.0ms (2.9%)

Accuracy

Total 0.2b remaining (72.9%)

Threshold costs 0.2b (72.9%)

Compiler

Compiled 8460 to 4694 computations (44.5% saved)

simplify6.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	10	24
1	16	24
2	18	24
3	19	24
4	19	24

end1.0ms (0%)

Compiler: Compiled 16 to 9 computations (43.8% saved)

sample12.9s (76.5%)

Algorithm

1×

intervals

Results

9.7s	4753×	body	8192	exit
1.2s	3179×	body	1024	nan
526.0ms	8000×	body	128	valid
337.0ms	1627×	body	512	nan
99.0ms	803×	body	256	nan
17.0ms	325×	body	128	nan
13.0ms	165×	body	128	overflowed
8.0ms	3×	body	8192	nan
7.0ms	106×	body	128	invalid
2.0ms	1×	body	4096	nan
1.0ms	1×	body	2048	nan

Compiler

Compiled 375 to 210 computations (44% saved)

Details

analyze1.0s (6%)

sample572.0ms (3.4%)

simplify97.0ms (0.6%)

prune3.0ms (0%)

localize6.0ms (0%)

rewrite50.0ms (0.3%)

series59.0ms (0.4%)

simplify78.0ms (0.5%)

prune35.0ms (0.2%)

localize43.0ms (0.3%)

rewrite147.0ms (0.9%)

series90.0ms (0.5%)

simplify98.0ms (0.6%)

prune73.0ms (0.4%)

localize10.0ms (0.1%)

rewrite123.0ms (0.7%)

series137.0ms (0.8%)

simplify120.0ms (0.7%)

prune69.0ms (0.4%)

localize15.0ms (0.1%)

rewrite109.0ms (0.6%)

series111.0ms (0.7%)

simplify122.0ms (0.7%)

prune299.0ms (1.8%)

regimes486.0ms (2.9%)

simplify6.0ms (0%)

end1.0ms (0%)

sample12.9s (76.5%)

Profiling