Metrics for Toniolo and Linder, Equation (13)

analyze624.0ms (7.6%)

Memory

6.5MiB live, 262.9MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
0%	0%	99.7%	0.3%	0%	0%	0%	8
0%	0%	99.7%	0.3%	0%	0%	0%	9
0%	0%	97.8%	0.3%	0%	1.9%	0%	10
0%	0%	97.4%	0.3%	0%	2.3%	0%	11
0%	0%	94.8%	0.3%	0%	4.9%	0%	12

Compiler

Compiled 65 to 45 computations (30.8% saved)

sample7.4s (90.5%)

Memory

5.8MiB live, 2 466.4MiB allocated

Samples

978.0ms	8 256×	valid-baseline
967.0ms	8 256×	valid-sollya
928.0ms	8 256×	valid-rival

Bogosity

preprocess90.0ms (1.1%)

Memory

-0.2MiB live, 30.5MiB allocated

Algorithm

1×	egg-herbie

Rules

807×	`fma-define`
512×	`cancel-sign-sub-inv`
358×	`distribute-lft-neg-in`
337×	`distribute-rgt-neg-in`
291×	`fmm-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	234	3456
1	734	3304
2	2896	3204

Stop Event

1×	node limit

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U)))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) n) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) t) U) (-.f64 (-.f64 n (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 t (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) l) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 n n) Om))) (.f64 (.f64 l (pow.f64 (/.f64 n Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) Om) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) n))) (.f64 (.f64 Om (pow.f64 (/.f64 l n) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U* (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U n)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) t) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 t U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) l) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 l U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) Om) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U) #s(literal 2 binary64))) (-.f64 Om U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 l (.f64 #s(literal 2 binary64) (/.f64 (.f64 t t) Om))) (.f64 (.f64 n (pow.f64 (/.f64 t Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 Om (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) t))) (.f64 (.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 Om Om) l))) (.f64 (.f64 n (pow.f64 (/.f64 Om l) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 U l)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U*) #s(literal 2 binary64))) (-.f64 U Om)))))

Outputs
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (neg.f64 n) U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (-.f64 U U) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (neg.f64 n))))))
(sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (+.f64 t (+.f64 (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))) (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64)))))))
(sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (fma.f64 (.f64 (-.f64 U U) n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 (neg.f64 U) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U))))))
(sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (neg.f64 (+.f64 U U*))))))))
(sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 (neg.f64 t) (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (neg.f64 t) (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (-.f64 (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64)) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l (neg.f64 Om))))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (+.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 #s(literal 2 binary64) (*.f64 l (/.f64 l Om)) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U (neg.f64 U))))))))
(sqrt.f64 (.f64 (.f64 (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U))))) (*.f64 #s(literal 2 binary64) n)) U))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (+.f64 U U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) Om))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) (neg.f64 n)) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 (neg.f64 n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (neg.f64 n) U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (-.f64 U U) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (neg.f64 n)))))))
(neg.f64 (sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (+.f64 t (+.f64 (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))) (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64))))))))
(neg.f64 (sqrt.f64 (.f64 U (.f64 (.f64 n #s(literal -2 binary64)) (fma.f64 (.f64 (-.f64 U U) n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) (neg.f64 U)) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 (neg.f64 U) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 (neg.f64 U) U)))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (neg.f64 (+.f64 U U*)))))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 U (.f64 n #s(literal -2 binary64))) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 (neg.f64 t) (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 (neg.f64 t) (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (neg.f64 t) (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*)))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (-.f64 (.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64)) t))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 (neg.f64 l) (neg.f64 l)) Om))) (.f64 (.f64 n (pow.f64 (/.f64 (neg.f64 l) Om) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*)))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) (neg.f64 Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64))) (-.f64 U U))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l (neg.f64 Om))))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 l (neg.f64 Om)) #s(literal 2 binary64)))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 (+.f64 t (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))))))))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 #s(literal 2 binary64) (*.f64 l (/.f64 l Om)) t))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U (neg.f64 U)))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U (neg.f64 U)))))))))
(neg.f64 (sqrt.f64 (.f64 (.f64 (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U U))))) (*.f64 #s(literal 2 binary64) n)) U)))
(neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 n (+.f64 U U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) Om)))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) n) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U n)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U)))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (.f64 U (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 n U*)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 U (-.f64 n U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) Om))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) t) U) (-.f64 (-.f64 n (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 t (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 t U)) (-.f64 (+.f64 n (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 t (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U t)) (-.f64 n (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 t (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U U*)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 U t) (fma.f64 t (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) n)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) l) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 n n) Om))) (.f64 (.f64 l (pow.f64 (/.f64 n Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) l) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 n (/.f64 n Om)))) (.f64 l (.f64 (pow.f64 (/.f64 n Om) #s(literal 2 binary64)) (-.f64 U U)))))))
(sqrt.f64 (.f64 U (.f64 (.f64 #s(literal 2 binary64) l) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 n (/.f64 n Om)) (.f64 l (.f64 (-.f64 U U*) (pow.f64 (/.f64 n Om) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 U l) (fma.f64 l (.f64 (pow.f64 (/.f64 n Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 n #s(literal -2 binary64)) (/.f64 n Om) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) Om) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) n))) (.f64 (.f64 Om (pow.f64 (/.f64 l n) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) Om) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l n)))) (.f64 Om (.f64 (pow.f64 (/.f64 l n) #s(literal 2 binary64)) (-.f64 U U)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U Om)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l n)) (.f64 Om (.f64 (-.f64 U U*) (pow.f64 (/.f64 l n) #s(literal 2 binary64))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 Om (.f64 U (fma.f64 Om (.f64 (pow.f64 (/.f64 l n) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 l (/.f64 l n)) #s(literal -2 binary64) t))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) U) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 U* (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U n)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 U (*.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U n)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 U U)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 U (-.f64 U n)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 U U) (-.f64 (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t) (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (.f64 U (-.f64 U n)))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) t) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 t U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) t) (-.f64 (+.f64 U (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 t U))))))
(sqrt.f64 (.f64 (.f64 n (.f64 #s(literal 2 binary64) t)) (-.f64 U (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 t U*))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (+.f64 U* (neg.f64 t))) (fma.f64 (*.f64 l (/.f64 l Om)) #s(literal -2 binary64) U))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) l) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 l U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) l) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 U (/.f64 U Om)))) (.f64 n (.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (-.f64 l U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n l)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 U (/.f64 U Om)) (.f64 n (.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (-.f64 l U*)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 l (-.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (-.f64 l U)) (.f64 #s(literal 2 binary64) (*.f64 U (/.f64 U Om))))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) Om) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U) #s(literal 2 binary64))) (-.f64 Om U)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) Om) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l U)))) (.f64 (.f64 n (pow.f64 (/.f64 l U) #s(literal 2 binary64))) (-.f64 Om U)))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n Om) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l U)) (.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 Om U*))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n Om) (-.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 Om U)) (/.f64 (.f64 (*.f64 #s(literal 2 binary64) l) l) U))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 l (/.f64 l Om)))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))))
(sqrt.f64 (.f64 (fma.f64 (.f64 (-.f64 U U) n) (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (fma.f64 (.f64 l (/.f64 l Om)) #s(literal -2 binary64) t)) (.f64 #s(literal 2 binary64) (.f64 n U*))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 l (.f64 #s(literal 2 binary64) (/.f64 (.f64 t t) Om))) (.f64 (.f64 n (pow.f64 (/.f64 t Om) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 (+.f64 l (.f64 #s(literal -2 binary64) (.f64 t (/.f64 t Om)))) (.f64 n (.f64 (pow.f64 (/.f64 t Om) #s(literal 2 binary64)) (-.f64 U U))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 l (fma.f64 #s(literal 2 binary64) (.f64 t (/.f64 t Om)) (.f64 n (.f64 (-.f64 U U*) (pow.f64 (/.f64 t Om) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 t Om) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 t (/.f64 t Om)) #s(literal -2 binary64) l)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 Om (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) t))) (.f64 (.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 Om (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l t))) (.f64 n (.f64 (pow.f64 (/.f64 l t) #s(literal 2 binary64)) (-.f64 U U))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 Om (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l t)) (.f64 (-.f64 U U) (*.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 (.f64 n (pow.f64 (/.f64 l t) #s(literal 2 binary64))) (-.f64 U* U) (fma.f64 (*.f64 l (/.f64 l t)) #s(literal -2 binary64) Om)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 U (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U t)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 U (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om))) (.f64 n (.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U t)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 U (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l Om)) (.f64 n (*.f64 (pow.f64 (/.f64 l Om) #s(literal 2 binary64)) (-.f64 U t))))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 Om Om) l))) (.f64 (.f64 n (pow.f64 (/.f64 Om l) #s(literal 2 binary64))) (-.f64 U U)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 Om (/.f64 Om l)))) (.f64 (-.f64 U U) (.f64 n (pow.f64 (/.f64 Om l) #s(literal 2 binary64)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 Om (/.f64 Om l)) (.f64 n (.f64 (-.f64 U U*) (pow.f64 (/.f64 Om l) #s(literal 2 binary64)))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (fma.f64 n (.f64 (pow.f64 (/.f64 Om l) #s(literal 2 binary64)) (-.f64 U* U)) (fma.f64 (*.f64 Om (/.f64 Om l)) #s(literal -2 binary64) t)))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 U U) Om))) (.f64 (.f64 n (pow.f64 (/.f64 U Om) #s(literal 2 binary64))) (-.f64 U l)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 (+.f64 t (.f64 #s(literal -2 binary64) (.f64 U (/.f64 U* Om)))) (.f64 n (.f64 (pow.f64 (/.f64 U* Om) #s(literal 2 binary64)) (-.f64 U l)))))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) n) (.f64 U (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 U* (/.f64 U* Om)) (.f64 n (.f64 (pow.f64 (/.f64 U* Om) #s(literal 2 binary64)) (-.f64 U l))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (-.f64 t (fma.f64 (pow.f64 (/.f64 U Om) #s(literal 2 binary64)) (.f64 n (-.f64 U l)) (.f64 #s(literal 2 binary64) (.f64 U (/.f64 U* Om)))))))))
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) U))) (.f64 (.f64 n (pow.f64 (/.f64 l U*) #s(literal 2 binary64))) (-.f64 U Om)))))
(sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 n U)) (-.f64 t (+.f64 (.f64 #s(literal 2 binary64) (.f64 l (/.f64 l U))) (.f64 n (.f64 (pow.f64 (/.f64 l U*) #s(literal 2 binary64)) (-.f64 U Om)))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 n U) (-.f64 t (fma.f64 #s(literal 2 binary64) (.f64 l (/.f64 l U)) (.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 U Om))))))))
(sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 n (.f64 U (-.f64 t (fma.f64 n (.f64 (pow.f64 (/.f64 l U) #s(literal 2 binary64)) (-.f64 U Om)) (/.f64 (.f64 (.f64 #s(literal 2 binary64) l) l) U)))))))

Symmetry

(abs l)

Compiler

Compiled 34 to 21 computations (38.2% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 6 to 6 computations (0% saved)

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	48.9%	(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))

Status

Accuracy

Program

48.9%

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))

Compiler

Compiled 68 to 42 computations (38.2% saved)

simplify35.0ms (0.4%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Rules

195×	`unsub-neg`
127×	`neg-mul-1`
87×	`distribute-lft-neg-in`
50×	`distribute-neg-out`
50×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116

Stop Event

1×

saturated

Calls

Call 1

Inputs

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))

Outputs

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (+.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U* U)))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 34 to 21 computations (38.2% saved)

preprocess23.0ms (0.3%)

Memory: -7.1MiB live, 26.4MiB allocated
Remove: (abs l)
Compiler: Compiled 272 to 168 computations (38.2% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116

analyze624.0ms (7.6%)

sample7.4s (90.5%)

preprocess90.0ms (1.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify35.0ms (0.4%)

soundness0.0ms (0%)

preprocess23.0ms (0.3%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	31	116
1	49	116
2	80	116
3	106	116
4	141	116
5	173	116
6	191	116
7	302	116
8	568	116
9	732	116
10	744	116
11	787	116
12	816	116
13	852	116
14	886	116
15	914	116
16	935	116
17	950	116
18	956	116
19	957	116