Details

analyze5.7s (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%	98.1%	1.9%	7
0%	98.1%	1.9%	8
0%	97.8%	2.2%	9
0%	96.8%	3.2%	10
0%	96.3%	3.7%	11
0%	94.3%	5.7%	12
0.4%	92.1%	7.5%	13
0.6%	90.8%	8.6%	14

Compiler

Compiled 35 to 24 computations (31.4% saved)

sample215.0ms (0.6%)

Algorithm

1×

intervals

Results

84.0ms	398×	body	128	nan
55.0ms	256×	body	128	valid
8.0ms	37×	body	128	invalid

Compiler

Compiled 75 to 53 computations (29.3% saved)

simplify79.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

515×	`fma-neg_binary64`
481×	`neg-mul-1_binary64`
395×	`fma-def_binary64`
358×	`cancel-sign-sub-inv_binary64`
348×	`unsub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	22	42
1	58	40
2	182	40
3	757	38
4	2815	37
5	4555	37
6	4944	37

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

31.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	31.4b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	35.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (-.f64 t (.f64 2 (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U)))))

Status

Error

Program

▶

31.4b

(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))

35.1b

(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (-.f64 (-.f64 t (*.f64 2 (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) 2)) (-.f64 U U*)))))

Compiler

Compiled 189 to 119 computations (37% saved)

localize32.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	6.2b	(*.f64 n (/.f64 l Om))
✓	6.2b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
✓	10.7b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
✓	20.5b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))

series3.9s (10.8%)

Counts

4 → 216

Calls

4 calls:

3.0s	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
794.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
74.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
27.0ms	(*.f64 n (/.f64 l Om))

rewrite66.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`pow1_binary64`
27×	`add-cbrt-cube_binary64`
27×	`add-exp-log_binary64`
21×	`add-sqr-sqrt_binary64`
17×	`associate-r_binary64`

Counts

4 → 107

Calls

4 calls:

15.0ms	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
13.0ms	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
11.0ms	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
9.0ms	(*.f64 n (/.f64 l Om))

simplify512.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

787×	`fma-def_binary64`
459×	`*-commutative_binary64`
231×	`associate-r_binary64`
165×	`+-commutative_binary64`
153×	`cancel-sign-sub-inv_binary64`

Counts

323 → 286

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1061	19930
1	3567	19396
2	5115	19396

prune1.2s (3.3%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	262	24	286
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	264	24	288

Error

14.8b

Counts

288 → 24

Alt Table

Status	Error	Program
	61.1b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	40.5b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.0b	(.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 (-.f64 (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2)) (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2))) U)))
	32.3b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	38.4b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	41.1b	(.f64 (sqrt.f64 (.f64 (.f64 2 n) U)) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))
	57.7b	(neg.f64 (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))))
	32.6b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 (-.f64 U U) (*.f64 n l)) Om))))))
	57.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
▶	31.5b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	47.2b	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (.f64 t t) (.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om))))) (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (-.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	47.5b	(fma.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 n U) (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))))) (.f64 1/2 (.f64 (/.f64 (.f64 (.f64 l l) (.f64 (sqrt.f64 2) U)) (.f64 Om Om)) (sqrt.f64 (/.f64 (.f64 U (pow.f64 n 3)) (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))))))))
	62.5b	(-.f64 (.f64 2 (/.f64 (.f64 (.f64 l l) U) (.f64 Om (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))) (fma.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))) (/.f64 (.f64 U t) (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))))))
	38.8b	(cbrt.f64 (.f64 (.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	33.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l)))))))
	41.1b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
	31.7b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	58.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	42.8b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (.f64 (pow.f64 l 2) (sqrt.f64 2)) Om)))
	60.4b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (-.f64 (.f64 (.f64 l l) U) (.f64 (*.f64 l l) U)))))) (/.f64 (sqrt.f64 2) Om))
	38.4b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	59.4b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	36.0b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))

Compiler

Compiled 23827 to 12264 computations (48.5% saved)

localize44.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	6.2b	(*.f64 n (/.f64 l Om))
	6.2b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
	10.7b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
	20.5b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))

prune2.7s (7.6%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	571	1	572
Fresh	1	22	23
Picked	0	1	1
Done	0	0	0
Total	572	24	596

Error

14.8b

Counts

596 → 24

Alt Table

Status	Error	Program
	61.1b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	39.0b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t))) 3))))
	40.5b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.0b	(.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 (-.f64 (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2)) (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2))) U)))
	32.3b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	38.4b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	41.1b	(.f64 (sqrt.f64 (.f64 (.f64 2 n) U)) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))
	57.7b	(neg.f64 (fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))))
	32.6b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 (-.f64 U U) (*.f64 n l)) Om))))))
	57.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
✓	31.5b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	47.2b	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (.f64 t t) (.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om))))) (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (-.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	47.5b	(fma.f64 (sqrt.f64 2) (sqrt.f64 (.f64 (.f64 n U) (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))))) (.f64 1/2 (.f64 (/.f64 (.f64 (.f64 l l) (.f64 (sqrt.f64 2) U)) (.f64 Om Om)) (sqrt.f64 (/.f64 (.f64 U (pow.f64 n 3)) (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))))))))
	62.5b	(-.f64 (.f64 2 (/.f64 (.f64 (.f64 l l) U) (.f64 Om (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))))))))) (fma.f64 n (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))) (/.f64 (.f64 U t) (sqrt.f64 (.f64 -2 (.f64 U (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)))))))))
	33.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l)))))))
	41.1b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
▶	31.7b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	58.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	42.8b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (.f64 (pow.f64 l 2) (sqrt.f64 2)) Om)))
	60.4b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (-.f64 (.f64 (.f64 l l) U) (.f64 (*.f64 l l) U)))))) (/.f64 (sqrt.f64 2) Om))
	38.4b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	59.4b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	36.0b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))

Compiler

Compiled 61407 to 29806 computations (51.5% saved)

localize44.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	6.2b	(.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))
	10.7b	(.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om)))))))
✓	20.5b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
✓	21.5b	(cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))

series4.8s (13.3%)

Counts

2 → 120

Calls

2 calls:

2.7s

(cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))

2.1s

(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))) (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))) (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))

rewrite115.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`associate-*r/_binary64`
56×	`cbrt-div_binary64`
28×	`frac-times_binary64`
28×	`flip-+_binary64`
28×	`flip3-+_binary64`

Counts

2 → 65

Calls

2 calls:

21.0ms

(sqrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om)))))))) (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))) (cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))

11.0ms

(cbrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (fma.f64 l -2 (*.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))

simplify828.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

369×	`fma-def_binary64`
327×	`associate-/l*_binary64`
283×	`associate-*r/_binary64`
237×	`associate-/r*_binary64`
221×	`times-frac_binary64`

Counts

185 → 313

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2317	43123
1	5480	43123

prune4.5s (12.5%)

Pruning

24 alts after pruning (22 fresh and 2 done)

	Pruned	Kept	Total
New	989	3	992
Fresh	3	19	22
Picked	0	1	1
Done	0	1	1
Total	992	24	1016

Error

14.8b

Counts

1016 → 24

Alt Table

Status	Error	Program
	61.1b	(sqrt.f64 (.f64 2 (/.f64 (.f64 (pow.f64 n 2) (.f64 (pow.f64 l 2) (.f64 U U*))) (pow.f64 Om 2))))
	39.0b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 2 (.f64 n U)) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t))) 3))))
	40.5b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.0b	(.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 (-.f64 (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2)) (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2))) U)))
▶	32.3b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	61.4b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))) U)))))
	38.4b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	41.1b	(.f64 (sqrt.f64 (.f64 (.f64 2 n) U)) (sqrt.f64 (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	32.6b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 (-.f64 U U) (*.f64 n l)) Om))))))
	57.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	47.5b	(fma.f64 (sqrt.f64 (/.f64 (.f64 (pow.f64 n 3) U) (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))))) (/.f64 (.f64 (.f64 l l) U) (.f64 (.f64 Om Om) (sqrt.f64 2))) (.f64 (sqrt.f64 (.f64 (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))) (*.f64 n U))) (sqrt.f64 2)))
	59.4b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
✓	31.5b	(.f64 (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (sqrt.f64 (sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	47.2b	(sqrt.f64 (/.f64 (.f64 (.f64 (.f64 2 n) U) (-.f64 (.f64 t t) (.f64 (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om))))) (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (-.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (*.f64 n (/.f64 l Om))))))))
	33.1b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 n (-.f64 U U)) (/.f64 Om l)))))))
	41.1b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
✓	31.7b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	57.7b	(neg.f64 (fma.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 t (.f64 l (sqrt.f64 2))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))) U))) (.f64 l (sqrt.f64 2)))))
	58.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	42.8b	(-.f64 (.f64 (sqrt.f64 (.f64 n (.f64 t U))) (sqrt.f64 2)) (.f64 (sqrt.f64 (/.f64 (.f64 n U) t)) (/.f64 (.f64 (pow.f64 l 2) (sqrt.f64 2)) Om)))
	60.4b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (-.f64 (.f64 (.f64 l l) U) (.f64 (*.f64 l l) U)))))) (/.f64 (sqrt.f64 2) Om))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))
	38.4b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))
	36.0b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))

Compiler

Compiled 184578 to 94038 computations (49.1% saved)

localize16.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.3b	(.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))
✓	5.8b	(.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
✓	6.2b	(.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))
✓	20.5b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))

series2.1s (5.9%)

Counts

4 → 252

Calls

4 calls:

1.5s	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
374.0ms	(.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
197.0ms	(.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))
37.0ms	(.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`pow1_binary64`
27×	`add-cbrt-cube_binary64`
27×	`add-exp-log_binary64`
18×	`pow-prod-down_binary64`
15×	`add-sqr-sqrt_binary64`

Counts

4 → 101

Calls

4 calls:

7.0ms	(.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))
5.0ms	(.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
4.0ms	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
3.0ms	(.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))

simplify328.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

769×	`fma-def_binary64`
462×	`*-commutative_binary64`
234×	`associate-r_binary64`
164×	`+-commutative_binary64`
153×	`associate-/l*_binary64`

Counts

353 → 286

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1061	23445
1	3515	22776
2	5052	22776

prune513.0ms (1.4%)

Pruning

23 alts after pruning (21 fresh and 2 done)

	Pruned	Kept	Total
New	280	6	286
Fresh	6	15	21
Picked	0	1	1
Done	1	1	2
Total	287	23	310

Error

12.4b

Counts

310 → 23

Alt Table

Status	Error	Program
	50.7b	(sqrt.f64 (.f64 (.f64 2 n) (cbrt.f64 (pow.f64 (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)) 3))))
	40.5b	(.f64 (sqrt.f64 (.f64 n (*.f64 t U))) (sqrt.f64 2))
	61.0b	(.f64 (.f64 n (sqrt.f64 2)) (sqrt.f64 (.f64 (-.f64 (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2)) (/.f64 (.f64 (pow.f64 l 2) U) (pow.f64 Om 2))) U)))
	62.2b	(sqrt.f64 (.f64 (.f64 2 n) (log.f64 (pow.f64 (exp.f64 U) (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (/.f64 (*.f64 n l) Om))) t)))))
✓	32.3b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	61.4b	(neg.f64 (.f64 n (sqrt.f64 (.f64 -2 (.f64 (-.f64 (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om)) (/.f64 (.f64 (.f64 l l) U) (.f64 Om Om))) U)))))
	38.4b	(sqrt.f64 (fma.f64 2 (.f64 n (.f64 U t)) (.f64 -4 (/.f64 (.f64 n (.f64 (.f64 l l) U)) Om))))
	37.6b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 (-.f64 t (.f64 2 (/.f64 (pow.f64 l 2) Om))) U)))
	42.8b	(sqrt.f64 (.f64 U (fma.f64 2 (fma.f64 n t (/.f64 (.f64 (.f64 (.f64 l l) U) (.f64 n n)) (.f64 Om Om))) (.f64 -4 (/.f64 (.f64 n (.f64 l l)) Om)))))
	32.6b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (/.f64 (.f64 (-.f64 U U) (*.f64 n l)) Om))))))
	57.1b	(neg.f64 (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	47.5b	(fma.f64 (sqrt.f64 (/.f64 (.f64 (pow.f64 n 3) U) (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))))) (/.f64 (.f64 (.f64 l l) U) (.f64 (.f64 Om Om) (sqrt.f64 2))) (.f64 (sqrt.f64 (.f64 (-.f64 t (fma.f64 2 (/.f64 (.f64 l l) Om) (/.f64 (.f64 n (.f64 (.f64 l l) U)) (.f64 Om Om)))) (*.f64 n U))) (sqrt.f64 2)))
	59.4b	(fma.f64 1/2 (.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 (.f64 (sqrt.f64 2) t) l)) (.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l)))
	34.1b	(sqrt.f64 (.f64 (.f64 2 n) (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (.f64 n (-.f64 U U)) (/.f64 l Om))) t))))
	41.1b	(.f64 (sqrt.f64 (.f64 2 (.f64 n U))) (sqrt.f64 (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t)))
✓	31.7b	(sqrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U U) (.f64 n (/.f64 l Om)))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (.f64 n (/.f64 l Om))))))))) (cbrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (*.f64 n (/.f64 l Om))))))))))
	57.7b	(neg.f64 (fma.f64 (sqrt.f64 (/.f64 (.f64 n U) (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))))) (/.f64 t (.f64 l (sqrt.f64 2))) (.f64 (sqrt.f64 (.f64 n (.f64 (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om)))) U))) (.f64 l (sqrt.f64 2)))))
	58.3b	(.f64 (sqrt.f64 (.f64 n (.f64 U (-.f64 (/.f64 (.f64 n U) (.f64 Om Om)) (+.f64 (/.f64 2 Om) (/.f64 (.f64 n U) (.f64 Om Om))))))) (*.f64 (sqrt.f64 2) l))
	45.4b	(.f64 (sqrt.f64 (.f64 2 n)) (sqrt.f64 (.f64 U (fma.f64 (/.f64 l Om) (fma.f64 l -2 (.f64 (-.f64 U* U) (/.f64 (*.f64 n l) Om))) t))))
	36.0b	(sqrt.f64 (.f64 (.f64 (.f64 2 n) U) (+.f64 t (.f64 (/.f64 l Om) (fma.f64 l -2 (neg.f64 (/.f64 (.f64 n (.f64 l U)) Om)))))))
	60.4b	(.f64 (sqrt.f64 (.f64 n (.f64 U (.f64 n (-.f64 (.f64 (.f64 l l) U) (.f64 (*.f64 l l) U)))))) (/.f64 (sqrt.f64 2) Om))
	60.6b	(sqrt.f64 (.f64 (.f64 2 n) (/.f64 (.f64 n (.f64 (pow.f64 l 2) (.f64 U U))) (pow.f64 Om 2))))
	38.4b	(sqrt.f64 (.f64 n (fma.f64 2 (.f64 U t) (.f64 -4 (/.f64 (.f64 (*.f64 l l) U) Om)))))

Compiler

Compiled 22042 to 11428 computations (48.2% saved)

regimes4.4s (12.2%)

Accuracy

Total 14.6b remaining (54.7%)

Threshold costs 0b (0%)

Counts

198 → 4

Compiler

Compiled 79042 to 47106 computations (40.4% saved)

bsearch14.0ms (0%)

Compiler: Compiled 33 to 22 computations (33.3% saved)

simplify43.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

200×	`distribute-rgt-neg-in_binary64`
138×	`cancel-sign-sub-inv_binary64`
134×	`distribute-lft-neg-in_binary64`
127×	`distribute-lft-neg-out_binary64`
119×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	290
1	107	290
2	141	290
3	175	290
4	212	290
5	241	290
6	259	290
7	293	290
8	329	290
9	381	290
10	456	290
11	555	290
12	635	290
13	722	290
14	821	290
15	890	290
16	936	290
17	953	290
18	955	290
19	949	290

end2.0ms (0%)

Compiler: Compiled 200 to 103 computations (48.5% saved)

sample4.0s (10.9%)

Algorithm

1×

intervals

Results

1.4s	12697×	body	128	nan
938.0ms	8000×	body	128	valid
139.0ms	1189×	body	128	invalid

Compiler

Compiled 1093 to 645 computations (41% saved)

Iter	Nodes	Cost
0	67	290
1	107	290
2	141	290
3	175	290
4	212	290
5	241	290
6	259	290
7	293	290
8	329	290
9	381	290
10	456	290
11	555	290
12	635	290
13	722	290
14	821	290
15	890	290
16	936	290
17	953	290
18	955	290
19	949	290

Iter	Nodes	Cost
0	67	290
1	107	290
2	141	290
3	175	290
4	212	290
5	241	290
6	259	290
7	293	290
8	329	290
9	381	290
10	456	290
11	555	290
12	635	290
13	722	290
14	821	290
15	890	290
16	936	290
17	953	290
18	955	290
19	949	290

Details

analyze5.7s (15.6%)

sample215.0ms (0.6%)

simplify79.0ms (0.2%)

prune9.0ms (0%)

localize32.0ms (0.1%)

series3.9s (10.8%)

rewrite66.0ms (0.2%)

simplify512.0ms (1.4%)

prune1.2s (3.3%)

localize44.0ms (0.1%)

prune2.7s (7.6%)

localize44.0ms (0.1%)

series4.8s (13.3%)

rewrite115.0ms (0.3%)

simplify828.0ms (2.3%)

prune4.5s (12.5%)

localize16.0ms (0%)

series2.1s (5.9%)

rewrite30.0ms (0.1%)

simplify328.0ms (0.9%)

prune513.0ms (1.4%)

regimes4.4s (12.2%)

bsearch14.0ms (0%)

simplify43.0ms (0.1%)

end2.0ms (0%)

sample4.0s (10.9%)

Profiling

Iter	Nodes	Cost
0	67	290
1	107	290
2	141	290
3	175	290
4	212	290
5	241	290
6	259	290
7	293	290
8	329	290
9	381	290
10	456	290
11	555	290
12	635	290
13	722	290
14	821	290
15	890	290
16	936	290
17	953	290
18	955	290
19	949	290