Details

analyze2.2s (10.3%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	81.1%	18.9%	7
0%	68.6%	31.4%	8
0%	59.2%	40.8%	9
0%	59.2%	40.8%	10
0%	59.2%	40.8%	11
0.4%	49.5%	50.1%	12
0.8%	44.4%	54.8%	13
1.4%	39.9%	58.7%	14

Compiler

Compiled 41 to 32 computations (22% saved)

sample5.5s (26.1%)

Symmetry

(sort M D)

Results

3.3s	13662×	body	128	invalid
2.2s	8256×	body	128	valid

Compiler

Compiled 122 to 95 computations (22.1% saved)

simplify33.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

466×	`fma-def_binary64`
437×	`*-commutative_binary64`
425×	`associate-/l*_binary64`
347×	`cancel-sign-sub-inv_binary64`
263×	`associate-/l/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	24	41
1	62	41
2	188	39
3	1071	39
4	3610	39
5	5106	39

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	2	3

Error

24.5b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 146 to 106 computations (27.4% saved)

localize27.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
✓	9.4b	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))
✓	11.2b	(pow.f64 (/.f64 d l) (/.f64 1 2))
✓	11.4b	(pow.f64 (/.f64 d h) (/.f64 1 2))

series1.1s (5%)

Counts

4 → 144

Calls

4 calls:

332.0ms	(pow.f64 (/.f64 d h) (/.f64 1 2))
327.0ms	(pow.f64 (/.f64 d l) (/.f64 1 2))
226.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))
179.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))

rewrite65.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

331×	`add-exp-log_binary64`
179×	`prod-exp_binary64`
99×	`div-exp_binary64`
60×	`pow-exp_binary64`
45×	`times-frac_binary64`

Counts

4 → 218

Calls

4 calls:

17.0ms	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
10.0ms	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))
4.0ms	(pow.f64 (/.f64 d h) (/.f64 1 2))
4.0ms	(pow.f64 (/.f64 d l) (/.f64 1 2))

simplify224.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

544×	`times-frac_binary64`
404×	`associate-l_binary64`
378×	`fma-def_binary64`
312×	`associate-r_binary64`
189×	`*-commutative_binary64`

Counts

362 → 321

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	445	9420
1	898	8689
2	3021	8543
3	4974	8543
4	4952	8543

prune525.0ms (2.5%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	298	23	321
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	299	23	322

Error

10.1b

Counts

322 → 23

Alt Table

Status	Error	Program
	31.2b	(.f64 (sqrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1))) (sqrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1))))
	29.3b	(.f64 (.f64 (pow.f64 (pow.f64 (/.f64 d h) (/.f64 1 (.f64 (cbrt.f64 2) (cbrt.f64 2)))) (/.f64 1 (cbrt.f64 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	42.8b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	25.0b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1)))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1))))
	59.6b	(.f64 -1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))))
	41.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	38.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 l (pow.f64 d 2))))))
	34.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (log.f64 (pow.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) (/.f64 h l)))))
	28.7b	(.f64 (.f64 (pow.f64 (pow.f64 (/.f64 d h) (.f64 (cbrt.f64 1/2) (cbrt.f64 1/2))) (cbrt.f64 (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	43.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (neg.f64 d) 1/2) (pow.f64 (/.f64 -1 l) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	21.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	40.2b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.5b	(.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 d l)) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1)))
	41.3b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 -1 h) 1/2) (pow.f64 (neg.f64 d) 1/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (/.f64 d l) 1/4) (pow.f64 (/.f64 d l) 1/4))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
▶	19.3b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (fabs.f64 (cbrt.f64 (/.f64 d l))) (sqrt.f64 (cbrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	20.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	47.3b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d h) (/.f64 1 2))) (pow.f64 (/.f64 d h) (/.f64 1 2))) (.f64 (.f64 (pow.f64 (/.f64 d l) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2)))) (.f64 (.f64 (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))))
	38.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 2)) (.f64 (log.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2)) (log.f64 (/.f64 h l))))))
	19.4b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 (.f64 (cbrt.f64 d) (cbrt.f64 d)) (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 (cbrt.f64 d) (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.6b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) 1/4) (pow.f64 (/.f64 d h) 1/4)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2)) (.f64 l 2))))

Compiler

Compiled 16143 to 10215 computations (36.7% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.1b	(/.f64 (.f64 M D) (.f64 2 d))
✓	5.5b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	9.4b	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))
	11.2b	(pow.f64 (/.f64 d l) (/.f64 1 2))

series207.0ms (1%)

Counts

2 → 68

Calls

2 calls:

192.0ms

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

13.0ms

(/.f64 (*.f64 M D) (*.f64 2 d))

rewrite120.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

668×	`add-exp-log_binary64`
493×	`prod-exp_binary64`
258×	`pow-exp_binary64`
141×	`div-exp_binary64`
89×	`pow-to-exp_binary64`

Counts

2 → 202

Calls

2 calls:

26.0ms

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

7.0ms

(/.f64 (*.f64 M D) (*.f64 2 d))

simplify378.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

368×	`associate-l_binary64`
352×	`fma-def_binary64`
282×	`associate-r_binary64`
228×	`distribute-rgt-in_binary64`
220×	`unswap-sqr_binary64`

Counts

270 → 163

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	324	13498
1	507	12013
2	2339	11355
3	4717	11355
4	4965	11355
5	4922	11355

prune635.0ms (3%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	340	10	350
Fresh	6	16	22
Picked	1	0	1
Done	0	0	0
Total	347	26	373

Error

9.1b

Counts

373 → 26

Alt Table

Status	Error	Program
	31.2b	(.f64 (sqrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1))) (sqrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1))))
	19.6b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (/.f64 h l) -1/2) 1))) (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (/.f64 h l) -1/2) 1)))) (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l))) (fma.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (*.f64 (/.f64 h l) -1/2) 1))))
	42.8b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	25.0b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1)))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1))))
	27.4b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (cbrt.f64 (pow.f64 (/.f64 d l) 3/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	58.9b	(log.f64 (pow.f64 (exp.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l)))) (fma.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (/.f64 h l) -1/2) 1)))
	59.6b	(.f64 -1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))))
	19.8b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (/.f64 d l))) (cbrt.f64 (sqrt.f64 (/.f64 d l)))) (cbrt.f64 (sqrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	41.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	38.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 l (pow.f64 d 2))))))
	40.2b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	16.2b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	19.5b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (fabs.f64 (cbrt.f64 (/.f64 d l))) (sqrt.f64 (cbrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	18.9b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (.f64 1/2 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) l)))
	24.6b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) 1/4) (pow.f64 (/.f64 d h) 1/4)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.5b	(.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 d l)) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1)))
	41.3b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 -1 h) 1/2) (pow.f64 (neg.f64 d) 1/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2)) (.f64 l 2))))
	35.1b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 (pow.f64 d 2) l)))))
	24.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (fabs.f64 (cbrt.f64 (/.f64 d l))) (sqrt.f64 (cbrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	20.6b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	47.3b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d h) (/.f64 1 2))) (pow.f64 (/.f64 d h) (/.f64 1 2))) (.f64 (.f64 (pow.f64 (/.f64 d l) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2)))) (.f64 (.f64 (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))))
	43.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (neg.f64 d) 1/2) (pow.f64 (/.f64 -1 l) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	19.4b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2)) (/.f64 h l))))
	38.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 2)) (.f64 (log.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2)) (log.f64 (/.f64 h l))))))
▶	15.2b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))

Compiler

Compiled 22658 to 13759 computations (39.3% saved)

localize40.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.9b	(pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))
	3.1b	(/.f64 (.f64 M D) (.f64 2 d))
✓	5.5b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	9.4b	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))

series1.4s (6.7%)

Counts

2 → 56

Calls

2 calls:

1.2s

(pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))

206.0ms

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

rewrite103.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

370×	`add-exp-log_binary64`
282×	`prod-exp_binary64`
94×	`pow-exp_binary64`
51×	`div-exp_binary64`
27×	`times-frac_binary64`

Counts

2 → 167

Calls

2 calls:

34.0ms

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

7.0ms

(pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))

simplify297.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

972×	`fma-def_binary64`
565×	`associate-l_binary64`
447×	`associate-r_binary64`
214×	`exp-prod_binary64`
213×	`*-commutative_binary64`

Counts

223 → 210

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	393	12982
1	806	11767
2	2995	11232
3	4700	11224
4	4904	11224

prune625.0ms (2.9%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	352	7	359
Fresh	4	21	25
Picked	1	0	1
Done	0	0	0
Total	357	28	385

Error

7.4b

Counts

385 → 28

Alt Table

Status	Error	Program
▶	14.0b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	24.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (fabs.f64 (cbrt.f64 (/.f64 d l))) (sqrt.f64 (cbrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	15.6b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (/.f64 h l)) 1))) (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (/.f64 h l)) 1)))) (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2) (/.f64 h l)) 1))))
	47.7b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 2)) (.f64 (log.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2)) (-.f64 (log.f64 h) (log.f64 l))))))
	42.8b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	25.0b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1)))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1))))
	27.4b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (cbrt.f64 (pow.f64 (/.f64 d l) 3/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	58.9b	(log.f64 (pow.f64 (exp.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l)))) (fma.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (/.f64 h l) -1/2) 1)))
	59.6b	(.f64 -1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))))
	19.8b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (/.f64 d l))) (cbrt.f64 (sqrt.f64 (/.f64 d l)))) (cbrt.f64 (sqrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	41.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	38.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 l (pow.f64 d 2))))))
	24.6b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (log.f64 (pow.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) (/.f64 h l)))))
	43.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (neg.f64 d) 1/2) (pow.f64 (/.f64 -1 l) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	40.2b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	16.2b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	18.9b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (.f64 1/2 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) l)))
	24.6b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) 1/4) (pow.f64 (/.f64 d h) 1/4)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.5b	(.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 d l)) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1)))
	41.3b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 -1 h) 1/2) (pow.f64 (neg.f64 d) 1/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	15.8b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) (/.f64 h l))))
	22.6b	(/.f64 (.f64 (-.f64 1 (.f64 (/.f64 h l) (.f64 (/.f64 h l) (.f64 1/4 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 4))))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (.f64 (fabs.f64 (cbrt.f64 l)) (fma.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) (/.f64 h l) 1)))
	24.5b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2)) (.f64 l 2))))
	35.1b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 (pow.f64 d 2) l)))))
	14.8b	(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l)))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2) (/.f64 h l)) 1)))
	47.3b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d h) (/.f64 1 2))) (pow.f64 (/.f64 d h) (/.f64 1 2))) (.f64 (.f64 (pow.f64 (/.f64 d l) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2)))) (.f64 (.f64 (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))))
	19.4b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2)) (/.f64 h l))))
	38.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 2)) (.f64 (log.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2)) (log.f64 (/.f64 h l))))))

Compiler

Compiled 26864 to 14724 computations (45.2% saved)

localize41.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.3b	(sqrt.f64 (/.f64 d (cbrt.f64 l)))
	3.1b	(/.f64 (.f64 M D) (.f64 2 d))
✓	5.5b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	9.4b	(.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))

series281.0ms (1.3%)

Counts

2 → 44

Calls

2 calls:

209.0ms

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

72.0ms

(sqrt.f64 (/.f64 d (cbrt.f64 l)))

rewrite125.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

207×	`add-exp-log_binary64`
162×	`prod-exp_binary64`
97×	`sqrt-div_binary64`
81×	`frac-times_binary64`
71×	`associate-*r/_binary64`

Counts

2 → 157

Calls

2 calls:

50.0ms

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

3.0ms

(sqrt.f64 (/.f64 d (cbrt.f64 l)))

simplify289.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

946×	`fma-def_binary64`
757×	`distribute-rgt-in_binary64`
466×	`*-commutative_binary64`
252×	`distribute-lft-in_binary64`
133×	`associate-l_binary64`

Counts

201 → 223

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	425	16395
1	1096	14995
2	2669	14411
3	4939	14411

prune630.0ms (3%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	367	5	372
Fresh	1	26	27
Picked	1	0	1
Done	0	0	0
Total	369	31	400

Error

7.4b

Counts

400 → 31

Alt Table

Status	Error	Program
	24.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (fabs.f64 (cbrt.f64 (/.f64 d l))) (sqrt.f64 (cbrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	15.6b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (/.f64 h l)) 1))) (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (/.f64 h l)) 1)))) (cbrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2) (/.f64 h l)) 1))))
	47.7b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 2)) (.f64 (log.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2)) (-.f64 (log.f64 h) (log.f64 l))))))
	42.8b	(.f64 (sqrt.f64 (/.f64 1 (.f64 l h))) d)
	25.0b	(.f64 (.f64 (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2) (/.f64 h l)) 1)))) (cbrt.f64 (.f64 (.f64 (sqrt.f64 (/.f64 d h)) (sqrt.f64 (/.f64 d l))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1))))
	27.4b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (cbrt.f64 (pow.f64 (/.f64 d l) 3/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	58.9b	(log.f64 (pow.f64 (exp.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d l)))) (fma.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (.f64 (/.f64 h l) -1/2) 1)))
	59.6b	(.f64 -1/8 (.f64 (/.f64 (*.f64 (pow.f64 D 2) (pow.f64 M 2)) d) (sqrt.f64 (/.f64 h (pow.f64 l 3)))))
	19.8b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (.f64 (cbrt.f64 (sqrt.f64 (/.f64 d l))) (cbrt.f64 (sqrt.f64 (/.f64 d l)))) (cbrt.f64 (sqrt.f64 (/.f64 d l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))
	41.4b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))) (sqrt.f64 (/.f64 (sqrt.f64 d) (sqrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	38.7b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 l (pow.f64 d 2))))))
	24.6b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (log.f64 (pow.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) (/.f64 h l)))))
	40.9b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (.f64 (pow.f64 (/.f64 -1 l) 1/6) (sqrt.f64 (/.f64 d (cbrt.f64 -1)))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	43.0b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (pow.f64 (neg.f64 d) 1/2) (pow.f64 (/.f64 -1 l) 1/2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	40.2b	(.f64 (.f64 (.f64 (sqrt.f64 d) (sqrt.f64 (/.f64 1 h))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	16.2b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (fabs.f64 (cbrt.f64 d)) (sqrt.f64 (/.f64 (cbrt.f64 d) l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	18.9b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (/.f64 (.f64 1/2 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) l)))
	24.6b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) 1/4) (pow.f64 (/.f64 d h) 1/4)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	24.5b	(.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 d l)) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 d 2)) 2) (/.f64 h l)) 1)))
	41.3b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 -1 h) 1/2) (pow.f64 (neg.f64 d) 1/2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 h l))))
	21.5b	(.f64 (sqrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 2) (/.f64 h l)) 1))) (sqrt.f64 (.f64 (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2) (/.f64 h l)) 1))))
	15.8b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) (/.f64 h l))))
	22.6b	(/.f64 (.f64 (-.f64 1 (.f64 (/.f64 h l) (.f64 (/.f64 h l) (.f64 1/4 (pow.f64 (/.f64 (.f64 D M) (.f64 2 d)) 4))))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 h)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (.f64 (fabs.f64 (cbrt.f64 l)) (fma.f64 (.f64 1/2 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2)) (/.f64 h l) 1)))
	23.3b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (log.f64 (pow.f64 (sqrt.f64 (exp.f64 (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) (/.f64 h l)))))
	14.8b	(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l)))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2) (/.f64 h l)) 1)))
	47.3b	(cbrt.f64 (.f64 (.f64 (.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d h) (/.f64 1 2))) (pow.f64 (/.f64 d h) (/.f64 1 2))) (.f64 (.f64 (pow.f64 (/.f64 d l) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2)))) (.f64 (.f64 (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l)))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) (/.f64 h l))))))
	19.4b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 (.f64 (/.f64 1 2) (pow.f64 (/.f64 M (/.f64 (*.f64 2 d) D)) 2)) (/.f64 h l))))
	38.8b	(.f64 (.f64 (pow.f64 (/.f64 d h) (/.f64 1 2)) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (exp.f64 (+.f64 (+.f64 (neg.f64 (log.f64 2)) (.f64 (log.f64 (/.f64 (.f64 M D) (*.f64 2 d))) 2)) (log.f64 (/.f64 h l))))))
	12.3b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l))))) (-.f64 1 (/.f64 (.f64 1/2 (.f64 h (pow.f64 (/.f64 (.f64 D M) (.f64 d 2)) 2))) l)))
	13.5b	(.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 (cbrt.f64 h)) (cbrt.f64 (cbrt.f64 h))))) (sqrt.f64 (/.f64 d (cbrt.f64 (cbrt.f64 h)))))) (.f64 (.f64 (sqrt.f64 (/.f64 1 (.f64 (cbrt.f64 l) (cbrt.f64 l)))) (sqrt.f64 (/.f64 d (cbrt.f64 l)))) (fma.f64 -1/2 (.f64 (pow.f64 (/.f64 (.f64 D M) (*.f64 2 d)) 2) (/.f64 h l)) 1)))
	35.1b	(.f64 (.f64 (.f64 (pow.f64 (/.f64 1 (.f64 (cbrt.f64 h) (cbrt.f64 h))) (/.f64 1 2)) (pow.f64 (/.f64 d (cbrt.f64 h)) (/.f64 1 2))) (pow.f64 (/.f64 d l) (/.f64 1 2))) (-.f64 1 (.f64 1/8 (/.f64 (.f64 (pow.f64 D 2) (.f64 (pow.f64 M 2) h)) (.f64 (pow.f64 d 2) l)))))

Compiler

Compiled 31459 to 15074 computations (52.1% saved)

regimes5.3s (24.9%)

Accuracy

Total 5.4b remaining (37.4%)

Threshold costs 0b (0%)

Counts

274 → 2

Compiler

Compiled 117695 to 83681 computations (28.9% saved)

bsearch25.0ms (0.1%)

Compiler: Compiled 40 to 31 computations (22.5% saved)

simplify9.0ms (0%)

Algorithm

1×	egg-herbie

Rules

25×	`*-commutative_binary64`
10×	`+-commutative_binary64`
10×	`sub-neg_binary64`
8×	`distribute-rgt-neg-in_binary64`
8×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	220
1	87	220
2	107	220
3	126	220
4	143	220
5	150	220
6	152	220
7	149	220

end993.0ms (4.7%)

Remove: (sort M D)
Compiler: Compiled 2420 to 1594 computations (34.1% saved)

Details

analyze2.2s (10.3%)

sample5.5s (26.1%)

simplify33.0ms (0.2%)

prune5.0ms (0%)

localize27.0ms (0.1%)

series1.1s (5%)

rewrite65.0ms (0.3%)

simplify224.0ms (1.1%)

prune525.0ms (2.5%)

localize31.0ms (0.1%)

series207.0ms (1%)

rewrite120.0ms (0.6%)

simplify378.0ms (1.8%)

prune635.0ms (3%)

localize40.0ms (0.2%)

series1.4s (6.7%)

rewrite103.0ms (0.5%)

simplify297.0ms (1.4%)

prune625.0ms (2.9%)

localize41.0ms (0.2%)

series281.0ms (1.3%)

rewrite125.0ms (0.6%)

simplify289.0ms (1.4%)

prune630.0ms (3%)

regimes5.3s (24.9%)

bsearch25.0ms (0.1%)

simplify9.0ms (0%)

end993.0ms (4.7%)

Profiling