Pow acot asin Add acsch Pow x3 -2 0.785398163397448 Mul -1 x0 
Mul Pow acot asin Add acsch Pow x3 -2 0.785398163397448 Add Mul -1 x0 -1 Mul Mul acot asin Add acsch Pow x3 -2 0.785398163397448 log acot asin Add acsch Pow x3 -2 0.785398163397448 -1 