Add Mul Mul Mul 1.09502860874757 x0 x0 Add Mul acos acoth Pow pi -2 x0 x0 Add x0 x0 
Add Add Mul Add Mul acos acoth Pow pi -2 x0 x0 Add Mul x0 1.09502860874757 Mul 1.09502860874757 x0 Mul Mul Mul 1.09502860874757 x0 x0 Add acos acoth Pow pi -2 1 2 