Mul Pow acsch Pow x0 Pow acot x0 x6 x3 Pow x2 Add x5 pi 
Mul Pow x2 Add x5 pi Mul Pow acsch Pow x0 Pow acot x0 x6 Add x3 -1 Mul x3 Mul Mul -1 Mul Pow x0 Add Pow acot x0 x6 -1 Add Pow acot x0 x6 Mul Mul x0 log x0 Mul Pow acot x0 Add x6 -1 Mul x6 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Pow x0 Pow acot x0 x6 Pow x0 Pow acot x0 x6 sqrt Add 1 Mul -1 Pow Mul Pow x0 Pow acot x0 x6 Pow x0 Pow acot x0 x6 -1 -1 