Details

analyze2.7s (15.6%)

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)

sample9.4s (54.2%)

Results

3.1s	16357×	body	128	invalid
2.1s	2211×	body	4096	valid
1.9s	1204×	body	8192	valid
1.0s	1320×	body	2048	valid
453.0ms	2396×	body	128	valid
412.0ms	666×	body	1024	valid
136.0ms	308×	body	512	valid
52.0ms	151×	body	256	valid
46.0ms	65×	body	1024	invalid
41.0ms	59×	body	2048	invalid
22.0ms	45×	body	512	invalid
11.0ms	12×	body	4096	invalid
8.0ms	8×	body	8192	exit
7.0ms	19×	body	256	invalid

Compiler

Compiled 176 to 65 computations (63.1% saved)

simplify40.0ms (0.2%)

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`

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

Stop Event

1×	node limit

Counts

1 → 2

prune4.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.5b

Counts

3 → 2

Alt Table

Status	Error	Program
	62.2b	(.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.5b	(.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

62.2b

(*.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.5b

(*.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)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	11.8b	(.f64 (.f64 w h) (*.f64 D D))
✓	12.2b	(.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)))))
✓	16.9b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	28.3b	(+.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))))

series689.0ms (4%)

Counts

4 → 240

Calls

4 calls:

319.0ms	(.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)))))
204.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))))
149.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
16.0ms	(.f64 (.f64 w h) (*.f64 D D))

rewrite44.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

251×	`add-sqr-sqrt_binary64`
240×	`log1p-expm1-u_binary64`
240×	`expm1-log1p-u_binary64`
236×	`add-log-exp_binary64`
235×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	140
1	501	136
2	5088	136

Stop Event

1×	node limit

Counts

4 → 76

Calls

4 calls:

42.0ms	(.f64 (.f64 w h) (*.f64 D D))
42.0ms	(.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)))))
42.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
42.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))))

simplify238.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

774×	`fma-def_binary64`
397×	`associate-r_binary64`
372×	`times-frac_binary64`
273×	`associate-l_binary64`
255×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	256	11102
1	784	11002
2	4145	10930
3	4965	10930
4	4973	10930

Stop Event

1×	node limit

Counts

316 → 168

prune293.0ms (1.7%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	227	13	240
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	229	13	242

Error

27.8b

Counts

242 → 13

Alt Table

Status	Error	Program
	57.9b	(log.f64 (pow.f64 (exp.f64 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (.f64 M M))))) (/.f64 c0 (.f64 w 2))))
	49.0b	(.f64 1/2 (/.f64 (.f64 (sqrt.f64 (neg.f64 (pow.f64 M 2))) c0) w))
	59.7b	(.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	61.2b	(.f64 (/.f64 c0 (.f64 2 w)) (pow.f64 (cbrt.f64 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (*.f64 M M))))) 3))
	58.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	61.2b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (*.f64 M M)))))
▶	32.9b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
	60.1b	(/.f64 (.f64 (.f64 d d) (.f64 c0 c0)) (.f64 (.f64 D D) (.f64 w (*.f64 w h))))
	63.0b	(.f64 1/2 (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 (.f64 c0 c0) (.f64 w (.f64 w h))) (/.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 M M))) c0) w)))
	61.2b	(/.f64 (.f64 c0 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (.f64 M M))))) (*.f64 w 2))
	41.5b	(.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))))
	62.9b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 c0 (.f64 w h)) (sqrt.f64 (neg.f64 (.f64 M M)))))

Compiler

Compiled 13394 to 4854 computations (63.8% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	5.9b	(*.f64 (pow.f64 M 2) h)
✓	12.7b	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
✓	14.7b	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))

series133.0ms (0.8%)

Counts

3 → 40

Calls

3 calls:

100.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
24.0ms	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
9.0ms	(*.f64 (pow.f64 M 2) h)

rewrite57.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

644×	`log-prod_binary64`
208×	`expm1-udef_binary64`
208×	`log1p-udef_binary64`
197×	`log-pow_binary64`
119×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	251	32
2	2898	32
3	5101	32

Stop Event

1×	node limit

Counts

3 → 86

Calls

3 calls:

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

simplify86.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1383×	`associate-/r/_binary64`
563×	`unswap-sqr_binary64`
511×	`times-frac_binary64`
359×	`associate-/l*_binary64`
214×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	544
1	29	544
2	80	544
3	346	544
4	2365	544
5	2719	544
6	3302	544
7	3346	544
8	3458	544
9	3600	544
10	5305	544

Stop Event

1×	node limit

Counts

126 → 92

prune158.0ms (0.9%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	76	16	92
Fresh	5	7	12
Picked	0	1	1
Done	0	0	0
Total	81	24	105

Error

16.5b

Counts

105 → 24

Alt Table

Status	Error	Program
	61.2b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (*.f64 M M)))))
	44.0b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
	27.4b	(.f64 1/4 (.f64 (pow.f64 (cbrt.f64 (.f64 h (pow.f64 (.f64 D M) 2))) 2) (.f64 (cbrt.f64 (.f64 h (pow.f64 (*.f64 D M) 2))) (pow.f64 d -2))))
✓	32.9b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
	32.3b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) (cbrt.f64 (pow.f64 d 4))) (/.f64 h (pow.f64 (cbrt.f64 d) 2))))
	61.2b	(/.f64 (.f64 c0 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (.f64 M M))))) (*.f64 w 2))
	23.8b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 h (pow.f64 (.f64 D M) 2))) 2) d) (/.f64 (cbrt.f64 (.f64 h (pow.f64 (.f64 D M) 2))) d)))
	59.7b	(.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	58.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	34.6b	(.f64 1/4 (/.f64 (pow.f64 (pow.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) 3) 1/3) (pow.f64 d 2)))
	28.6b	(.f64 1/4 (.f64 (pow.f64 (.f64 D M) 2) (.f64 h (pow.f64 d -2))))
	46.4b	(.f64 1/4 (sqrt.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 2)))
	47.2b	(.f64 1/4 (.f64 (.f64 D (.f64 M (sqrt.f64 h))) (.f64 (.f64 D (*.f64 M (sqrt.f64 h))) (pow.f64 d -2))))
	27.1b	(.f64 1/4 (neg.f64 (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) (neg.f64 (.f64 d d)))))
	44.0b	(.f64 1/4 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) 2)))
	47.7b	(.f64 1/4 (pow.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3) 1/3))
	60.1b	(/.f64 (.f64 (.f64 d d) (.f64 c0 c0)) (.f64 (.f64 D D) (.f64 w (*.f64 w h))))
▶	22.6b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) (/.f64 h d)))
	63.0b	(.f64 1/2 (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 (.f64 c0 c0) (.f64 w (.f64 w h))) (/.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 M M))) c0) w)))
	47.2b	(.f64 1/4 (.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) 1) (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) (*.f64 d d))))
	23.7b	(.f64 1/4 (.f64 (/.f64 1 d) (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) d)))
	36.7b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) (cbrt.f64 (pow.f64 d 4))) (/.f64 (.f64 (*.f64 M M) h) (pow.f64 (cbrt.f64 d) 2))))
	30.8b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 (*.f64 M M) h) d)))
	62.9b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 c0 (.f64 w h)) (sqrt.f64 (neg.f64 (.f64 M M)))))

Compiler

Compiled 2992 to 1769 computations (40.9% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (*.f64 D M) 2)
✓	5.0b	(/.f64 (pow.f64 (*.f64 D M) 2) d)
✓	6.5b	(.f64 (/.f64 (pow.f64 (.f64 D M) 2) d) (/.f64 h d))

series139.0ms (0.8%)

Counts

3 → 108

Calls

3 calls:

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

rewrite59.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

637×	`log-prod_binary64`
206×	`expm1-udef_binary64`
206×	`log1p-udef_binary64`
187×	`log-pow_binary64`
144×	`log-div_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	33
1	238	33
2	2979	33
3	5271	33

Stop Event

1×	node limit

Counts

3 → 118

Calls

3 calls:

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

simplify179.0ms (1%)

Algorithm

1×	egg-herbie

Rules

680×	`times-frac_binary64`
488×	`associate-/l*_binary64`
398×	`unswap-sqr_binary64`
395×	`sqr-pow_binary64`
378×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	1620
1	35	1620
2	104	1620
3	465	1620
4	3258	1620
5	3986	1620
6	3958	1620
7	4095	1620
8	4260	1620
9	4429	1620
10	4583	1620
11	4745	1620
12	4987	1620
13	4915	1620

Stop Event

1×	node limit

Counts

226 → 124

prune268.0ms (1.5%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	116	8	124
Fresh	3	19	22
Picked	1	0	1
Done	1	0	1
Total	121	27	148

Error

15.4b

Counts

148 → 27

Alt Table

Status	Error	Program
	61.2b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (*.f64 M M)))))
	44.0b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
▶	20.5b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (.f64 (.f64 D M) (/.f64 1 d))) (/.f64 h d)))
	32.3b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) (cbrt.f64 (pow.f64 d 4))) (/.f64 h (pow.f64 (cbrt.f64 d) 2))))
	31.1b	(.f64 1/4 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 (.f64 D M) 2) d)) (/.f64 h d))))
	61.2b	(/.f64 (.f64 c0 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (.f64 M M))))) (*.f64 w 2))
	23.8b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 h (pow.f64 (.f64 D M) 2))) 2) d) (/.f64 (cbrt.f64 (.f64 h (pow.f64 (.f64 D M) 2))) d)))
	23.7b	(.f64 1/4 (.f64 (/.f64 1 d) (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) d)))
	27.1b	(.f64 1/4 (/.f64 1 (/.f64 (.f64 d d) (.f64 (pow.f64 (.f64 D M) 2) h))))
	30.8b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 (*.f64 M M) h) d)))
	23.4b	(.f64 1/4 (/.f64 h (.f64 (/.f64 d (pow.f64 (*.f64 D M) 2)) d)))
	59.7b	(.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	58.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	34.6b	(.f64 1/4 (/.f64 (pow.f64 (pow.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) 3) 1/3) (pow.f64 d 2)))
	28.6b	(.f64 1/4 (.f64 (pow.f64 (.f64 D M) 2) (.f64 h (pow.f64 d -2))))
	29.5b	(.f64 1/4 (.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) 3) 1/3) (/.f64 h d)))
	22.8b	(.f64 1/4 (/.f64 (/.f64 (pow.f64 (.f64 D M) 2) d) (/.f64 d h)))
	46.4b	(.f64 1/4 (sqrt.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 2)))
	47.2b	(.f64 1/4 (.f64 (.f64 D (.f64 M (sqrt.f64 h))) (.f64 (.f64 D (*.f64 M (sqrt.f64 h))) (pow.f64 d -2))))
	20.7b	(.f64 1/4 (.f64 (.f64 (/.f64 (.f64 D M) (pow.f64 (cbrt.f64 d) 2)) (/.f64 (*.f64 D M) (cbrt.f64 d))) (/.f64 h d)))
	27.9b	(.f64 1/4 (exp.f64 (log.f64 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) (/.f64 h d)))))
	47.7b	(.f64 1/4 (pow.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3) 1/3))
	60.1b	(/.f64 (.f64 (.f64 d d) (.f64 c0 c0)) (.f64 (.f64 D D) (.f64 w (*.f64 w h))))
	63.0b	(.f64 1/2 (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 (.f64 c0 c0) (.f64 w (.f64 w h))) (/.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 M M))) c0) w)))
	36.7b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) (cbrt.f64 (pow.f64 d 4))) (/.f64 (.f64 (*.f64 M M) h) (pow.f64 (cbrt.f64 d) 2))))
	62.9b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 c0 (.f64 w h)) (sqrt.f64 (neg.f64 (.f64 M M)))))
	44.0b	(.f64 1/4 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) 2)))

Compiler

Compiled 3590 to 2052 computations (42.8% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (.f64 D M) (.f64 (.f64 D M) (/.f64 1 d)))
✓	5.1b	(.f64 (.f64 D M) (/.f64 1 d))
✓	6.5b	(.f64 (.f64 (.f64 D M) (.f64 (*.f64 D M) (/.f64 1 d))) (/.f64 h d))

series134.0ms (0.8%)

Counts

3 → 120

Calls

3 calls:

95.0ms	(.f64 (.f64 (.f64 D M) (.f64 (*.f64 D M) (/.f64 1 d))) (/.f64 h d))
27.0ms	(.f64 (.f64 D M) (.f64 (.f64 D M) (/.f64 1 d)))
12.0ms	(.f64 (.f64 D M) (/.f64 1 d))

rewrite59.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

753×	`log-prod_binary64`
219×	`expm1-udef_binary64`
219×	`log1p-udef_binary64`
201×	`log-pow_binary64`
142×	`associate-r_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	39
1	251	30
2	3193	30
3	5618	30

Stop Event

1×	node limit

Counts

3 → 79

Calls

3 calls:

58.0ms	(.f64 (.f64 D M) (.f64 (.f64 D M) (/.f64 1 d)))
58.0ms	(.f64 (.f64 D M) (/.f64 1 d))
58.0ms	(.f64 (.f64 (.f64 D M) (.f64 (*.f64 D M) (/.f64 1 d))) (/.f64 h d))

simplify154.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

714×	`times-frac_binary64`
504×	`associate-/l*_binary64`
458×	`unswap-sqr_binary64`
383×	`associate-l_binary64`
289×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1632
1	40	1632
2	109	1632
3	485	1632
4	3430	1632
5	4293	1632
6	4275	1632
7	4434	1632
8	4615	1632
9	4798	1632
10	4965	1632
11	4952	1632

Stop Event

1×	node limit

Counts

199 → 84

prune184.0ms (1.1%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	76	8	84
Fresh	5	21	26
Picked	1	0	1
Done	0	0	0
Total	82	29	111

Error

14.5b

Counts

111 → 29

Alt Table

Status	Error	Program
	30.7b	(.f64 1/4 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) d) 2))))) (log.f64 (sqrt.f64 (exp.f64 (.f64 h (pow.f64 (/.f64 (*.f64 D M) d) 2)))))))
	31.1b	(.f64 1/4 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 (.f64 D M) 2) d)) (/.f64 h d))))
	60.1b	(/.f64 (.f64 (.f64 d d) (.f64 c0 c0)) (.f64 (.f64 D D) (.f64 w (*.f64 w h))))
	19.3b	(.f64 1/4 (+.f64 0 (.f64 h (pow.f64 (/.f64 (*.f64 D M) d) 2))))
	34.1b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (exp.f64 (log.f64 (/.f64 (*.f64 D M) d)))) (/.f64 h d)))
	23.7b	(.f64 1/4 (.f64 (/.f64 1 d) (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) d)))
	27.1b	(.f64 1/4 (/.f64 1 (/.f64 (.f64 d d) (.f64 (pow.f64 (.f64 D M) 2) h))))
	29.6b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (pow.f64 (pow.f64 (/.f64 (*.f64 D M) d) 3) 1/3)) (/.f64 h d)))
	36.7b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) (cbrt.f64 (pow.f64 d 4))) (/.f64 (.f64 (*.f64 M M) h) (pow.f64 (cbrt.f64 d) 2))))
	21.9b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (/.f64 D (/.f64 d M))) (/.f64 h d)))
	30.8b	(.f64 1/4 (.f64 (/.f64 (.f64 D D) d) (/.f64 (.f64 (*.f64 M M) h) d)))
	23.4b	(.f64 1/4 (/.f64 h (.f64 (/.f64 d (pow.f64 (*.f64 D M) 2)) d)))
	58.9b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	30.7b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (/.f64 (.f64 D M) d))) (cbrt.f64 (exp.f64 (/.f64 (.f64 D M) d))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (.f64 D M) d)))))) (/.f64 h d)))
	59.7b	(.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	34.6b	(.f64 1/4 (/.f64 (pow.f64 (pow.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) 3) 1/3) (pow.f64 d 2)))
	28.6b	(.f64 1/4 (.f64 (pow.f64 (.f64 D M) 2) (.f64 h (pow.f64 d -2))))
	29.5b	(.f64 1/4 (.f64 (pow.f64 (pow.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) 3) 1/3) (/.f64 h d)))
	22.8b	(.f64 1/4 (/.f64 (/.f64 (pow.f64 (.f64 D M) 2) d) (/.f64 d h)))
	27.5b	(.f64 1/4 (exp.f64 (log.f64 (.f64 h (pow.f64 (/.f64 (*.f64 D M) d) 2)))))
	46.4b	(.f64 1/4 (sqrt.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 2)))
	47.2b	(.f64 1/4 (.f64 (.f64 D (.f64 M (sqrt.f64 h))) (.f64 (.f64 D (*.f64 M (sqrt.f64 h))) (pow.f64 d -2))))
	61.2b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (*.f64 M M)))))
	27.2b	(.f64 1/4 (pow.f64 (sqrt.f64 (.f64 h (pow.f64 (/.f64 (*.f64 D M) d) 2))) 2))
	47.7b	(.f64 1/4 (pow.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3) 1/3))
	63.0b	(.f64 1/2 (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 (.f64 c0 c0) (.f64 w (.f64 w h))) (/.f64 (.f64 (sqrt.f64 (neg.f64 (.f64 M M))) c0) w)))
	61.2b	(/.f64 (.f64 c0 (fma.f64 (/.f64 c0 (.f64 w h)) (/.f64 (.f64 d d) (.f64 D D)) (sqrt.f64 (-.f64 (pow.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D))) 2) (.f64 M M))))) (*.f64 w 2))
	62.9b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 (/.f64 (.f64 d d) (.f64 D D)) (/.f64 c0 (.f64 w h)) (sqrt.f64 (neg.f64 (.f64 M M)))))
	44.0b	(.f64 1/4 (.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2)) 2)))

Compiler

Compiled 2256 to 1222 computations (45.8% saved)

regimes1.6s (9.1%)

Accuracy

Total 6.5b remaining (33.2%)

Threshold costs 0b (0%)

Counts

107 → 3

Compiler

Compiled 34818 to 21268 computations (38.9% saved)

bsearch249.0ms (1.4%)

Steps

Iters	Range		Point
7	1.491051447136712e-205	2.5561946334093566e-204	1.8910093042920924e-204
6	-2.6278875960847413e-104	-3.3033919230045133e-105	-4.503538560692449e-105

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`+-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	63
1	32	63
2	32	63

Stop Event

1×

saturated

end445.0ms (2.6%)

Compiler: Compiled 879 to 575 computations (34.6% saved)

Details

analyze2.7s (15.6%)

sample9.4s (54.2%)

simplify40.0ms (0.2%)

prune4.0ms (0%)

localize17.0ms (0.1%)

series689.0ms (4%)

rewrite44.0ms (0.3%)

simplify238.0ms (1.4%)

prune293.0ms (1.7%)

localize9.0ms (0.1%)

series133.0ms (0.8%)

rewrite57.0ms (0.3%)

simplify86.0ms (0.5%)

prune158.0ms (0.9%)

localize10.0ms (0.1%)

series139.0ms (0.8%)

rewrite59.0ms (0.3%)

simplify179.0ms (1%)

prune268.0ms (1.5%)

localize10.0ms (0.1%)

series134.0ms (0.8%)

rewrite59.0ms (0.3%)

simplify154.0ms (0.9%)

prune184.0ms (1.1%)

regimes1.6s (9.1%)

bsearch249.0ms (1.4%)

simplify3.0ms (0%)

end445.0ms (2.6%)

Profiling