Details

analyze4.7s (21.1%)

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
5.1%	94.6%	0.3%	13
7%	92.7%	0.3%	14

Compiler

Compiled 25 to 19 computations (24% saved)

sample114.0ms (0.5%)

Algorithm

1×

intervals

Results

35.0ms	256×	body	128	valid
13.0ms	97×	body	128	nan
7.0ms	52×	body	128	invalid

Compiler

Compiled 55 to 43 computations (21.8% saved)

simplify80.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

893×	`div-sub_binary64`
645×	`distribute-neg-frac_binary64`
581×	`distribute-rgt-neg-in_binary64`
569×	`distribute-lft-neg-in_binary64`
418×	`associate-/l*_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	27
1	42	27
2	111	27
3	718	27
4	2816	27
5	4688	27
6	6103	27

prune5.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

13.6b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 48 to 36 computations (25% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.2b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
4.0b	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
4.7b	(/.f64 (.f64 M D) (.f64 2 d))
11.3b	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))

rewrite463.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

8.7b

Rules

67×	`add-exp-log_binary64`
38×	`add-sqr-sqrt_binary64`
27×	`prod-exp_binary64`
23×	`add-cbrt-cube_binary64`
19×	`div-exp_binary64` `associate-r_binary64`

Counts

4 → 116

Calls

4 calls:

22.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
15.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
11.0ms	(/.f64 (.f64 M D) (.f64 2 d))
8.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))

Compiler

Compiled 3232 to 1835 computations (43.2% saved)

series1000.0ms (4.5%)

Error

7.2b

Counts

4 → 79

Calls

4 calls:

418.0ms	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2) (/.f64 h l)))))
253.0ms	(sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))))
214.0ms	(.f64 (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2) (/.f64 h l))
59.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 5151 to 3912 computations (24.1% saved)

simplify301.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

322×	`times-frac_binary64`
303×	`associate-l_binary64`
280×	`associate-r_binary64`
257×	`associate-/l*_binary64`
223×	`distribute-neg-frac_binary64`

Counts

195 → 151

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	311	4893
1	817	4587
2	3503	4586
3	4993	4586
4	4966	4586

prune268.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	140	11	151
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	141	11	152

Error

4.2b

Counts

152 → 11

Alt Table

Status	Error	Program
	13.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2) (/.f64 h l)))))
	58.5b	(-.f64 (.f64 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))) -1/2) (.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0)))
	60.6b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (*.f64 d d) l)) -1/4))))
	10.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) (/.f64 1 l)))))
▶	10.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) 2)) l))))
	62.1b	(.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0))
	57.4b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	11.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
	28.6b	(-.f64 w0 (.f64 1/8 (.f64 (pow.f64 (/.f64 D d) 2) (/.f64 (.f64 (.f64 M M) (*.f64 h w0)) l))))
	60.9b	(.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (.f64 d d) l)) -1/4)) (*.f64 D w0))
	61.5b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) (.f64 (.f64 D D) h)) l) -1/4)) d))

Compiler

Compiled 2919 to 1648 computations (43.5% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.0b	(sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) l)))
4.7b	(/.f64 (.f64 M D) (.f64 2 d))
5.2b	(/.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) l)
5.4b	(.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))

rewrite408.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

67×	`add-exp-log_binary64`
26×	`prod-exp_binary64`
23×	`add-cbrt-cube_binary64`
20×	`div-exp_binary64` `add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`

Counts

4 → 99

Calls

4 calls:

18.0ms	(/.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) l)
16.0ms	(.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
13.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) l)))
12.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 2616 to 1612 computations (38.4% saved)

series803.0ms (3.6%)

Error

4.0b

Counts

4 → 62

Calls

4 calls:

263.0ms	(sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) l)))
259.0ms	(/.f64 (.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2)) l)
172.0ms	(.f64 h (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) 2))
73.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3814 to 2944 computations (22.8% saved)

simplify210.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

830×	`associate-/r/_binary64`
273×	`times-frac_binary64`
229×	`distribute-rgt-neg-in_binary64`
219×	`associate-/l*_binary64`
217×	`distribute-lft-neg-in_binary64`

Counts

161 → 106

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	241	3473
1	586	3277
2	2531	3268
3	5484	3268

prune181.0ms (0.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	104	13	117

Error

3.5b

Counts

117 → 13

Alt Table

Status	Error	Program
	11.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) l))))
	21.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 M D) d)))) 2)) l))))
▶	9.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 (.f64 h (/.f64 (.f64 M D) (.f64 2 d))) (pow.f64 (/.f64 (.f64 M D) (*.f64 2 d)) (/.f64 2 2))) l))))
	58.5b	(-.f64 (.f64 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))) -1/2) (.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0)))
	60.6b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (*.f64 d d) l)) -1/4))))
	61.4b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 M D) 2) l) h) -1/4)) d))
	62.1b	(.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0))
	57.4b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	60.3b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
	11.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2)) (.f64 (/.f64 (.f64 M D) (*.f64 2 d)) (/.f64 h l))))))
	17.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 1/4 (.f64 (/.f64 h d) (/.f64 (pow.f64 (.f64 M D) 2) d))) l))))
	60.9b	(.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (.f64 d d) l)) -1/4)) (*.f64 D w0))
	61.5b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) (.f64 (.f64 D D) h)) l) -1/4)) d))

Compiler

Compiled 1780 to 1106 computations (37.9% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

4.1b	(.f64 h (/.f64 (.f64 M D) (*.f64 2 d)))
4.7b	(/.f64 (.f64 M D) (.f64 2 d))
4.7b	(/.f64 (.f64 M D) (.f64 2 d))
5.2b	(/.f64 (.f64 (.f64 h (/.f64 (.f64 M D) (.f64 2 d))) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2))) l)

rewrite548.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

3.5b

Rules

307×	`add-exp-log_binary64`
146×	`prod-exp_binary64`
107×	`div-exp_binary64`
79×	`add-cbrt-cube_binary64`
32×	`cbrt-unprod_binary64`

Counts

4 → 139

Calls

4 calls:

30.0ms	(/.f64 (.f64 (.f64 h (/.f64 (.f64 M D) (.f64 2 d))) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2))) l)
16.0ms	(.f64 h (/.f64 (.f64 M D) (*.f64 2 d)))
15.0ms	(/.f64 (.f64 M D) (.f64 2 d))
11.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 4994 to 2891 computations (42.1% saved)

series513.0ms (2.3%)

Error

3.5b

Counts

4 → 45

Calls

4 calls:

247.0ms	(/.f64 (.f64 (.f64 h (/.f64 (.f64 M D) (.f64 2 d))) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2))) l)
115.0ms	(.f64 h (/.f64 (.f64 M D) (*.f64 2 d)))
68.0ms	(/.f64 (.f64 M D) (.f64 2 d))
67.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 2992 to 2198 computations (26.5% saved)

simplify324.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

307×	`times-frac_binary64`
272×	`associate-/l*_binary64`
270×	`log-prod_binary64`
242×	`associate-l_binary64`
205×	`associate-r_binary64`

Counts

184 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	3627
1	464	3087
2	2393	3084
3	4243	3084
4	4911	3084
5	5069	3084

prune187.0ms (0.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	127	13	140

Error

3.4b

Counts

140 → 13

Alt Table

Status	Error	Program
▶	8.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 h (/.f64 (.f64 M D) (.f64 2 d))) (/.f64 (/.f64 (.f64 M D) (*.f64 2 d)) l)))))
	11.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) l))))
	15.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (/.f64 (.f64 M (.f64 D h)) d) 3) 8)) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2))) l))))
	21.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 M D) d)))) 2)) l))))
	58.5b	(-.f64 (.f64 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))) -1/2) (.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0)))
	60.6b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (*.f64 d d) l)) -1/4))))
	61.4b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 M D) 2) l) h) -1/4)) d))
	62.1b	(.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0))
	57.4b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	60.3b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
	17.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 1/4 (.f64 (/.f64 h d) (/.f64 (pow.f64 (.f64 M D) 2) d))) l))))
	60.9b	(.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (.f64 d d) l)) -1/4)) (*.f64 D w0))
	61.5b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) (.f64 (.f64 D D) h)) l) -1/4)) d))

Compiler

Compiled 1829 to 1173 computations (35.9% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

4.1b	(.f64 h (/.f64 (.f64 M D) (*.f64 2 d)))
4.7b	(/.f64 (.f64 M D) (.f64 2 d))
4.7b	(/.f64 (.f64 M D) (.f64 2 d))
4.9b	(/.f64 (/.f64 (.f64 M D) (.f64 2 d)) l)

rewrite467.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

3.4b

Rules

64×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
22×	`times-frac_binary64`
21×	`prod-exp_binary64` `div-exp_binary64` `cbrt-undiv_binary64` `cbrt-unprod_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`add-cube-cbrt_binary64` `*-un-lft-identity_binary64`

Counts

4 → 115

Calls

4 calls:

16.0ms	(.f64 h (/.f64 (.f64 M D) (*.f64 2 d)))
15.0ms	(/.f64 (/.f64 (.f64 M D) (.f64 2 d)) l)
11.0ms	(/.f64 (.f64 M D) (.f64 2 d))
11.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 3638 to 1940 computations (46.7% saved)

series372.0ms (1.7%)

Error

3.4b

Counts

4 → 42

Calls

4 calls:

111.0ms	(/.f64 (/.f64 (.f64 M D) (.f64 2 d)) l)
107.0ms	(.f64 h (/.f64 (.f64 M D) (*.f64 2 d)))
69.0ms	(/.f64 (.f64 M D) (.f64 2 d))
68.0ms	(/.f64 (.f64 M D) (.f64 2 d))

Compiler

Compiled 2622 to 1763 computations (32.8% saved)

simplify239.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

926×	`associate-/r/_binary64`
563×	`*-commutative_binary64`
243×	`log-prod_binary64`
235×	`times-frac_binary64`
189×	`sub-neg_binary64`

Counts

157 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	162	2776
1	422	2240
2	1982	2237
3	3557	2237
4	4941	2237
5	5000	2237

prune259.0ms (1.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	111	13	124

Error

3.4b

Counts

124 → 13

Alt Table

Status	Error	Program
	8.8b	(.f64 w0 (sqrt.f64 (-.f64 1 (.f64 (.f64 h (/.f64 (.f64 M D) (.f64 2 d))) (/.f64 (/.f64 (.f64 M D) (*.f64 2 d)) l)))))
	11.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (/.f64 M (/.f64 2 (/.f64 D d))) 2)) l))))
	15.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 (cbrt.f64 (/.f64 (pow.f64 (/.f64 (.f64 M (.f64 D h)) d) 3) 8)) (pow.f64 (/.f64 (.f64 M D) (.f64 2 d)) (/.f64 2 2))) l))))
	21.3b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 h (pow.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (*.f64 M D) d)))) 2)) l))))
	58.5b	(-.f64 (.f64 (/.f64 w0 (.f64 M (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)))) -1/2) (.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0)))
	60.6b	(.f64 w0 (.f64 D (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (*.f64 d d) l)) -1/4))))
	61.4b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (.f64 (/.f64 (pow.f64 (.f64 M D) 2) l) h) -1/4)) d))
	62.1b	(.f64 M (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) w0))
	57.4b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (.f64 (/.f64 h l) (pow.f64 (/.f64 D d) 2)) -1/4)) (neg.f64 M)))
	60.3b	(.f64 w0 (.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 D D) h) (.f64 (*.f64 d d) l)) -1/4)) (neg.f64 M)))
	17.6b	(.f64 w0 (sqrt.f64 (-.f64 1 (/.f64 (.f64 1/4 (.f64 (/.f64 h d) (/.f64 (pow.f64 (.f64 M D) 2) d))) l))))
	60.9b	(.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) h) (.f64 (.f64 d d) l)) -1/4)) (*.f64 D w0))
	61.5b	(.f64 w0 (/.f64 (sqrt.f64 (.f64 (/.f64 (.f64 (.f64 M M) (.f64 (.f64 D D) h)) l) -1/4)) d))

Compiler

Compiled 2240 to 1256 computations (43.9% saved)

regimes7.0s (31.4%)

Accuracy

Total 4.2b remaining (51.5%)

Threshold costs 0b (0%)

Compiler

Compiled 68201 to 49516 computations (27.4% saved)

bsearch12.0ms (0.1%)

Compiler: Compiled 24 to 18 computations (25% saved)

simplify27.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

33×	`*-commutative_binary64`
22×	`sub-neg_binary64` `+-commutative_binary64`
18×	`neg-mul-1_binary64` `neg-sub0_binary64`
14×	`distribute-rgt-neg-in_binary64`
10×	`distribute-lft-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	52	201
1	89	201
2	129	201
3	168	201
4	199	201
5	213	201
6	218	201
7	219	201
8	218	201

end25.0ms (0.1%)

Compiler: Compiled 414 to 249 computations (39.9% saved)

sample3.6s (16.1%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
417.0ms	3009×	body	128	nan
173.0ms	1291×	body	128	invalid

Compiler

Compiled 516 to 353 computations (31.6% saved)

Iter	Nodes	Cost
0	52	201
1	89	201
2	129	201
3	168	201
4	199	201
5	213	201
6	218	201
7	219	201
8	218	201

Iter	Nodes	Cost
0	52	201
1	89	201
2	129	201
3	168	201
4	199	201
5	213	201
6	218	201
7	219	201
8	218	201

Details

analyze4.7s (21.1%)

sample114.0ms (0.5%)

simplify80.0ms (0.4%)

prune5.0ms (0%)

localize28.0ms (0.1%)

rewrite463.0ms (2.1%)

series1000.0ms (4.5%)

simplify301.0ms (1.4%)

prune268.0ms (1.2%)

localize29.0ms (0.1%)

rewrite408.0ms (1.8%)

series803.0ms (3.6%)

simplify210.0ms (0.9%)

prune181.0ms (0.8%)

localize36.0ms (0.2%)

rewrite548.0ms (2.5%)

series513.0ms (2.3%)

simplify324.0ms (1.5%)

prune187.0ms (0.8%)

localize29.0ms (0.1%)

rewrite467.0ms (2.1%)

series372.0ms (1.7%)

simplify239.0ms (1.1%)

prune259.0ms (1.2%)

regimes7.0s (31.4%)

bsearch12.0ms (0.1%)

simplify27.0ms (0.1%)

end25.0ms (0.1%)

sample3.6s (16.1%)

Profiling

Iter	Nodes	Cost
0	52	201
1	89	201
2	129	201
3	168	201
4	199	201
5	213	201
6	218	201
7	219	201
8	218	201