Mul Pow 2 cosh x6 acoth Mul Mul 5 Add csc x0 pi Pow Mul cos acot x3 x3 x0 
Mul Pow 2 cosh x6 Mul Add Mul Pow Mul cos acot x3 x3 x0 Mul 5 Mul Mul -1 cot x0 csc x0 Mul Mul 5 Add csc x0 pi Mul Pow Mul cos acot x3 x3 Add x0 -1 Mul Mul cos acot x3 x3 log Mul cos acot x3 x3 Pow Add 1 Mul -1 Mul Mul Mul 5 Add csc x0 pi Pow Mul cos acot x3 x3 x0 Mul Mul 5 Add csc x0 pi Pow Mul cos acot x3 x3 x0 -1 