Pow sqrt x3 csch Add cbrt acot Add x0 x1 pi 
Mul Pow sqrt x3 Add csch Add cbrt acot Add x0 x1 pi -1 Mul Mul sqrt x3 log sqrt x3 Mul Mul Mul -1 coth Add cbrt acot Add x0 x1 pi csch Add cbrt acot Add x0 x1 pi Mul Pow Mul Mul 3 cbrt acot Add x0 x1 cbrt acot Add x0 x1 -1 Mul -1 Pow Add 1 Mul Add x0 x1 Add x0 x1 -1 