Details

analyze1.1s (3.7%)

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
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
12.5%	78%	9.5%	6
20.3%	68.7%	11%	7
21.1%	62.4%	16.5%	8
25.4%	57%	17.7%	9
26%	52.1%	22%	10
28.3%	49%	22.7%	11
28.6%	47.2%	24.2%	12
29.8%	45.6%	24.7%	13
29.9%	43.9%	26.2%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample14.6s (50.5%)

Results

10.7s	4654×	body	8192	exit
1.9s	3258×	body	1024	invalid
1.2s	8256×	body	128	valid
547.0ms	1595×	body	512	invalid
171.0ms	774×	body	256	invalid
83.0ms	591×	body	128	invalid
6.0ms	2×	body	8192	invalid
4.0ms	6×	body	2048	invalid
2.0ms	1×	body	4096	invalid

Compiler

Compiled 32 to 23 computations (28.1% saved)

simplify91.0ms (0.3%)

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

series250.0ms (0.9%)

Counts

2 → 44

Calls

2 calls:

127.0ms	(pow.f64 l (exp.f64 w))
124.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

rewrite10.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:

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

simplify66.0ms (0.2%)

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

prune79.0ms (0.3%)

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
▶	0.3b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
	4.8b	(.f64 (exp.f64 (neg.f64 w)) (exp.f64 (.f64 (log.f64 l) (exp.f64 w))))
	10.4b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 l (fma.f64 (.f64 l (pow.f64 w 3)) (.f64 (log.f64 l) (+.f64 1/6 (log.f64 (sqrt.f64 l)))) (fma.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))) (.f64 l (+.f64 (.f64 (log.f64 l) w) (.f64 (.f64 1/6 (pow.f64 (log.f64 l) 3)) (pow.f64 w 3))))))))
	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))))
	0.4b	(.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))))
	13.4b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 (log.f64 l) (.f64 l w)) (+.f64 l (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2))))))))) (+.f64 (.f64 1/6 (.f64 l (pow.f64 w 3))) (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (*.f64 l w))))

Compiler

Compiled 1871 to 686 computations (63.3% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	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 l (sqrt.f64 (exp.f64 w)))
✓	0.3b	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))

series1.3s (4.4%)

Counts

3 → 64

Calls

3 calls:

580.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
575.0ms	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
123.0ms	(pow.f64 l (sqrt.f64 (exp.f64 w)))

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 87

Calls

3 calls:

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

simplify71.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

625×	`associate-+l+_binary64`
215×	`associate-r_binary64`
213×	`associate--l+_binary64`
204×	`unswap-sqr_binary64`
181×	`times-frac_binary64`

Counts

151 → 143

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	199	2748
1	504	2260
2	1834	2201
3	4949	2201

prune149.0ms (0.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	140	3	143
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	143	6	149

Error

0.1b

Counts

149 → 6

Alt Table

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

Compiler

Compiled 3571 to 1020 computations (71.4% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

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

series4.7s (16.3%)

Counts

4 → 96

Calls

4 calls:

1.8s	(pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w)))
1.7s	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
1.0s	(pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w))))
180.0ms	(pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w))))

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`unpow-prod-down_binary64`
36×	`add-sqr-sqrt_binary64`
26×	`pow-unpow_binary64`
23×	`pow-exp_binary64`
23×	`*-un-lft-identity_binary64`

Counts

4 → 137

Calls

4 calls:

9.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
5.0ms	(pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w)))
3.0ms	(pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w))))
3.0ms	(pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w))))

simplify203.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

334×	`exp-prod_binary64`
328×	`associate-r_binary64`
319×	`unswap-sqr_binary64`
295×	`sqr-pow_binary64`
268×	`associate-l_binary64`

Counts

233 → 243

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	297	7295
1	729	6381
2	2623	5466
3	4210	5456
4	4990	5456
5	4963	5456

prune290.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	240	3	243
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	243	6	249

Error

0.1b

Counts

249 → 6

Alt Table

Status	Error	Program
▶	0.4b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))))
	0.4b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 (pow.f64 l (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (fabs.f64 (cbrt.f64 (exp.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
	4.8b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (exp.f64 (.f64 (log.f64 l) (pow.f64 (pow.f64 (exp.f64 w) 1/6) 3))) (sqrt.f64 (exp.f64 w))))
	0.7b	(.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))) (*.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	7.5b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 (fma.f64 (log.f64 l) (.f64 l w) l) (.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))))))
	13.4b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 (log.f64 l) (.f64 l w)) (+.f64 l (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2))))))))) (+.f64 (.f64 1/6 (.f64 l (pow.f64 w 3))) (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (*.f64 l w))))

Compiler

Compiled 8311 to 2593 computations (68.8% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

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

series5.0s (17.1%)

Counts

2 → 48

Calls

2 calls:

3.0s

(pow.f64 (pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w))))

1.9s

(pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w))))

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

57×	`unpow-prod-down_binary64`
25×	`pow-exp_binary64`
18×	`sqrt-prod_binary64`
18×	`pow-unpow_binary64`
15×	`*-un-lft-identity_binary64`

Counts

2 → 80

Calls

2 calls:

7.0ms

(pow.f64 (pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w))))

4.0ms

(pow.f64 (pow.f64 (pow.f64 l (fabs.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w))))

simplify132.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

902×	`fma-def_binary64`
342×	`associate-+l+_binary64`
330×	`exp-prod_binary64`
317×	`sqr-pow_binary64`
224×	`associate-r_binary64`

Counts

128 → 137

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	231	5621
1	565	5044
2	1757	4495
3	4739	4139
4	5077	4139

prune277.0ms (1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	240	1	241
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	241	6	247

Error

0.1b

Counts

247 → 6

Alt Table

Status	Error	Program
	0.4b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 (pow.f64 l (.f64 (cbrt.f64 (cbrt.f64 (exp.f64 w))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (fabs.f64 (cbrt.f64 (exp.f64 w))))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
	4.8b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (exp.f64 (.f64 (log.f64 l) (pow.f64 (pow.f64 (exp.f64 w) 1/6) 3))) (sqrt.f64 (exp.f64 w))))
	1.5b	(.f64 (exp.f64 (neg.f64 w)) (pow.f64 (pow.f64 (pow.f64 (.f64 (pow.f64 (*.f64 (cbrt.f64 l) (cbrt.f64 l)) (cbrt.f64 (exp.f64 w))) (pow.f64 (cbrt.f64 l) (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (cbrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))))
	0.7b	(.f64 (.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))) (*.f64 (sqrt.f64 (exp.f64 (neg.f64 w))) (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))))
	7.5b	(.f64 (exp.f64 (neg.f64 w)) (+.f64 (fma.f64 (log.f64 l) (.f64 l w) l) (.f64 (.f64 l (.f64 w w)) (.f64 (log.f64 l) (+.f64 1/2 (log.f64 (sqrt.f64 l)))))))
	13.4b	(-.f64 (+.f64 (.f64 1/2 (.f64 l (pow.f64 w 2))) (+.f64 (.f64 1/6 (.f64 (log.f64 l) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 1/6 (.f64 (pow.f64 (log.f64 l) 3) (.f64 l (pow.f64 w 3)))) (+.f64 (.f64 (log.f64 l) (.f64 l w)) (+.f64 l (.f64 1/2 (.f64 (pow.f64 (log.f64 l) 2) (.f64 l (pow.f64 w 2))))))))) (+.f64 (.f64 1/6 (.f64 l (pow.f64 w 3))) (+.f64 (.f64 1/2 (.f64 (log.f64 l) (.f64 l (pow.f64 w 2)))) (*.f64 l w))))

Compiler

Compiled 9243 to 2665 computations (71.2% saved)

regimes432.0ms (1.5%)

Accuracy

Total 0.2b remaining (65%)

Threshold costs 0.2b (65%)

Counts

153 → 1

Compiler

Compiled 10622 to 6424 computations (39.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`*-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	22
1	15	22
2	17	22
3	18	22
4	18	22

end131.0ms (0.5%)

Compiler: Compiled 258 to 148 computations (42.6% saved)

Details

analyze1.1s (3.7%)

sample14.6s (50.5%)

simplify91.0ms (0.3%)

prune3.0ms (0%)

localize6.0ms (0%)

series250.0ms (0.9%)

rewrite10.0ms (0%)

simplify66.0ms (0.2%)

prune79.0ms (0.3%)

localize9.0ms (0%)

series1.3s (4.4%)

rewrite19.0ms (0.1%)

simplify71.0ms (0.2%)

prune149.0ms (0.5%)

localize13.0ms (0%)

series4.7s (16.3%)

rewrite33.0ms (0.1%)

simplify203.0ms (0.7%)

prune290.0ms (1%)

localize13.0ms (0%)

series5.0s (17.1%)

rewrite17.0ms (0.1%)

simplify132.0ms (0.5%)

prune277.0ms (1%)

regimes432.0ms (1.5%)

simplify2.0ms (0%)

end131.0ms (0.5%)

Profiling