Metrics for ABCF->ab-angle a

analyze534.0ms (5.6%)

Memory

3.8MiB live, 198.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
3.1%	3.1%	96.7%	0.2%	0%	0%	0%	7
9.5%	9.4%	88.9%	0.2%	0%	1.6%	0%	8
9.9%	9.4%	85%	0.2%	0%	5.5%	0%	9
12.1%	11.3%	82.1%	0.2%	0%	6.4%	0%	10
16.9%	15.4%	75.5%	0.2%	0%	8.9%	0%	11
23.3%	20.5%	67.3%	0.2%	0%	12%	0%	12

Compiler

Compiled 87 to 47 computations (46% saved)

sample8.8s (92.7%)

Memory

3.2MiB live, 2 815.7MiB allocated

Samples

716.0ms	1 537×	1	valid-baseline
622.0ms	5 098×	0	valid-baseline
600.0ms	5 098×	0	valid-sollya
594.0ms	5 098×	0	valid-rival
577.0ms	882×	2	valid-baseline
370.0ms	1 537×	1	valid-rival
315.0ms	882×	2	valid-rival
291.0ms	1 537×	1	valid-sollya
235.0ms	882×	2	valid-sollya
76.0ms	321×	1	valid-rival-only-real
45.0ms	391×	0	valid-rival-only-real
10.0ms	14×	3	valid-baseline
6.0ms	14×	3	valid-rival
4.0ms	14×	3	valid-sollya
2.0ms	9×	1	valid-rival-only-zero
0.0ms	4×	0	valid-rival-only-zero

Bogosity

preprocess106.0ms (1.1%)

Memory

-2.7MiB live, 29.4MiB allocated

Algorithm

1×	egg-herbie

Rules

816×	`distribute-lft-in`
779×	`distribute-rgt-in`
536×	`*-commutative`
509×	`fma-define`
274×	`fmm-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2596
1	539	2224
2	2092	2112
3	7486	2112

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C)))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 A #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) B) C)) F)) (+.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 B C) #s(literal 2 binary64)) (pow.f64 A #s(literal 2 binary64)))))))) (-.f64 (pow.f64 A #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) B) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) C) A)) F)) (+.f64 (+.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 C A) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) C) A)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) F) C)) A)) (+.f64 (+.f64 F C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 F C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) F) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 C #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) B)) F)) (+.f64 (+.f64 A B) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A B) #s(literal 2 binary64)) (pow.f64 C #s(literal 2 binary64)))))))) (-.f64 (pow.f64 C #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) B)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) B)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (-.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) F)) C)) (+.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A F) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) F)))

Outputs
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C))) F)) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 A (.f64 C #s(literal -4 binary64)))) F) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (.f64 A (*.f64 C #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C))) F)) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 A (.f64 C #s(literal -4 binary64)))) F) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (.f64 A (*.f64 C #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 C (neg.f64 (.f64 #s(literal 4 binary64) A))))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 C (neg.f64 (*.f64 #s(literal 4 binary64) A)))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (fma.f64 B B (.f64 #s(literal 4 binary64) (.f64 A C)))) (+.f64 (-.f64 C A) (hypot.f64 B (-.f64 (neg.f64 A) C)))))) (neg.f64 (fma.f64 B B (.f64 #s(literal 4 binary64) (*.f64 A C)))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 F (.f64 (fma.f64 #s(literal 4 binary64) (.f64 A C) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 (hypot.f64 B (+.f64 A C)) A)))))) (neg.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64)))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C))) F)) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 A (.f64 C #s(literal -4 binary64)))) F) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (.f64 A (*.f64 C #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) (neg.f64 C)))) (+.f64 (-.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C))))
(/.f64 (sqrt.f64 (.f64 (.f64 F (fma.f64 B B (.f64 #s(literal 4 binary64) (.f64 A C)))) (.f64 #s(literal 2 binary64) (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C)))))) (neg.f64 (fma.f64 B B (.f64 #s(literal 4 binary64) (*.f64 A C)))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (fma.f64 #s(literal 4 binary64) (.f64 A C) (pow.f64 B #s(literal 2 binary64)))) (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) C))))) (neg.f64 (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64)))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64)))))) (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C))) (neg.f64 F)))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 B B (.f64 A (.f64 C #s(literal -4 binary64)))) (neg.f64 F))))) (neg.f64 (fma.f64 B B (.f64 A (*.f64 C #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))) (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) (neg.f64 A)) C)) F)) (+.f64 (+.f64 (neg.f64 A) C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) (neg.f64 A)) C))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 C (neg.f64 (.f64 #s(literal 4 binary64) A))))) (+.f64 (-.f64 C A) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 (neg.f64 A) C) #s(literal 2 binary64))))))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 C (neg.f64 (*.f64 #s(literal 4 binary64) A))))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (fma.f64 B B (.f64 #s(literal 4 binary64) (.f64 A C)))) (+.f64 (-.f64 C A) (hypot.f64 B (-.f64 (neg.f64 A) C)))))) (fma.f64 B B (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 F (.f64 (fma.f64 #s(literal 4 binary64) (.f64 A C) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 (hypot.f64 B (+.f64 A C)) A)))))) (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C)))) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 (neg.f64 B) #s(literal 2 binary64)))))))))) (neg.f64 (-.f64 (pow.f64 (neg.f64 B) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C)))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 A (.f64 C #s(literal -4 binary64)))) F) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (fma.f64 B B (.f64 A (*.f64 C #s(literal -4 binary64)))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) (neg.f64 C))) F)) (+.f64 (+.f64 A (neg.f64 C)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C)))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) (neg.f64 C)))) (+.f64 (-.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A (neg.f64 C)) #s(literal 2 binary64))))))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) (neg.f64 C)))))
(/.f64 (sqrt.f64 (.f64 (.f64 F (fma.f64 B B (.f64 #s(literal 4 binary64) (.f64 A C)))) (.f64 #s(literal 2 binary64) (+.f64 (-.f64 A C) (hypot.f64 B (+.f64 A C)))))) (fma.f64 B B (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (fma.f64 #s(literal 4 binary64) (.f64 A C) (pow.f64 B #s(literal 2 binary64)))) (+.f64 A (-.f64 (hypot.f64 B (+.f64 A C)) C))))) (fma.f64 #s(literal 4 binary64) (*.f64 A C) (pow.f64 B #s(literal 2 binary64))))
(neg.f64 (/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) (neg.f64 F))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64)))))) (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C))) (neg.f64 F)))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C)))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 #s(literal 2 binary64) (.f64 (fma.f64 B B (.f64 A (.f64 C #s(literal -4 binary64)))) (neg.f64 F))))) (fma.f64 B B (.f64 A (*.f64 C #s(literal -4 binary64)))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))) (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 A #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) B) C)) F)) (+.f64 (+.f64 B C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 B C) #s(literal 2 binary64)) (pow.f64 A #s(literal 2 binary64)))))))) (-.f64 (pow.f64 A #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) B) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 F (-.f64 (pow.f64 A #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 B C))))) (+.f64 B (+.f64 C (sqrt.f64 (+.f64 (pow.f64 A #s(literal 2 binary64)) (pow.f64 (-.f64 B C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 A #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 B C))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A A (.f64 C (.f64 B #s(literal -4 binary64)))) (.f64 F #s(literal 2 binary64))) (+.f64 B (+.f64 C (hypot.f64 A (-.f64 B C)))))) (neg.f64 (fma.f64 A A (.f64 C (*.f64 B #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 F (.f64 (+.f64 C (+.f64 B (hypot.f64 A (-.f64 B C)))) (.f64 #s(literal 2 binary64) (fma.f64 C (.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 (.f64 F (.f64 (+.f64 C (+.f64 B (hypot.f64 A (-.f64 B C)))) (.f64 #s(literal 2 binary64) (fma.f64 C (.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64))))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 B C)) (pow.f64 A #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) C) A)) F)) (+.f64 (+.f64 C A) (sqrt.f64 (+.f64 (pow.f64 (-.f64 C A) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) C) A)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C))) F)) (+.f64 A (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 A (.f64 C #s(literal -4 binary64)))) F) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C))))))) (neg.f64 (fma.f64 B B (.f64 A (*.f64 C #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 A C)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 #s(literal 2 binary64) F)) (+.f64 A (+.f64 C (hypot.f64 B (-.f64 C A)))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) F) C)) A)) (+.f64 (+.f64 F C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 F C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) F) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 A (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 F C))))) (+.f64 F (+.f64 C (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 F C) #s(literal 2 binary64))))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 F C))))
(/.f64 (sqrt.f64 (.f64 (.f64 A (fma.f64 B B (.f64 C (.f64 F #s(literal -4 binary64))))) (.f64 #s(literal 2 binary64) (+.f64 C (+.f64 F (hypot.f64 B (-.f64 F C))))))) (neg.f64 (fma.f64 B B (.f64 C (*.f64 F #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 (.f64 A (fma.f64 C (.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (+.f64 F (+.f64 C (hypot.f64 B (-.f64 F C))))))) (neg.f64 (fma.f64 C (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 C #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) B)) F)) (+.f64 (+.f64 A B) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A B) #s(literal 2 binary64)) (pow.f64 C #s(literal 2 binary64)))))))) (-.f64 (pow.f64 C #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) B)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 F (-.f64 (pow.f64 C #s(literal 2 binary64)) (.f64 B (.f64 #s(literal 4 binary64) A))))) (+.f64 (+.f64 B A) (sqrt.f64 (+.f64 (pow.f64 C #s(literal 2 binary64)) (pow.f64 (-.f64 A B) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 C #s(literal 2 binary64)) (.f64 B (*.f64 #s(literal 4 binary64) A))))
(/.f64 (sqrt.f64 (.f64 (.f64 F (fma.f64 C C (.f64 B (.f64 A #s(literal -4 binary64))))) (.f64 #s(literal 2 binary64) (+.f64 B (+.f64 A (hypot.f64 C (-.f64 A B))))))) (neg.f64 (fma.f64 C C (.f64 B (*.f64 A #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (fma.f64 B (.f64 A #s(literal -4 binary64)) (pow.f64 C #s(literal 2 binary64)))) (+.f64 B (+.f64 A (hypot.f64 C (-.f64 A B))))))) (neg.f64 (fma.f64 B (*.f64 A #s(literal -4 binary64)) (pow.f64 C #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (.f64 F (fma.f64 B (.f64 A #s(literal -4 binary64)) (pow.f64 C #s(literal 2 binary64)))) (+.f64 B (+.f64 A (hypot.f64 C (-.f64 A B))))))) (-.f64 (.f64 A (.f64 B #s(literal 4 binary64))) (pow.f64 C #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) B)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (-.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 B (-.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A C))))) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 F #s(literal 2 binary64)))))))) (-.f64 (pow.f64 F #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A C))))
(/.f64 (sqrt.f64 (.f64 (.f64 B (fma.f64 F F (.f64 A (.f64 C #s(literal -4 binary64))))) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 F (-.f64 A C))))))) (neg.f64 (fma.f64 F F (.f64 A (*.f64 C #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 (.f64 B (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 F #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 F (-.f64 A C))))))) (neg.f64 (fma.f64 A (*.f64 C #s(literal -4 binary64)) (pow.f64 F #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 (.f64 (.f64 B (fma.f64 A (.f64 C #s(literal -4 binary64)) (pow.f64 F #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (+.f64 A (+.f64 C (hypot.f64 F (-.f64 A C))))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 A C)) (pow.f64 F #s(literal 2 binary64))))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) F)) C)) (+.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A F) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) F)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 C (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A F))))) (+.f64 (+.f64 A F) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A F) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (*.f64 A F))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 F (.f64 A #s(literal -4 binary64)))) (.f64 C #s(literal 2 binary64))) (+.f64 F (+.f64 A (hypot.f64 B (-.f64 A F)))))) (neg.f64 (fma.f64 B B (.f64 F (*.f64 A #s(literal -4 binary64))))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (fma.f64 F (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 C (+.f64 A (+.f64 F (hypot.f64 B (-.f64 A F)))))))) (neg.f64 (fma.f64 F (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (fma.f64 A (.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 C (+.f64 A (+.f64 F (hypot.f64 B (-.f64 A F)))))))) (neg.f64 (fma.f64 A (*.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))))

Symmetry

(abs B)

(sort A C)

Compiler

Compiled 44 to 22 computations (50% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	19.3%	(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))

Status

Accuracy

Program

19.3%

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)))

Compiler

Compiled 88 to 44 computations (50% saved)

simplify32.0ms (0.3%)

Memory

3.4MiB live, 3.4MiB allocated

Algorithm

1×	egg-herbie

Rules

103×	`unsub-neg`
87×	`distribute-lft-neg-in`
72×	`neg-mul-1`
45×	`neg-sub0`
40×	`cancel-sign-sub`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	157
1	51	157
2	75	157
3	94	153
4	127	153
5	174	153
6	222	153
7	282	153
8	376	153
9	428	153
10	448	153
11	471	153
12	501	153
13	533	153
14	571	153
15	604	153
16	640	153
17	657	153
18	669	153
19	670	153

Stop Event

1×

saturated

Calls

Call 1

Inputs

(/.f64 (neg.f64 (sqrt.f64 (*.f64 (*.f64 #s(literal 2 binary64) (*.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (*.f64 (*.f64 #s(literal 4 binary64) A) C)))

Outputs
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 (-.f64 A C) #s(literal 2 binary64)) (pow.f64 B #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (neg.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64)))))))) (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C)))
(/.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))) (neg.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (*.f64 #s(literal 4 binary64) A) C))))
(/.f64 (sqrt.f64 (.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) A) C)) F)) (+.f64 (+.f64 A C) (sqrt.f64 (+.f64 (pow.f64 B #s(literal 2 binary64)) (pow.f64 (-.f64 A C) #s(literal 2 binary64))))))) (-.f64 (.f64 (*.f64 #s(literal 4 binary64) A) C) (pow.f64 B #s(literal 2 binary64))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 43 to 22 computations (48.8% saved)

preprocess26.0ms (0.3%)

Memory

-2.1MiB live, 29.1MiB allocated

Remove

(sort A C)

(abs B)

Compiler

Compiled 518 to 264 computations (49% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	30	157
1	51	157
2	75	157
3	94	153
4	127	153
5	174	153
6	222	153
7	282	153
8	376	153
9	428	153
10	448	153
11	471	153
12	501	153
13	533	153
14	571	153
15	604	153
16	640	153
17	657	153
18	669	153
19	670	153

Iter	Nodes	Cost
0	30	157
1	51	157
2	75	157
3	94	153
4	127	153
5	174	153
6	222	153
7	282	153
8	376	153
9	428	153
10	448	153
11	471	153
12	501	153
13	533	153
14	571	153
15	604	153
16	640	153
17	657	153
18	669	153
19	670	153

analyze534.0ms (5.6%)

sample8.8s (92.7%)

preprocess106.0ms (1.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify32.0ms (0.3%)

soundness0.0ms (0%)

preprocess26.0ms (0.3%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	30	157
1	51	157
2	75	157
3	94	153
4	127	153
5	174	153
6	222	153
7	282	153
8	376	153
9	428	153
10	448	153
11	471	153
12	501	153
13	533	153
14	571	153
15	604	153
16	640	153
17	657	153
18	669	153
19	670	153