Details

analyze2.9s (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)

sample10.0s (54%)

Results

3.4s	16727×	body	128	invalid
2.4s	2173×	body	4096	valid
1.5s	1203×	body	8192	valid
1.2s	1325×	body	2048	valid
518.0ms	2446×	body	128	valid
490.0ms	633×	body	1024	valid
159.0ms	313×	body	512	valid
64.0ms	163×	body	256	valid
50.0ms	64×	body	2048	invalid
41.0ms	57×	body	1024	invalid
17.0ms	13×	body	4096	invalid
13.0ms	26×	body	512	invalid
9.0ms	27×	body	256	invalid
8.0ms	7×	body	8192	exit

Compiler

Compiled 176 to 65 computations (63.1% saved)

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

60.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	60.8b	(.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.8b

(*.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 174 to 63 computations (63.8% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	13.3b	(.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.0b	(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)))
✓	19.8b	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
✓	25.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))))

series1.1s (6.1%)

Counts

4 → 276

Calls

4 calls:

396.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)))))
355.0ms	(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)))
221.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)))

rewrite55.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`

Counts

4 → 82

Calls

4 calls:

51.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)))))
51.0ms	(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)))
51.0ms	(/.f64 (.f64 c0 (.f64 d d)) (.f64 (.f64 w h) (*.f64 D D)))
51.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: 1 (0.0ms)

Iter	Nodes	Cost
0	22	160
1	501	156
2	5088	156

prune533.0ms (2.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	506	8	514
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	507	8	515

Error

30.5b

Counts

515 → 8

Alt Table

Status	Error	Program
	62.3b	(/.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.4b	(.f64 (/.f64 c0 (.f64 2 w)) (pow.f64 (sqrt.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))))) 2))
▶	35.2b	(.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 (pow.f64 M 2) h)) (pow.f64 d 2)))
	61.8b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	49.8b	(.f64 1/2 (/.f64 (.f64 (sqrt.f64 (neg.f64 (pow.f64 M 2))) c0) w))
	41.7b	(.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))))
	61.5b	(.f64 (/.f64 c0 (.f64 2 w)) (.f64 2 (/.f64 (.f64 (pow.f64 d 2) c0) (.f64 (pow.f64 D 2) (.f64 w h)))))
	59.3b	(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))))

Compiler

Compiled 27824 to 12201 computations (56.1% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series141.0ms (0.8%)

Counts

3 → 40

Calls

3 calls:

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

rewrite67.0ms (0.4%)

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`

Counts

3 → 86

Calls

3 calls:

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

Iterations

Useful iterations: 1 (0.0ms)

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

prune190.0ms (1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	113	13	126
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	118	16	134

Error

16.4b

Counts

134 → 16

Alt Table

Status	Error	Program
	22.5b	(.f64 1/4 (pow.f64 (.f64 (/.f64 d (pow.f64 (*.f64 D M) 2)) (/.f64 d h)) -1))
	36.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)))
	40.9b	(.f64 1/4 (.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) 1) (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) (*.f64 d d))))
	35.4b	(.f64 1/4 (.f64 (.f64 D D) (/.f64 1 (/.f64 (.f64 d d) (.f64 (.f64 M M) h)))))
	33.6b	(.f64 1/4 (/.f64 (exp.f64 (log.f64 (.f64 h (pow.f64 (*.f64 D M) 2)))) (pow.f64 d 2)))
	23.5b	(.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)))
	32.8b	(.f64 1/4 (.f64 (/.f64 1 (cbrt.f64 (pow.f64 d 4))) (/.f64 (.f64 h (pow.f64 (.f64 D M) 2)) (pow.f64 (cbrt.f64 d) 2))))
	46.5b	(.f64 1/4 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2))) (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2))))))
	62.3b	(/.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.4b	(.f64 (/.f64 c0 (.f64 2 w)) (pow.f64 (sqrt.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))))) 2))
	45.4b	(.f64 1/4 (exp.f64 (.f64 2 (log.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d)))))
	27.8b	(.f64 1/4 (.f64 (.f64 (pow.f64 (.f64 D M) 2) (neg.f64 h)) (/.f64 1 (neg.f64 (*.f64 d d)))))
	61.8b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	36.8b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
	36.5b	(.f64 1/4 (.f64 (.f64 (.f64 M M) h) (.f64 (.f64 D D) (pow.f64 d -2))))
▶	22.1b	(.f64 1/4 (.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d) (/.f64 h d)))

Compiler

Compiled 3079 to 1897 computations (38.4% saved)

localize9.0ms (0%)

Local error

Found 3 expressions with local error:

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

series141.0ms (0.8%)

Counts

3 → 108

Calls

3 calls:

103.0ms	(.f64 (/.f64 (pow.f64 (.f64 D M) 2) d) (/.f64 h d))
29.0ms	(/.f64 (pow.f64 (*.f64 D M) 2) d)
8.0ms	(pow.f64 (*.f64 D M) 2)

rewrite68.0ms (0.4%)

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`

Counts

3 → 118

Calls

3 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

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

prune395.0ms (2.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	216	10	226
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	221	21	242

Error

15.5b

Counts

242 → 21

Alt Table

Status	Error	Program
	31.2b	(.f64 1/4 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 (.f64 D M) 2) d)) (/.f64 h d))))
	22.2b	(.f64 1/4 (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) (/.f64 h d)) d))
	62.3b	(/.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))
	27.0b	(.f64 1/4 (/.f64 1 (/.f64 (.f64 d d) (.f64 (pow.f64 (.f64 D M) 2) h))))
	45.4b	(.f64 1/4 (exp.f64 (.f64 2 (log.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d)))))
	19.9b	(.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)))
	24.0b	(.f64 1/4 (.f64 (/.f64 (.f64 D (.f64 M (*.f64 D M))) d) (/.f64 h d)))
	22.3b	(.f64 1/4 (/.f64 (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) (/.f64 h d)) (pow.f64 (cbrt.f64 d) 2)) (cbrt.f64 d)))
	61.8b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	34.2b	(.f64 1/4 (.f64 (/.f64 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 D M) 2))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 D M) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 D M) 2))))) d) (/.f64 h d)))
	22.1b	(.f64 1/4 (/.f64 (/.f64 h d) (/.f64 d (pow.f64 (.f64 D M) 2))))
	36.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)))
	36.8b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
	29.8b	(.f64 1/4 (.f64 (exp.f64 (log.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d))) (/.f64 h d)))
	33.6b	(.f64 1/4 (/.f64 (exp.f64 (log.f64 (.f64 h (pow.f64 (*.f64 D M) 2)))) (pow.f64 d 2)))
	23.5b	(.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)))
	62.4b	(.f64 (/.f64 c0 (.f64 2 w)) (pow.f64 (sqrt.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))))) 2))
	36.5b	(.f64 1/4 (.f64 (.f64 (.f64 M M) h) (.f64 (.f64 D D) (pow.f64 d -2))))
▶	19.8b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (.f64 (.f64 D M) (/.f64 1 d))) (/.f64 h d)))
	35.4b	(.f64 1/4 (.f64 (.f64 D D) (/.f64 1 (/.f64 (.f64 d d) (.f64 (.f64 M M) h)))))
	46.5b	(.f64 1/4 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2))) (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d) 2))))))

Compiler

Compiled 4804 to 2879 computations (40.1% 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)))
✓	7.0b	(.f64 (.f64 (.f64 D M) (.f64 (*.f64 D M) (/.f64 1 d))) (/.f64 h d))
✓	7.6b	(.f64 (.f64 D M) (/.f64 1 d))

series160.0ms (0.9%)

Counts

3 → 120

Calls

3 calls:

118.0ms	(.f64 (.f64 (.f64 D M) (.f64 (*.f64 D M) (/.f64 1 d))) (/.f64 h d))
29.0ms	(.f64 (.f64 D M) (.f64 (.f64 D M) (/.f64 1 d)))
12.0ms	(.f64 (.f64 D M) (/.f64 1 d))

rewrite70.0ms (0.4%)

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`

Counts

3 → 79

Calls

3 calls:

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

Iterations

Useful iterations: 1 (0.0ms)

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

prune318.0ms (1.7%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	192	7	199
Fresh	4	16	20
Picked	1	0	1
Done	0	0	0
Total	197	23	220

Error

14.3b

Counts

220 → 23

Alt Table

Status	Error	Program
	30.8b	(.f64 1/4 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) d) 2)))) (cbrt.f64 (exp.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) d) 2)))))) (log.f64 (cbrt.f64 (exp.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) d) 2)))))))
	31.2b	(.f64 1/4 (log.f64 (pow.f64 (exp.f64 (/.f64 (pow.f64 (.f64 D M) 2) d)) (/.f64 h d))))
	22.2b	(.f64 1/4 (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) (/.f64 h d)) d))
	62.3b	(/.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))
	18.8b	(.f64 1/4 (+.f64 0 (.f64 h (pow.f64 (/.f64 (*.f64 D M) d) 2))))
	62.4b	(.f64 (/.f64 c0 (.f64 2 w)) (pow.f64 (sqrt.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))))) 2))
	24.0b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (cbrt.f64 (pow.f64 (/.f64 (*.f64 D M) d) 3))) (/.f64 h d)))
	27.0b	(.f64 1/4 (/.f64 1 (/.f64 (.f64 d d) (.f64 (pow.f64 (.f64 D M) 2) h))))
	45.4b	(.f64 1/4 (exp.f64 (.f64 2 (log.f64 (/.f64 (.f64 D (.f64 M (sqrt.f64 h))) d)))))
	22.3b	(.f64 1/4 (/.f64 (/.f64 (.f64 (pow.f64 (*.f64 D M) 2) (/.f64 h d)) (pow.f64 (cbrt.f64 d) 2)) (cbrt.f64 d)))
	61.8b	(/.f64 (.f64 (pow.f64 d 2) (pow.f64 c0 2)) (.f64 (pow.f64 D 2) (*.f64 (pow.f64 w 2) h)))
	22.1b	(.f64 1/4 (/.f64 (/.f64 h d) (/.f64 d (pow.f64 (.f64 D M) 2))))
	36.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)))
	21.6b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (/.f64 D (/.f64 d M))) (/.f64 h d)))
	36.8b	(.f64 1/4 (pow.f64 (/.f64 (.f64 D (*.f64 M (sqrt.f64 h))) d) 2))
	29.8b	(.f64 1/4 (.f64 (exp.f64 (log.f64 (/.f64 (pow.f64 (*.f64 D M) 2) d))) (/.f64 h d)))
	33.6b	(.f64 1/4 (/.f64 (exp.f64 (log.f64 (.f64 h (pow.f64 (*.f64 D M) 2)))) (pow.f64 d 2)))
	23.5b	(.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)))
	33.0b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (exp.f64 (log.f64 (/.f64 (*.f64 D M) d)))) (/.f64 h d)))
	24.0b	(.f64 1/4 (.f64 (/.f64 (.f64 D (.f64 M (*.f64 D M))) d) (/.f64 h d)))
	31.0b	(.f64 1/4 (.f64 (.f64 (.f64 D M) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (.f64 D M) d)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (.f64 D M) d)))))) (/.f64 h d)))
	36.5b	(.f64 1/4 (.f64 (.f64 (.f64 M M) h) (.f64 (.f64 D D) (pow.f64 d -2))))
	22.8b	(.f64 1/4 (pow.f64 (sqrt.f64 (.f64 h (pow.f64 (/.f64 (*.f64 D M) d) 2))) 2))

Compiler

Compiled 3792 to 1995 computations (47.4% saved)

regimes1.7s (9.3%)

Accuracy

Total 4.4b remaining (23.5%)

Threshold costs 0b (0%)

Counts

125 → 2

Compiler

Compiled 32434 to 22734 computations (29.9% saved)

bsearch249.0ms (1.3%)

Steps

Iters	Range		Point
10	-3.8266632158451885e-296	6.061298800926969e-307	3.0855096747214144e-308

Compiler

Compiled 7 to 6 computations (14.3% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	40
1	31	40
2	31	40

end308.0ms (1.7%)

Compiler: Compiled 658 to 452 computations (31.3% saved)

Details

analyze2.9s (15.6%)

sample10.0s (54%)

prune2.0ms (0%)

localize20.0ms (0.1%)

series1.1s (6.1%)

rewrite55.0ms (0.3%)

prune533.0ms (2.9%)

localize11.0ms (0.1%)

series141.0ms (0.8%)

rewrite67.0ms (0.4%)

prune190.0ms (1%)

localize9.0ms (0%)

series141.0ms (0.8%)

rewrite68.0ms (0.4%)

prune395.0ms (2.1%)

localize10.0ms (0.1%)

series160.0ms (0.9%)

rewrite70.0ms (0.4%)

prune318.0ms (1.7%)

regimes1.7s (9.3%)

bsearch249.0ms (1.3%)

simplify2.0ms (0%)

end308.0ms (1.7%)

Profiling