Metrics for ABCF->ab-angle b

analyze509.0ms (5.4%)

Memory

-1.6MiB live, 188.6MiB 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.2%	3.1%	95.1%	0.2%	0%	1.6%	0%	7
11.9%	10.9%	81.1%	0.2%	0%	7.8%	0%	8
12%	10.9%	80.3%	0.2%	0%	8.6%	0%	9
13.5%	12.1%	77.6%	0.2%	0%	10.1%	0%	10
17.5%	15.2%	71.5%	0.2%	0%	13.1%	0%	11
24.3%	20.1%	62.4%	0.2%	0%	17.3%	0%	12

Compiler

Compiled 87 to 47 computations (46% saved)

sample8.7s (92.8%)

Memory

9.7MiB live, 2 774.5MiB allocated

Samples

674.0ms	1 439×	1	valid-baseline
644.0ms	5 165×	0	valid-baseline
612.0ms	5 165×	0	valid-sollya
611.0ms	5 165×	0	valid-rival
568.0ms	872×	2	valid-baseline
349.0ms	1 439×	1	valid-rival
313.0ms	872×	2	valid-rival
273.0ms	1 439×	1	valid-sollya
233.0ms	872×	2	valid-sollya
76.0ms	321×	1	valid-rival-only-real
48.0ms	424×	0	valid-rival-only-real
10.0ms	13×	3	valid-baseline
6.0ms	13×	3	valid-rival
4.0ms	13×	3	valid-sollya
2.0ms	7×	1	valid-rival-only-zero
2.0ms	14×	0	valid-rival-only-zero
0.0ms	1×	2	valid-rival-only-zero

Bogosity

preprocess106.0ms (1.1%)

Memory

-1.3MiB live, 29.4MiB allocated

Algorithm

1×	egg-herbie

Rules

635×	`distribute-lft-in`
612×	`distribute-rgt-in`
383×	`unsub-neg`
382×	`*-commutative`
374×	`fmm-def`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2596
1	482	2224
2	1727	2112
3	6133	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 F (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 #s(literal 2 binary64) (fma.f64 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #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 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 F (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 #s(literal 2 binary64) (fma.f64 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #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 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 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 A) C))))) (-.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 #s(literal 4 binary64) (*.f64 (neg.f64 A) C))))
(/.f64 (sqrt.f64 (.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 (neg.f64 A) C)))) (.f64 (fma.f64 B B (.f64 A (.f64 #s(literal 4 binary64) C))) (.f64 F #s(literal 2 binary64))))) (neg.f64 (fma.f64 B B (.f64 A (*.f64 #s(literal 4 binary64) C)))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 C (+.f64 A (hypot.f64 B (+.f64 A C)))) (.f64 F (fma.f64 #s(literal 4 binary64) (.f64 A C) (pow.f64 B #s(literal 2 binary64))))))) (-.f64 (.f64 A (.f64 C #s(literal -4 binary64))) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 C (+.f64 A (hypot.f64 B (+.f64 A C)))) (.f64 F (fma.f64 #s(literal 4 binary64) (.f64 A C) (pow.f64 B #s(literal 2 binary64))))))) (fma.f64 A (*.f64 C #s(literal -4 binary64)) (neg.f64 (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 F (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 #s(literal 2 binary64) (fma.f64 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #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 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 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 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 #s(literal 4 binary64) (*.f64 A (neg.f64 C)))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 A (.f64 #s(literal 4 binary64) C))) (.f64 F #s(literal 2 binary64))) (-.f64 A (+.f64 C (hypot.f64 B (+.f64 A C)))))) (neg.f64 (fma.f64 B B (.f64 A (*.f64 #s(literal 4 binary64) C)))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 A C) (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 A (.f64 C #s(literal -4 binary64))) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 A C) (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)) (neg.f64 (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 #s(literal 2 binary64) (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.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 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (neg.f64 (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 (fma.f64 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 F #s(literal -2 binary64))))) (neg.f64 (fma.f64 C (*.f64 A #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) (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 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 A) C))))) (-.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 #s(literal 4 binary64) (*.f64 (neg.f64 A) C)))))
(/.f64 (sqrt.f64 (.f64 (-.f64 C (+.f64 A (hypot.f64 B (-.f64 (neg.f64 A) C)))) (.f64 (fma.f64 B B (.f64 A (.f64 #s(literal 4 binary64) C))) (.f64 F #s(literal 2 binary64))))) (fma.f64 B B (.f64 A (*.f64 #s(literal 4 binary64) C))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 (-.f64 C (+.f64 A (hypot.f64 B (+.f64 A C)))) (.f64 F (fma.f64 #s(literal 4 binary64) (.f64 A C) (pow.f64 B #s(literal 2 binary64))))))) (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 F (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 #s(literal 2 binary64) (fma.f64 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (fma.f64 C (*.f64 A #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 (.f64 #s(literal 2 binary64) (.f64 F (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 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 #s(literal 4 binary64) (*.f64 A (neg.f64 C))))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 B B (.f64 A (.f64 #s(literal 4 binary64) C))) (.f64 F #s(literal 2 binary64))) (-.f64 A (+.f64 C (hypot.f64 B (+.f64 A C)))))) (fma.f64 B B (.f64 A (*.f64 #s(literal 4 binary64) C))))
(/.f64 (sqrt.f64 (.f64 (.f64 (fma.f64 #s(literal 4 binary64) (.f64 A C) (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 #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 #s(literal 2 binary64) (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.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 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) F) #s(literal -2 binary64)))) (fma.f64 C (*.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))
(/.f64 (sqrt.f64 (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 (fma.f64 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (.f64 F #s(literal -2 binary64))))) (fma.f64 C (*.f64 A #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 (+.f64 B 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 #s(literal 2 binary64) (.f64 F (.f64 (fma.f64 A A (.f64 C (.f64 B #s(literal -4 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 (.f64 F (fma.f64 C (.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (+.f64 B (-.f64 C (hypot.f64 A (-.f64 B C))))))) (neg.f64 (fma.f64 C (*.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64)))))
(/.f64 (sqrt.f64 (.f64 (.f64 F (fma.f64 C (.f64 B #s(literal -4 binary64)) (pow.f64 A #s(literal 2 binary64)))) (.f64 #s(literal 2 binary64) (+.f64 B (-.f64 C (hypot.f64 A (-.f64 B C))))))) (-.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 F (.f64 (+.f64 A (-.f64 C (hypot.f64 B (-.f64 A C)))) (.f64 #s(literal 2 binary64) (fma.f64 C (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))))))) (neg.f64 (fma.f64 C (*.f64 A #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 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 #s(literal 2 binary64) (.f64 (.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 #s(literal 2 binary64) (.f64 A (.f64 (fma.f64 B B (.f64 C (.f64 F #s(literal -4 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 #s(literal 2 binary64) (.f64 A (.f64 (fma.f64 C (.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 F (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 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 A (.f64 (fma.f64 C (.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.f64 C (-.f64 F (hypot.f64 B (-.f64 F C)))))))) (-.f64 (.f64 #s(literal 4 binary64) (.f64 C F)) (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 #s(literal 2 binary64) (.f64 (.f64 F (-.f64 (pow.f64 C #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 A B)))) (+.f64 A (-.f64 B (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 #s(literal 4 binary64) (*.f64 A B))))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 F (.f64 (fma.f64 C C (.f64 B (.f64 A #s(literal -4 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 A (-.f64 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 A (.f64 #s(literal 4 binary64) 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 #s(literal 2 binary64) (.f64 (.f64 C (-.f64 (pow.f64 B #s(literal 2 binary64)) (.f64 (.f64 #s(literal 4 binary64) 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 (*.f64 #s(literal 4 binary64) A) F)))
(/.f64 (sqrt.f64 (.f64 #s(literal 2 binary64) (.f64 C (.f64 (fma.f64 B B (.f64 F (.f64 A #s(literal -4 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 C (.f64 (fma.f64 F (.f64 A #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.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 C (.f64 (fma.f64 A (.f64 F #s(literal -4 binary64)) (pow.f64 B #s(literal 2 binary64))) (+.f64 A (-.f64 F (hypot.f64 B (-.f64 A F)))))))) (-.f64 (.f64 A (.f64 #s(literal 4 binary64) F)) (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
	21.5%	(/.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

21.5%

(/.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)

simplify30.0ms (0.3%)

Memory

3.0MiB live, 3.0MiB allocated

Algorithm

1×	egg-herbie

Rules

116×	`unsub-neg`
88×	`distribute-lft-neg-in`
79×	`neg-mul-1`
47×	`neg-sub0`
42×	`distribute-neg-out`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	30	157
1	52	157
2	79	157
3	100	153
4	134	153
5	181	153
6	229	153
7	298	153
8	428	153
9	525	153
10	559	153
11	608	153
12	645	153
13	674	153
14	695	153
15	719	153
16	723	153
17	730	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)

preprocess29.0ms (0.3%)

Memory

-3.6MiB live, 30.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	52	157
2	79	157
3	100	153
4	134	153
5	181	153
6	229	153
7	298	153
8	428	153
9	525	153
10	559	153
11	608	153
12	645	153
13	674	153
14	695	153
15	719	153
16	723	153
17	730	153

Iter	Nodes	Cost
0	30	157
1	52	157
2	79	157
3	100	153
4	134	153
5	181	153
6	229	153
7	298	153
8	428	153
9	525	153
10	559	153
11	608	153
12	645	153
13	674	153
14	695	153
15	719	153
16	723	153
17	730	153

analyze509.0ms (5.4%)

sample8.7s (92.8%)

preprocess106.0ms (1.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify30.0ms (0.3%)

soundness0.0ms (0%)

preprocess29.0ms (0.3%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	30	157
1	52	157
2	79	157
3	100	153
4	134	153
5	181	153
6	229	153
7	298	153
8	428	153
9	525	153
10	559	153
11	608	153
12	645	153
13	674	153
14	695	153
15	719	153
16	723	153
17	730	153