Add Pow acsch x3 Pow Add -0.653643620863612 acot pi x0 acot asin Pow x0 pi 
Add Mul Pow acsch x3 Add Pow Add -0.653643620863612 acot pi x0 -1 Mul Mul acsch x3 log acsch x3 Mul Pow Add -0.653643620863612 acot pi Add x0 -1 Mul Add -0.653643620863612 acot pi log Add -0.653643620863612 acot pi Mul -1 Mul Mul Mul Pow x0 Add pi -1 pi Pow sqrt Add 1 Mul -1 Mul Pow x0 pi Pow x0 pi -1 Pow Add 1 Mul asin Pow x0 pi asin Pow x0 pi -1 