Details

analyze2.9s (14.2%)

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.3s (45.3%)

Results

3.2s	16297×	body	128	invalid
2.1s	2130×	body	4096	valid
1.7s	1267×	body	8192	valid
1.1s	1340×	body	2048	valid
486.0ms	2462×	body	128	valid
398.0ms	638×	body	1024	valid
132.0ms	276×	body	512	valid
53.0ms	41×	body	2048	invalid
46.0ms	143×	body	256	valid
27.0ms	38×	body	1024	invalid
16.0ms	36×	body	512	invalid
13.0ms	15×	body	4096	invalid
8.0ms	7×	body	8192	exit
6.0ms	20×	body	256	invalid

Compiler

Compiled 176 to 65 computations (63.1% saved)

simplify86.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

393×	`rules-24-rev_binary64`
372×	`fma-neg_binary64`
241×	`rules-4_binary64`
230×	`rules-6_binary64`
206×	`rules-5-rev_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	78
1	151	74
2	675	74
3	4622	74
4	4534	74
5	5067	74

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

56.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	56.9b	(.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)))))
	59.6b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 c0 (/.f64 (.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))) M) (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.f64 D D))) M)))))

Status

Error

Program

▶

56.9b

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

59.6b

(*.f64 (/.f64 c0 (*.f64 2 w)) (fma.f64 c0 (/.f64 (*.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))) M) (fma.f64 c0 (/.f64 (*.f64 d d) (*.f64 (*.f64 w h) (*.f64 D D))) M)))))

Compiler

Compiled 336 to 117 computations (65.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	13.4b	(.f64 (.f64 w h) (*.f64 D D))
✓	13.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))) (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) (*.f64 M M)))))
✓	15.4b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	29.6b	(+.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))))

series941.0ms (4.6%)

Counts

4 → 240

Calls

4 calls:

467.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)))))
274.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))))
178.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
18.0ms	(.f64 (.f64 w h) (*.f64 D D))

rewrite81.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

237×	`add-sqr-sqrt_binary64`
226×	`log1p-expm1-u_binary64`
226×	`expm1-log1p-u_binary64`
221×	`add-cbrt-cube_binary64`
221×	`add-exp-log_binary64`

Counts

4 → 98

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	140
1	545	136
2	4961	136
3	5145	136
0	0	0
1	0	0

simplify158.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

609×	`fma-neg_binary64`
510×	`rules-20_binary64`
467×	`rules-40_binary64`
467×	`rules-41_binary64`
467×	`rules-42_binary64`

Counts

338 → 189

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	256	11103
1	1671	11103
2	4525	11103

prune329.0ms (1.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	281	8	289
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	282	9	291

Error

28.3b

Counts

291 → 9

Alt Table

Status	Error	Program
	58.0b	(log.f64 (pow.f64 (exp.f64 (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.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.6b	(.f64 1/2 (/.f64 (.f64 (sqrt.f64 (neg.f64 (pow.f64 M 2))) c0) w))
	58.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	59.6b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 c0 (/.f64 (.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))) M) (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.f64 D D))) M)))))
▶	34.9b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
	59.1b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	60.1b	(.f64 (/.f64 c0 (.f64 2 w)) (cbrt.f64 (pow.f64 (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.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)))
	43.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))))
	58.0b	(.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 16005 to 5230 computations (67.3% saved)

localize10.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
✓	6.9b	(*.f64 (pow.f64 M 2) h)
✓	12.9b	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
✓	14.2b	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))

series285.0ms (1.4%)

Counts

4 → 72

Calls

4 calls:

135.0ms	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
114.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
28.0ms	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))
8.0ms	(*.f64 (pow.f64 M 2) h)

rewrite101.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

432×	`prod-diff_binary64`
239×	`log1p-udef_binary64`
204×	`egg-rr`
136×	`add-sqr-sqrt_binary64`
133×	`log1p-expm1-u_binary64`

Counts

4 → 204

Calls

4 calls:

97.0ms	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
97.0ms	(*.f64 (pow.f64 M 2) h)
97.0ms	(/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (pow.f64 d 2))
97.0ms	(.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	61
1	334	50
2	3896	50
3	5076	50
0	0	0
1	0	0

simplify79.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

1112×	`rules-42_binary64`
867×	`rules-41_binary64`
867×	`rules-43_binary64`
728×	`fma-neg_binary64`
405×	`rules-40_binary64`

Counts

276 → 209

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	936
1	88	936
2	326	936
3	1480	936
4	3795	936
5	21	936

prune362.0ms (1.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	190	19	209
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	194	24	218

Error

17.8b

Counts

218 → 24

Alt Table

Status	Error	Program
	48.6b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (pow.f64 (*.f64 M (sqrt.f64 h)) 2)) (pow.f64 d 2)))
	59.1b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	42.0b	(.f64 1/4 (expm1.f64 (log1p.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	60.1b	(.f64 (/.f64 c0 (.f64 2 w)) (cbrt.f64 (pow.f64 (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.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)))
	42.2b	(exp.f64 (log.f64 (.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 1/4)))
	43.9b	(.f64 1/4 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3)))
	34.9b	(.f64 1/4 (/.f64 (+.f64 (fma.f64 (cbrt.f64 (.f64 (.f64 M M) h)) (.f64 (.f64 D D) (pow.f64 (cbrt.f64 (.f64 (.f64 M M) h)) 2)) (neg.f64 (.f64 0 (.f64 D D)))) (fma.f64 0 (.f64 D D) (.f64 0 (.f64 D D)))) (pow.f64 d 2)))
	44.1b	(pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 1/4) 3) 1/3)
	41.9b	(.f64 1/4 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2)) 3))
▶	24.5b	(/.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d) d)
	44.7b	(.f64 1/4 (.f64 (.f64 D (.f64 M (sqrt.f64 h))) (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) (*.f64 d d))))
	29.6b	(.f64 1/4 (/.f64 (cbrt.f64 (pow.f64 (.f64 h (pow.f64 (*.f64 D M) 2)) 3)) (pow.f64 d 2)))
	58.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	26.4b	(/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) (.f64 (.f64 d d) 4))
	41.9b	(.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)))
	34.1b	(.f64 1/4 (/.f64 (log.f64 (pow.f64 (exp.f64 h) (pow.f64 (.f64 D M) 2))) (pow.f64 d 2)))
	26.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))) (*.f64 d d))))
	58.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	42.6b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (exp.f64 (log.f64 (.f64 (.f64 M M) h)))) (pow.f64 d 2)))
	59.6b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 c0 (/.f64 (.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))) M) (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.f64 D D))) M)))))
	26.6b	(.f64 1/4 (.f64 h (/.f64 (pow.f64 (.f64 D M) 2) (.f64 d d))))
	41.9b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
	42.2b	(.f64 1/4 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	30.2b	(/.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) (cbrt.f64 (pow.f64 d 4))) (pow.f64 (cbrt.f64 d) 2))

Compiler

Compiled 6261 to 3396 computations (45.8% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (*.f64 D M) 2)
✓	3.6b	(/.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d) d)
✓	4.0b	(.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4))
✓	6.0b	(/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d)

series255.0ms (1.2%)

Counts

4 → 156

Calls

4 calls:

132.0ms	(/.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d) d)
74.0ms	(/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d)
39.0ms	(.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4))
9.0ms	(pow.f64 (*.f64 D M) 2)

rewrite129.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

412×	`prod-diff_binary64`
229×	`expm1-udef_binary64`
229×	`log1p-udef_binary64`
199×	`egg-rr`
128×	`add-sqr-sqrt_binary64`

Counts

4 → 199

Calls

4 calls:

125.0ms	(pow.f64 (*.f64 D M) 2)
89.0ms	(/.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d) d)
89.0ms	(.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4))
89.0ms	(/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	55
1	308	54
2	3704	54
3	5132	54
0	0	0
1	0	0

simplify119.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1077×	`rules-42_binary64`
1074×	`rules-40_binary64`
728×	`rules-41_binary64`
728×	`rules-43_binary64`
520×	`rules-20_binary64`

Counts

355 → 207

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	2964
1	120	2964
2	459	2964
3	2215	2964
4	3671	2964
5	21	2964

prune650.0ms (3.2%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	196	11	207
Fresh	7	16	23
Picked	1	0	1
Done	0	0	0
Total	204	27	231

Error

16.5b

Counts

231 → 27

Alt Table

Status	Error	Program
▶	23.3b	(/.f64 (.f64 h (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d)) d)
	24.5b	(.f64 (/.f64 (.f64 h (.f64 (pow.f64 (.f64 D M) 2) 1/4)) d) (/.f64 1 d))
	24.7b	(/.f64 (/.f64 (.f64 h (.f64 (expm1.f64 (log1p.f64 (pow.f64 (*.f64 D M) 2))) 1/4)) d) d)
	23.5b	(/.f64 (/.f64 (+.f64 (fma.f64 (.f64 (.f64 D M) 1/2) (.f64 (.f64 (.f64 D M) 1/2) h) (neg.f64 (.f64 0 h))) (fma.f64 0 h (*.f64 0 h))) d) d)
	42.2b	(.f64 1/4 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	42.2b	(pow.f64 (/.f64 (.f64 (sqrt.f64 h) (.f64 (*.f64 D M) 1/2)) d) 2)
	42.0b	(.f64 1/4 (expm1.f64 (log1p.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	60.1b	(.f64 (/.f64 c0 (.f64 2 w)) (cbrt.f64 (pow.f64 (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.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)))
	24.6b	(/.f64 (.f64 (cbrt.f64 (/.f64 (.f64 h (.f64 (pow.f64 (.f64 D M) 2) 1/4)) d)) (pow.f64 (cbrt.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d)) 2)) d)
	24.6b	(/.f64 (/.f64 (.f64 h (.f64 (.f64 (cbrt.f64 (.f64 D M)) (.f64 (.f64 D M) (pow.f64 (cbrt.f64 (*.f64 D M)) 2))) 1/4)) d) d)
	28.1b	(/.f64 (pow.f64 (pow.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d) 3) 1/3) d)
	42.2b	(exp.f64 (log.f64 (.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 1/4)))
	43.9b	(.f64 1/4 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3)))
	34.9b	(.f64 1/4 (/.f64 (+.f64 (fma.f64 (cbrt.f64 (.f64 (.f64 M M) h)) (.f64 (.f64 D D) (pow.f64 (cbrt.f64 (.f64 (.f64 M M) h)) 2)) (neg.f64 (.f64 0 (.f64 D D)))) (fma.f64 0 (.f64 D D) (.f64 0 (.f64 D D)))) (pow.f64 d 2)))
	44.1b	(pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 1/4) 3) 1/3)
	41.9b	(.f64 1/4 (pow.f64 (cbrt.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2)) 3))
	44.7b	(.f64 1/4 (.f64 (.f64 D (.f64 M (sqrt.f64 h))) (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) (*.f64 d d))))
	58.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	41.9b	(.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)))
	34.1b	(.f64 1/4 (/.f64 (log.f64 (pow.f64 (exp.f64 h) (pow.f64 (.f64 D M) 2))) (pow.f64 d 2)))
	42.6b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (exp.f64 (log.f64 (.f64 (.f64 M M) h)))) (pow.f64 d 2)))
	58.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	59.6b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 c0 (/.f64 (.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))) M) (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.f64 D D))) M)))))
	44.0b	(/.f64 (/.f64 (pow.f64 (.f64 (sqrt.f64 h) (.f64 (*.f64 D M) 1/2)) 2) d) d)
	23.6b	(/.f64 (.f64 (pow.f64 (.f64 D M) 2) (/.f64 (*.f64 h 1/4) d)) d)
	59.1b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	24.6b	(/.f64 (/.f64 (+.f64 (fma.f64 (cbrt.f64 h) (.f64 (.f64 (pow.f64 (.f64 D M) 2) 1/4) (pow.f64 (cbrt.f64 h) 2)) (neg.f64 (.f64 0 h))) (fma.f64 0 h (*.f64 0 h))) d) d)

Compiler

Compiled 6173 to 3693 computations (40.2% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(pow.f64 (*.f64 D M) 2)
✓	3.6b	(/.f64 (.f64 h (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d)) d)
✓	4.1b	(.f64 h (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d))
✓	5.6b	(/.f64 (.f64 (pow.f64 (.f64 D M) 2) 1/4) d)

series271.0ms (1.3%)

Counts

3 → 132

Calls

3 calls:

141.0ms	(/.f64 (.f64 h (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d)) d)
81.0ms	(.f64 h (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d))
49.0ms	(/.f64 (.f64 (pow.f64 (.f64 D M) 2) 1/4) d)

rewrite89.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

443×	`prod-diff_binary64`
231×	`log1p-udef_binary64`
149×	`egg-rr`
129×	`add-sqr-sqrt_binary64`
125×	`log1p-expm1-u_binary64`

Counts

3 → 149

Calls

3 calls:

86.0ms	(/.f64 (.f64 h (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d)) d)
86.0ms	(.f64 h (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d))
86.0ms	(/.f64 (.f64 (pow.f64 (.f64 D M) 2) 1/4) d)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	309	48
2	3741	48
3	4939	48
0	0	0
1	0	0

simplify108.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1107×	`rules-42_binary64`
1104×	`rules-40_binary64`
746×	`rules-41_binary64`
746×	`rules-43_binary64`
533×	`rules-20_binary64`

Counts

281 → 155

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	2112
1	127	2112
2	487	2112
3	2263	2112
4	3789	2112
5	21	2112

prune697.0ms (3.4%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	200	10	210
Fresh	8	18	26
Picked	1	0	1
Done	0	0	0
Total	209	28	237

Error

15.1b

Counts

237 → 28

Alt Table

Status	Error	Program
	24.6b	(/.f64 (/.f64 (/.f64 (.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) h) (pow.f64 (cbrt.f64 d) 2)) (cbrt.f64 d)) d)
	42.0b	(.f64 (/.f64 (.f64 (.f64 D M) 1/2) (sqrt.f64 (/.f64 d h))) (/.f64 (/.f64 (.f64 (*.f64 D M) 1/2) (sqrt.f64 (/.f64 d h))) d))
	24.7b	(/.f64 (/.f64 (.f64 h (.f64 (expm1.f64 (log1p.f64 (pow.f64 (*.f64 D M) 2))) 1/4)) d) d)
	21.2b	(/.f64 (+.f64 (fma.f64 (.f64 (.f64 D M) 1/2) (/.f64 (.f64 (.f64 D M) 1/2) (/.f64 d h)) (neg.f64 (.f64 0 h))) (fma.f64 0 h (.f64 0 h))) d)
	23.5b	(/.f64 (/.f64 (+.f64 (fma.f64 (.f64 (.f64 D M) 1/2) (.f64 (.f64 (.f64 D M) 1/2) h) (neg.f64 (.f64 0 h))) (fma.f64 0 h (*.f64 0 h))) d) d)
	42.2b	(.f64 1/4 (exp.f64 (log.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	42.2b	(pow.f64 (/.f64 (.f64 (sqrt.f64 h) (.f64 (*.f64 D M) 1/2)) d) 2)
	42.0b	(.f64 1/4 (expm1.f64 (log1p.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))))
	60.1b	(.f64 (/.f64 c0 (.f64 2 w)) (cbrt.f64 (pow.f64 (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.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)))
	43.9b	(.f64 1/4 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 3)))
	28.1b	(/.f64 (pow.f64 (pow.f64 (/.f64 (.f64 h (.f64 (pow.f64 (*.f64 D M) 2) 1/4)) d) 3) 1/3) d)
	34.9b	(.f64 1/4 (/.f64 (+.f64 (fma.f64 (cbrt.f64 (.f64 (.f64 M M) h)) (.f64 (.f64 D D) (pow.f64 (cbrt.f64 (.f64 (.f64 M M) h)) 2)) (neg.f64 (.f64 0 (.f64 D D)))) (fma.f64 0 (.f64 D D) (.f64 0 (.f64 D D)))) (pow.f64 d 2)))
	24.1b	(/.f64 (.f64 h (/.f64 (.f64 (.f64 D (.f64 (*.f64 D M) M)) 1/4) d)) d)
	26.4b	(cbrt.f64 (pow.f64 (/.f64 (.f64 (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d) h) d) 3))
	24.9b	(/.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d) h))) d)
	44.7b	(.f64 1/4 (.f64 (.f64 D (.f64 M (sqrt.f64 h))) (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) (*.f64 d d))))
	58.0b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	23.4b	(/.f64 (+.f64 (fma.f64 (cbrt.f64 h) (.f64 (/.f64 (.f64 (pow.f64 (.f64 D M) 2) 1/4) d) (pow.f64 (cbrt.f64 h) 2)) (neg.f64 (.f64 0 h))) (fma.f64 0 h (*.f64 0 h))) d)
	31.1b	(/.f64 (.f64 h (exp.f64 (log.f64 (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) 1/4) d)))) d)
	42.6b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (exp.f64 (log.f64 (.f64 (.f64 M M) h)))) (pow.f64 d 2)))
	20.7b	(/.f64 (.f64 h (.f64 (.f64 (.f64 D M) 1/2) (/.f64 (.f64 (.f64 D M) 1/2) d))) d)
	58.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))) (pow.f64 (cbrt.f64 (/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (.f64 D D)))) 3)) (*.f64 M M)))))
	59.6b	(.f64 (/.f64 c0 (.f64 2 w)) (fma.f64 c0 (/.f64 (.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))) M) (fma.f64 c0 (/.f64 (.f64 d d) (.f64 (.f64 w h) (.f64 D D))) M)))))
	24.5b	(.f64 (/.f64 (.f64 h (.f64 (pow.f64 (.f64 D M) 2) 1/4)) d) (/.f64 1 d))
	59.1b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	44.1b	(pow.f64 (pow.f64 (.f64 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2) 1/4) 3) 1/3)
	53.1b	(pow.f64 (/.f64 (/.f64 (.f64 (.f64 D M) 1/2) (sqrt.f64 (/.f64 d h))) (sqrt.f64 d)) 2)
	34.1b	(.f64 1/4 (/.f64 (log.f64 (pow.f64 (exp.f64 h) (pow.f64 (.f64 D M) 2))) (pow.f64 d 2)))

Compiler

Compiled 5819 to 3413 computations (41.3% saved)

regimes3.2s (15.4%)

Accuracy

Total 6.0b remaining (29.6%)

Threshold costs 0b (0%)

Counts

236 → 2

Compiler

Compiled 75796 to 49760 computations (34.4% saved)

bsearch12.0ms (0.1%)

Compiler: Compiled 58 to 21 computations (63.8% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	186
1	33	186

end374.0ms (1.8%)

Compiler: Compiled 1045 to 592 computations (43.3% saved)

Details

analyze2.9s (14.2%)

sample9.3s (45.3%)

simplify86.0ms (0.4%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series941.0ms (4.6%)

rewrite81.0ms (0.4%)

simplify158.0ms (0.8%)

prune329.0ms (1.6%)

localize10.0ms (0%)

series285.0ms (1.4%)

rewrite101.0ms (0.5%)

simplify79.0ms (0.4%)

prune362.0ms (1.8%)

localize9.0ms (0%)

series255.0ms (1.2%)

rewrite129.0ms (0.6%)

simplify119.0ms (0.6%)

prune650.0ms (3.2%)

localize9.0ms (0%)

series271.0ms (1.3%)

rewrite89.0ms (0.4%)

simplify108.0ms (0.5%)

prune697.0ms (3.4%)

regimes3.2s (15.4%)

bsearch12.0ms (0.1%)

simplify4.0ms (0%)

end374.0ms (1.8%)

Profiling