Details

analyze3.1s (25.8%)

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
4.3%	95.4%	0.3%	13
6.6%	93.1%	0.3%	14

Compiler

Compiled 25 to 19 computations (24% saved)

sample2.4s (20%)

Symmetry

(sort M D)

Results

1.5s	8256×	body	128	valid
854.0ms	4631×	body	128	invalid

Compiler

Compiled 74 to 56 computations (24.3% saved)

simplify31.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

645×	`distribute-neg-frac_binary64`
581×	`distribute-rgt-neg-in_binary64`
418×	`associate-/l*_binary64`
372×	`cancel-sign-sub-inv_binary64`
263×	`associate-/l/_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	27
1	42	27
2	111	27
3	723	27
4	2855	27
5	4994	27

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

13.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))

Compiler

Compiled 72 to 54 computations (25% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
✓	3.5b	(/.f64 (.f64 M D) (.f64 2 d))
✓	4.9b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
✓	10.5b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

series756.0ms (6.2%)

Counts

4 → 204

Calls

4 calls:

326.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
235.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
177.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
16.0ms	(/.f64 (.f64 M D) (.f64 2 d))

rewrite91.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

119× egg-rr

Counts

4 → 119

Calls

2 calls:

89.0ms

((*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)) (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l)))) (/.f64 (*.f64 M D) (*.f64 2 d)) (*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	80
1	384	80
2	4932	80
3	6086	80
0	0	0
1	0	0

simplify226.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

668×	`fma-def_binary64`
276×	`unswap-sqr_binary64`
262×	`times-frac_binary64`
248×	`associate-r_binary64`
246×	`associate-/r*_binary64`

Counts

323 → 238

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	310	8076
1	810	8010
2	3470	7948
3	4942	7780
4	4984	7780
5	4959	7780

prune234.0ms (1.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	228	10	238
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	229	10	239

Error

6.2b

Counts

239 → 10

Alt Table

Status	Error	Program
	13.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	60.1b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (*.f64 d d))) -1/4)) (neg.f64 M)))
	39.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (/.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) h) (sqrt.f64 l)) (sqrt.f64 l)))))
▶	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)))))
	61.5b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)))))))
	13.4b	(.f64 w0 (pow.f64 (pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))) 1/4) 2))
	15.0b	w0
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))

Compiler

Compiled 9335 to 5639 computations (39.6% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)))))
✓	4.9b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (*.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l))))
✓	5.0b	(.f64 (.f64 M 1/2) (/.f64 D d))
✓	10.5b	(.f64 (pow.f64 (.f64 (*.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l))

series784.0ms (6.5%)

Counts

4 → 204

Calls

4 calls:

337.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)))))
233.0ms	(.f64 (pow.f64 (.f64 (*.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l))
197.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (*.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l))))
16.0ms	(.f64 (.f64 M 1/2) (/.f64 D d))

rewrite86.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

91× egg-rr

Counts

4 → 91

Calls

2 calls:

84.0ms

((*.f64 (pow.f64 (*.f64 (*.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)) (*.f64 (*.f64 M 1/2) (/.f64 D d)) (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (*.f64 (*.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)))) (*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (*.f64 (*.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l))))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	80
1	404	80
2	4878	80
3	6020	80
0	0	0
1	0	0

simplify219.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

668×	`fma-def_binary64`
276×	`unswap-sqr_binary64`
262×	`times-frac_binary64`
248×	`associate-r_binary64`
246×	`associate-/r*_binary64`

Counts

295 → 210

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	310	8076
1	810	8010
2	3470	7948
3	4942	7780
4	4984	7780
5	4959	7780

prune195.0ms (1.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	210	0	210
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	210	10	220

Error

6.2b

Counts

220 → 10

Alt Table

Status	Error	Program
▶	13.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	60.1b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (*.f64 d d))) -1/4)) (neg.f64 M)))
	39.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (/.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) h) (sqrt.f64 l)) (sqrt.f64 l)))))
✓	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)))))
	61.5b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)))))))
	13.4b	(.f64 w0 (pow.f64 (pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))) 1/4) 2))
	15.0b	w0
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))

Compiler

Compiled 8617 to 5220 computations (39.4% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))))
✓	3.6b	(.f64 (.f64 M D) (/.f64 1/2 d))
✓	4.9b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (*.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l))))
✓	10.5b	(.f64 (pow.f64 (.f64 (*.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l))

series781.0ms (6.4%)

Counts

4 → 204

Calls

4 calls:

353.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))))
236.0ms	(.f64 (pow.f64 (.f64 (*.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l))
175.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (*.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l))))
16.0ms	(.f64 (.f64 M D) (/.f64 1/2 d))

rewrite86.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

91× egg-rr

Counts

4 → 91

Calls

2 calls:

84.0ms

((*.f64 (pow.f64 (*.f64 (*.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)) (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (*.f64 (*.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))) (*.f64 (*.f64 M D) (/.f64 1/2 d)) (*.f64 w0 (sqrt.f64 (-.f64 1 (*.f64 (pow.f64 (*.f64 (*.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l))))))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	80
1	405	80
2	4826	80
3	5923	80
0	0	0
1	0	0

simplify211.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

668×	`fma-def_binary64`
276×	`unswap-sqr_binary64`
262×	`times-frac_binary64`
248×	`associate-r_binary64`
246×	`associate-/r*_binary64`

Counts

295 → 210

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	310	8076
1	810	8010
2	3470	7948
3	4942	7780
4	4984	7780
5	4959	7780

prune226.0ms (1.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	209	1	210
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	209	11	220

Error

6.2b

Counts

220 → 11

Alt Table

Status	Error	Program
✓	13.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	60.1b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (*.f64 d d))) -1/4)) (neg.f64 M)))
	39.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (/.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) h) (sqrt.f64 l)) (sqrt.f64 l)))))
✓	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)))))
	61.5b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)))))))
	14.5b	(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))) w0)) 3)
▶	13.4b	(.f64 w0 (pow.f64 (pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))) 1/4) 2))
	15.0b	w0
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))

Compiler

Compiled 8645 to 5235 computations (39.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.9b	(.f64 w0 (pow.f64 (pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))) 1/4) 2))
	3.5b	(/.f64 (.f64 M D) (.f64 2 d))
✓	6.9b	(pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) 1/4)
	10.5b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

series589.0ms (4.9%)

Counts

2 → 120

Calls

2 calls:

330.0ms	(.f64 w0 (pow.f64 (pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))) 1/4) 2))
258.0ms	(pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) 1/4)

rewrite64.0ms (0.5%)

Algorithm

2×	batch-egg-rewrite

Rules

32× egg-rr

Counts

2 → 32

Calls

2 calls:

63.0ms

((pow.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) 1/4) (*.f64 w0 (pow.f64 (pow.f64 (-.f64 1 (*.f64 (pow.f64 (/.f64 (*.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))) 1/4) 2)))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	53
1	435	52
2	4688	52
3	4954	52
0	0	0
1	0	0

simplify126.0ms (1%)

Algorithm

1×	egg-herbie

Rules

619×	`associate-/l*_binary64`
569×	`associate-/r*_binary64`
287×	`associate-l_binary64`
237×	`associate-*r/_binary64`
189×	`*-commutative_binary64`

Counts

152 → 167

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	486	9198
1	1413	9086
2	5227	9086

prune278.0ms (2.3%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	251	2	253
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	251	13	264

Error

5.5b

Counts

264 → 13

Alt Table

Status	Error	Program
✓	13.4b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))))
	61.0b	(.f64 D (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4)) w0))
	61.5b	(-.f64 (.f64 1/8 (/.f64 w0 (.f64 (pow.f64 M 3) (pow.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) 3)))) (fma.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)) (.f64 M w0) (.f64 1/2 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (.f64 d d))) -1/4)))))))
	62.6b	(.f64 w0 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (neg.f64 (.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (*.f64 h (pow.f64 M 2))) (pow.f64 d 2))))) (log.f64 l)))) 2))
	14.5b	(pow.f64 (cbrt.f64 (.f64 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M D) (/.f64 1/2 d)) 2) (/.f64 h l)))) w0)) 3)
	62.4b	(.f64 w0 (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (neg.f64 (.f64 1/4 (/.f64 (.f64 (pow.f64 D 2) (pow.f64 M 2)) (*.f64 l (pow.f64 d 2)))))) (log.f64 (/.f64 1 h))))) 2))
	60.1b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 l (*.f64 d d))) -1/4)) (neg.f64 M)))
	39.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (/.f64 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) h) (sqrt.f64 l)) (sqrt.f64 l)))))
✓	13.0b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (.f64 (.f64 M 1/2) (/.f64 D d)) 2) (/.f64 h l)))))
✓	13.4b	(.f64 w0 (pow.f64 (pow.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l))) 1/4) 2))
	15.0b	w0
	61.7b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) (.f64 (.f64 M M) h)) l) -1/4)) d))
	61.5b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 l (*.f64 d d))) -1/4))))

Compiler

Compiled 13178 to 8153 computations (38.1% saved)

regimes1.1s (9.2%)

Accuracy

Total 3.2b remaining (34.6%)

Threshold costs 0b (0%)

Counts

48 → 3

Compiler

Compiled 23282 to 17254 computations (25.9% saved)

bsearch2.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
9×	`+-commutative_binary64`
9×	`sub-neg_binary64`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	73
1	54	73
2	68	73
3	85	73
4	96	73
5	102	73
6	104	73
7	103	73

end405.0ms (3.3%)

Compiler: Compiled 591 to 404 computations (31.6% saved)

Details

analyze3.1s (25.8%)

sample2.4s (20%)

simplify31.0ms (0.3%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series756.0ms (6.2%)

rewrite91.0ms (0.8%)

simplify226.0ms (1.9%)

prune234.0ms (1.9%)

localize13.0ms (0.1%)

series784.0ms (6.5%)

rewrite86.0ms (0.7%)

simplify219.0ms (1.8%)

prune195.0ms (1.6%)

localize12.0ms (0.1%)

series781.0ms (6.4%)

rewrite86.0ms (0.7%)

simplify211.0ms (1.7%)

prune226.0ms (1.9%)

localize14.0ms (0.1%)

series589.0ms (4.9%)

rewrite64.0ms (0.5%)

simplify126.0ms (1%)

prune278.0ms (2.3%)

regimes1.1s (9.2%)

bsearch2.0ms (0%)

simplify4.0ms (0%)

end405.0ms (3.3%)

Profiling