Metrics for ABCF->ab-angle b

analyze446.0ms (5.1%)

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 90 to 46 computations (48.9% saved)

sample8.1s (93%)

Results

683.0ms	5625×	0	valid-sollya
728.0ms	5625×	0	valid-rival
709.0ms	5625×	0	valid-rival-baseline
447.0ms	1677×	1	valid-rival-baseline
477.0ms	1677×	1	valid-rival
318.0ms	1677×	1	valid-sollya
405.0ms	935×	2	valid-rival
414.0ms	935×	2	valid-rival-baseline
248.0ms	935×	2	valid-sollya
5.0ms	19×	3	valid-sollya
10.0ms	19×	3	valid-rival-baseline
11.0ms	19×	3	valid-rival

Bogosity

preprocess103.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

635×	`distribute-lft-in`
612×	`distribute-rgt-in`
513×	`unsub-neg`
382×	`*-commutative`
374×	`fma-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	170	2596
1	482	2224
2	1727	2112
3	6131	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%)

Compiler: Compiled 4 to 4 computations (0% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	16.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

16.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%)

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%)

Stop Event

1×

fuel

Compiler

Compiled 43 to 22 computations (48.8% saved)

preprocess29.0ms (0.3%)

Remove

(sort A C)

(abs B)

Compiler

Compiled 518 to 264 computations (49% saved)

ABCF->ab-angle b

analyze446.0ms (5.1%)

sample8.1s (93%)

preprocess103.0ms (1.2%)

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

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