Details

analyze4.2s (17.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	98.1%	1.9%	13
0%	98.1%	1.9%	14

Compiler

Compiled 59 to 22 computations (62.7% saved)

sample470.0ms (2%)

Algorithm

1×

intervals

Results

130.0ms	67×	body	4096	valid
78.0ms	385×	body	128	nan
66.0ms	41×	body	8192	valid
41.0ms	41×	body	2048	valid
28.0ms	137×	body	128	invalid
23.0ms	24×	body	1024	valid
15.0ms	73×	body	128	valid
5.0ms	8×	body	512	valid
3.0ms	3×	body	512	invalid
2.0ms	2×	body	1024	invalid
1.0ms	1×	body	2048	invalid
1.0ms	2×	body	256	valid

Compiler

Compiled 123 to 49 computations (60.2% saved)

simplify67.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

599×	`times-frac_binary64`
518×	`distribute-neg-frac_binary64`
416×	`fma-def_binary64`
304×	`associate-/l*_binary64`
217×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	78
1	64	74
2	296	74
3	3103	67
4	4218	67
5	5365	67

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

59.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	60.7b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 d d) (/.f64 c0 (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))))
▶	59.4b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))

Status

Error

Program

60.7b

(*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 (*.f64 d d) (/.f64 c0 (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 c0 (*.f64 w h)) (*.f64 (*.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (*.f64 w h)))) (*.f64 M M)))))

▶

59.4b

(*.f64 (/.f64 c0 (*.f64 2 w)) (+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M)))))

Compiler

Compiled 321 to 130 computations (59.5% saved)

localize42.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	14.8b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
	14.8b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	14.8b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	29.0b	(+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))

rewrite112.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

71×	`add-cbrt-cube_binary64`
71×	`add-exp-log_binary64`
39×	`cbrt-unprod_binary64`
39×	`prod-exp_binary64`
15×	`cbrt-undiv_binary64`

Counts

2 → 66

Calls

2 calls:

79.0ms

(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

21.0ms

(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))

series1.0s (4.3%)

Counts

2 → 132

Calls

2 calls:

522.0ms

(+.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (sqrt.f64 (-.f64 (*.f64 (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D))) (/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))) (*.f64 M M))))

485.0ms

(/.f64 (*.f64 c0 (*.f64 d d)) (*.f64 (*.f64 w h) (*.f64 D D)))

simplify311.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

755×	`times-frac_binary64`
423×	`associate-r_binary64`
416×	`associate-l_binary64`
381×	`fma-neg_binary64`
312×	`associate-/l*_binary64`

Counts

198 → 385

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	301	8443
1	852	7827
2	4872	7827
3	5187	7827

prune477.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	997	9	1006
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	998	10	1008

Error

34.9b

Counts

1008 → 10

Alt Table

Status	Error	Program
	60.7b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 d d) (/.f64 c0 (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))))
	62.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (neg.f64 (.f64 M M)))))
	62.5b	(.f64 (/.f64 c0 (.f64 2 w)) (/.f64 (+.f64 (.f64 (.f64 c0 (.f64 d d)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3) (pow.f64 (.f64 M M) 3))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))))))
	63.3b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (exp.f64 (-.f64 (log.f64 (.f64 c0 (.f64 d d))) (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (log.f64 (.f64 D D))))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
	41.3b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) (.f64 w h))) (.f64 (.f64 d d) c0))))
▶	39.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
	60.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	52.0b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))
	61.1b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (exp.f64 (log.f64 (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 w h)))))) (*.f64 M M)))))
	59.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))

Compiler

Compiled 17595 to 3763 computations (78.6% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	8.5b	(*.f64 (pow.f64 d 2) c0)
✓	11.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
✓	12.5b	(.f64 (pow.f64 D 2) (.f64 w (*.f64 h (pow.f64 M 2))))
✓	13.1b	(/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (pow.f64 d 2) c0))

rewrite95.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

1737×	`add-exp-log_binary64`
1266×	`prod-exp_binary64`
388×	`div-exp_binary64`
236×	`add-cbrt-cube_binary64`
201×	`pow-exp_binary64`

Counts

4 → 404

Calls

4 calls:

19.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
10.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (pow.f64 d 2) c0))
9.0ms	(.f64 (pow.f64 D 2) (.f64 w (*.f64 h (pow.f64 M 2))))
4.0ms	(*.f64 (pow.f64 d 2) c0)

series851.0ms (3.7%)

Counts

4 → 144

Calls

4 calls:

391.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (pow.f64 d 2) c0))
307.0ms	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (*.f64 (pow.f64 d 2) c0))))
128.0ms	(.f64 (pow.f64 D 2) (.f64 w (*.f64 h (pow.f64 M 2))))
24.0ms	(*.f64 (pow.f64 d 2) c0)

simplify378.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

680×	`associate-/l/_binary64`
596×	`times-frac_binary64`
518×	`associate-r_binary64`
429×	`associate-l_binary64`
313×	`associate-*r/_binary64`

Counts

548 → 1085

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	398	18958
1	752	15353
2	3292	15353
3	5065	15353

prune763.0ms (3.3%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	1075	10	1085
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	1076	19	1095

Error

27.3b

Counts

1095 → 19

Alt Table

Status	Error	Program
	62.1b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 D) 2) (log.f64 (.f64 w (.f64 h (pow.f64 M 2))))) (+.f64 (*.f64 (log.f64 d) 2) (log.f64 c0))))))
	60.7b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 d d) (/.f64 c0 (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))))
	62.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (neg.f64 (.f64 M M)))))
	63.9b	(exp.f64 (+.f64 (-.f64 (log.f64 c0) (log.f64 (.f64 2 w))) (+.f64 (log.f64 1/2) (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (+.f64 (log.f64 h) (log.f64 (pow.f64 M 2))))) (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0))))))
▶	33.0b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
	36.1b	(log.f64 (pow.f64 (exp.f64 (/.f64 (.f64 (.f64 D D) (.f64 w (.f64 (.f64 M M) h))) (.f64 (.f64 d d) c0))) (.f64 (/.f64 c0 w) 1/4)))
	60.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	38.1b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 D (.f64 D (.f64 w (.f64 h (pow.f64 M 2))))) (.f64 (pow.f64 d 2) c0))))
	52.0b	(.f64 (/.f64 c0 (.f64 2 w)) (sqrt.f64 (neg.f64 (pow.f64 M 2))))
	61.1b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (exp.f64 (log.f64 (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 w h)))))) (*.f64 M M)))))
	60.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (-.f64 (log.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2))))) (+.f64 (*.f64 (log.f64 d) 2) (log.f64 c0))))))
	39.2b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (pow.f64 D 2) (.f64 w (.f64 h (pow.f64 M 2)))) (.f64 (pow.f64 (.f64 (cbrt.f64 d) (cbrt.f64 d)) 2) (*.f64 (pow.f64 (cbrt.f64 d) 2) c0)))))
	63.3b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (exp.f64 (-.f64 (log.f64 (.f64 c0 (.f64 d d))) (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (log.f64 (.f64 D D))))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
	62.5b	(.f64 (/.f64 c0 (.f64 2 w)) (/.f64 (+.f64 (.f64 (.f64 c0 (.f64 d d)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3) (pow.f64 (.f64 M M) 3))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))))))
	41.3b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) (.f64 w h))) (.f64 (.f64 d d) c0))))
	64.0b	(exp.f64 (+.f64 (-.f64 (log.f64 c0) (+.f64 (log.f64 2) (log.f64 w))) (+.f64 (log.f64 1/2) (-.f64 (+.f64 (.f64 (log.f64 D) 2) (+.f64 (log.f64 w) (+.f64 (log.f64 h) (.f64 (log.f64 M) 2)))) (+.f64 (*.f64 (log.f64 d) 2) (log.f64 c0))))))
	61.1b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (exp.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (+.f64 (log.f64 h) (.f64 (log.f64 M) 2))))) (*.f64 (pow.f64 d 2) c0))))
	61.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (log.f64 (.f64 w (.f64 h (pow.f64 M 2))))) (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0))))))
	59.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))

Compiler

Compiled 13657 to 8114 computations (40.6% saved)

localize10.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	5.5b	(*.f64 (pow.f64 M 2) h)
✓	12.8b	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
✓	15.5b	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))

rewrite25.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

141×	`add-exp-log_binary64`
87×	`prod-exp_binary64`
42×	`pow-exp_binary64`
42×	`pow-to-exp_binary64`
39×	`div-exp_binary64`

Counts

3 → 133

Calls

3 calls:

7.0ms	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
7.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
4.0ms	(*.f64 (pow.f64 M 2) h)

series267.0ms (1.1%)

Counts

3 → 40

Calls

3 calls:

164.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
79.0ms	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
23.0ms	(*.f64 (pow.f64 M 2) h)

simplify139.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

468×	`associate-*l/_binary64`
391×	`associate-/l/_binary64`
373×	`*-commutative_binary64`
370×	`associate-*r/_binary64`
310×	`fma-def_binary64`

Counts

173 → 338

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	164	3095
1	332	2730
2	1361	2677
3	4128	2571
4	4913	2571
5	5086	2571

prune391.0ms (1.7%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	322	16	338
Fresh	5	13	18
Picked	1	0	1
Done	0	0	0
Total	328	29	357

Error

19.1b

Counts

357 → 29

Alt Table

Status	Error	Program
	60.7b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 d d) (/.f64 c0 (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))))
	30.6b	(.f64 1/4 (/.f64 (.f64 D (.f64 D (.f64 (pow.f64 M 2) h))) (pow.f64 d 2)))
	62.1b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 D) 2) (log.f64 (.f64 w (.f64 h (pow.f64 M 2))))) (+.f64 (*.f64 (log.f64 d) 2) (log.f64 c0))))))
	32.3b	(.f64 1/4 (.f64 (.f64 D D) (/.f64 (.f64 h (.f64 M M)) (.f64 d d))))
	62.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (neg.f64 (.f64 M M)))))
	41.3b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) (.f64 w h))) (.f64 (.f64 d d) c0))))
▶	30.5b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 h (*.f64 M M)) d)))
	36.1b	(log.f64 (pow.f64 (exp.f64 (/.f64 (.f64 (.f64 D D) (.f64 w (.f64 (.f64 M M) h))) (.f64 (.f64 d d) c0))) (.f64 (/.f64 c0 w) 1/4)))
	60.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	31.1b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) (.f64 d (cbrt.f64 d))) (/.f64 (.f64 h (.f64 M M)) (pow.f64 (cbrt.f64 d) 2))))
	31.0b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (.f64 M (.f64 M h))) (pow.f64 d 2)))
	51.5b	(.f64 1/4 (/.f64 (exp.f64 (fma.f64 2 (log.f64 (.f64 D M)) (log.f64 h))) (pow.f64 d 2)))
	38.1b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (/.f64 (.f64 D (.f64 D (.f64 w (.f64 h (pow.f64 M 2))))) (.f64 (pow.f64 d 2) c0))))
	32.1b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 (.f64 (cbrt.f64 M) (cbrt.f64 M)) 2) (*.f64 (pow.f64 (cbrt.f64 M) 2) h))) (pow.f64 d 2)))
	59.7b	(.f64 1/4 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (.f64 (log.f64 M) 2) (log.f64 h))) (*.f64 (log.f64 d) 2))))
	61.1b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (exp.f64 (log.f64 (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 w h)))))) (*.f64 M M)))))
	33.0b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 M 2) h)) (cbrt.f64 (.f64 (pow.f64 M 2) h))) (cbrt.f64 (*.f64 (pow.f64 M 2) h)))) (pow.f64 d 2)))
	51.1b	(.f64 1/4 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 D) 2) (log.f64 (*.f64 (pow.f64 M 2) h))) (log.f64 (pow.f64 d 2)))))
	62.5b	(.f64 (/.f64 c0 (.f64 2 w)) (/.f64 (+.f64 (.f64 (.f64 c0 (.f64 d d)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3) (pow.f64 (.f64 M M) 3))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))))))
	31.2b	(.f64 1/4 (/.f64 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) d) d))
	63.3b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (exp.f64 (-.f64 (log.f64 (.f64 c0 (.f64 d d))) (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (log.f64 (.f64 D D))))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
	32.4b	(.f64 1/4 (/.f64 (.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) h) (pow.f64 d 2)))
	59.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	32.3b	(.f64 1/4 (/.f64 (pow.f64 D 2) (/.f64 (pow.f64 d 2) (.f64 (pow.f64 M 2) h))))
	63.9b	(exp.f64 (+.f64 (-.f64 (log.f64 c0) (log.f64 (.f64 2 w))) (+.f64 (log.f64 1/2) (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (+.f64 (log.f64 h) (log.f64 (pow.f64 M 2))))) (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0))))))
	34.8b	(.f64 1/4 (cbrt.f64 (.f64 (.f64 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2)) (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))) (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))))
	61.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (log.f64 (.f64 w (.f64 h (pow.f64 M 2))))) (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0))))))
	57.8b	(.f64 1/4 (exp.f64 (fma.f64 2 (log.f64 (.f64 D M)) (fma.f64 (log.f64 d) -2 (log.f64 h)))))
	61.3b	(.f64 1/4 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 D) 2) (+.f64 (.f64 (log.f64 M) 2) (log.f64 h))) (.f64 (log.f64 d) 2))))

Compiler

Compiled 5695 to 3339 computations (41.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.3b	(/.f64 (.f64 h (.f64 M M)) d)
✓	5.5b	(.f64 h (.f64 M M))
✓	5.9b	(/.f64 (*.f64 D D) d)
✓	9.2b	(.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 h (.f64 M M)) d))

rewrite33.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

77×	`add-cbrt-cube_binary64`
77×	`add-exp-log_binary64`
32×	`cbrt-unprod_binary64`
32×	`prod-exp_binary64`
22×	`cbrt-undiv_binary64`

Counts

4 → 123

Calls

4 calls:

10.0ms	(.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 h (.f64 M M)) d))
6.0ms	(/.f64 (.f64 h (.f64 M M)) d)
5.0ms	(.f64 h (.f64 M M))
4.0ms	(/.f64 (*.f64 D D) d)

series281.0ms (1.2%)

Counts

4 → 132

Calls

4 calls:

166.0ms	(.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 h (.f64 M M)) d))
60.0ms	(/.f64 (.f64 h (.f64 M M)) d)
31.0ms	(/.f64 (*.f64 D D) d)
23.0ms	(.f64 h (.f64 M M))

simplify159.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

637×	`associate-/r*_binary64`
534×	`associate-/r/_binary64`
461×	`*-commutative_binary64`
309×	`log-div_binary64`
218×	`log-prod_binary64`

Counts

255 → 460

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	170	4137
1	400	3453
2	1576	3453
3	4069	3451
4	4865	3451
5	5026	3451

prune335.0ms (1.4%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	450	10	460
Fresh	11	17	28
Picked	1	0	1
Done	0	0	0
Total	462	27	489

Error

16.6b

Counts

489 → 27

Alt Table

Status	Error	Program
	26.9b	(.f64 1/4 (.f64 (/.f64 D (.f64 (cbrt.f64 d) (cbrt.f64 d))) (.f64 (/.f64 D (cbrt.f64 d)) (/.f64 (.f64 h (.f64 M M)) d))))
	62.1b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 D) 2) (log.f64 (.f64 w (.f64 h (pow.f64 M 2))))) (+.f64 (*.f64 (log.f64 d) 2) (log.f64 c0))))))
	60.7b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 d d) (/.f64 c0 (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 c0 (.f64 w h)) (.f64 (.f64 (/.f64 d D) (pow.f64 (/.f64 d D) 3)) (/.f64 c0 (.f64 w h)))) (.f64 M M)))))
	30.6b	(.f64 1/4 (/.f64 (.f64 D (.f64 D (.f64 (pow.f64 M 2) h))) (pow.f64 d 2)))
	27.9b	(.f64 1/4 (.f64 (/.f64 D (/.f64 d D)) (/.f64 (.f64 h (.f64 M M)) d)))
	62.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (neg.f64 (.f64 M M)))))
	36.1b	(log.f64 (pow.f64 (exp.f64 (/.f64 (.f64 (.f64 D D) (.f64 w (.f64 (.f64 M M) h))) (.f64 (.f64 d d) c0))) (.f64 (/.f64 c0 w) 1/4)))
	60.4b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))
	31.1b	(.f64 1/4 (.f64 (.f64 (/.f64 (.f64 D D) d) (.f64 h (.f64 M M))) (/.f64 1 d)))
	31.0b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (.f64 M (.f64 M h))) (pow.f64 d 2)))
	51.5b	(.f64 1/4 (/.f64 (exp.f64 (fma.f64 2 (log.f64 (.f64 D M)) (log.f64 h))) (pow.f64 d 2)))
	48.1b	(.f64 1/4 (.f64 (/.f64 (.f64 (.f64 D D) h) (pow.f64 d 3/2)) (/.f64 (*.f64 M M) (sqrt.f64 d))))
	59.7b	(.f64 1/4 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (.f64 (log.f64 M) 2) (log.f64 h))) (*.f64 (log.f64 d) 2))))
	61.1b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (exp.f64 (log.f64 (/.f64 (.f64 (.f64 d d) c0) (.f64 (.f64 D D) (.f64 w h)))))) (*.f64 M M)))))
	33.3b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (cbrt.f64 (pow.f64 (/.f64 (.f64 h (*.f64 M M)) d) 3))))
	47.8b	(.f64 1/4 (.f64 (.f64 (/.f64 (.f64 D D) d) (/.f64 h (sqrt.f64 d))) (/.f64 (*.f64 M M) (sqrt.f64 d))))
	27.3b	(.f64 1/4 (.f64 (/.f64 D 1) (.f64 (/.f64 D d) (/.f64 (.f64 h (*.f64 M M)) d))))
	62.5b	(.f64 (/.f64 c0 (.f64 2 w)) (/.f64 (+.f64 (.f64 (.f64 c0 (.f64 d d)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 M M)))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3) (pow.f64 (.f64 M M) 3))))) (.f64 (.f64 (.f64 w h) (.f64 D D)) (sqrt.f64 (+.f64 (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))))) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M))))))))
	38.7b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (exp.f64 (log.f64 (/.f64 (.f64 h (*.f64 M M)) d)))))
	63.3b	(.f64 (/.f64 c0 (.f64 2 w)) (+.f64 (exp.f64 (-.f64 (log.f64 (.f64 c0 (.f64 d d))) (+.f64 (+.f64 (log.f64 w) (log.f64 h)) (log.f64 (.f64 D D))))) (sqrt.f64 (-.f64 (.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
	27.8b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 (*.f64 h M) M) d)))
	57.8b	(.f64 1/4 (exp.f64 (fma.f64 2 (log.f64 (.f64 D M)) (fma.f64 (log.f64 d) -2 (log.f64 h)))))
	63.9b	(exp.f64 (+.f64 (-.f64 (log.f64 c0) (log.f64 (.f64 2 w))) (+.f64 (log.f64 1/2) (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (+.f64 (log.f64 w) (+.f64 (log.f64 h) (log.f64 (pow.f64 M 2))))) (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0))))))
	29.6b	(.f64 1/4 (.f64 (.f64 h (/.f64 (.f64 D D) d)) (/.f64 (*.f64 M M) d)))
	61.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 1/2 (exp.f64 (-.f64 (+.f64 (log.f64 (pow.f64 D 2)) (log.f64 (.f64 w (.f64 h (pow.f64 M 2))))) (+.f64 (.f64 (log.f64 d) 2) (log.f64 c0))))))
	61.3b	(.f64 1/4 (exp.f64 (-.f64 (+.f64 (.f64 (log.f64 D) 2) (+.f64 (.f64 (log.f64 M) 2) (log.f64 h))) (.f64 (log.f64 d) 2))))
	59.8b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))

Compiler

Compiled 4570 to 1368 computations (70.1% saved)

regimes2.5s (10.9%)

Accuracy

Total 7.5b remaining (28.4%)

Threshold costs 0b (0%)

Compiler

Compiled 57143 to 36977 computations (35.3% saved)

bsearch282.0ms (1.2%)

Steps

Iters	Range		Point
6	2.796947087059183e+137	1.373705519298006e+138	1.3600844849868204e+138
7	-1.4463398469229775e+171	-2.211016799973333e+169	-2.2465886711858938e+169

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	91
1	48	91
2	48	91

end1.0ms (0%)

Compiler: Compiled 66 to 44 computations (33.3% saved)

sample10.0s (43%)

Algorithm

1×

intervals

Results

1.9s	2120×	body	4096	valid
1.8s	11815×	body	128	nan
1.3s	1150×	body	8192	valid
940.0ms	1302×	body	2048	valid
632.0ms	3956×	body	128	invalid
368.0ms	652×	body	1024	valid
357.0ms	2353×	body	128	valid
115.0ms	267×	body	512	valid
48.0ms	67×	body	1024	invalid
46.0ms	60×	body	2048	invalid
44.0ms	156×	body	256	valid
16.0ms	44×	body	512	invalid
9.0ms	10×	body	4096	invalid
8.0ms	7×	body	8192	exit
6.0ms	19×	body	256	invalid

Compiler

Compiled 1227 to 625 computations (49.1% saved)

Details

analyze4.2s (17.9%)

sample470.0ms (2%)

simplify67.0ms (0.3%)

prune10.0ms (0%)

localize42.0ms (0.2%)

rewrite112.0ms (0.5%)

series1.0s (4.3%)

simplify311.0ms (1.3%)

prune477.0ms (2.1%)

localize18.0ms (0.1%)

rewrite95.0ms (0.4%)

series851.0ms (3.7%)

simplify378.0ms (1.6%)

prune763.0ms (3.3%)

localize10.0ms (0%)

rewrite25.0ms (0.1%)

series267.0ms (1.1%)

simplify139.0ms (0.6%)

prune391.0ms (1.7%)

localize14.0ms (0.1%)

rewrite33.0ms (0.1%)

series281.0ms (1.2%)

simplify159.0ms (0.7%)

prune335.0ms (1.4%)

regimes2.5s (10.9%)

bsearch282.0ms (1.2%)

simplify4.0ms (0%)

end1.0ms (0%)

sample10.0s (43%)

Profiling