Add cot x0 acosh Add x0 Add Pow x0 x0 Mul x2 Pow x3 Mul Add acot x6 pi x0 
Add Mul -1 Pow csc x0 2 Mul Add 1 Add Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul x2 Mul Pow x3 Add Mul Add acot x6 pi x0 -1 Mul Mul x3 log x3 Add acot x6 pi Pow Mul sqrt Add Add x0 Add Pow x0 x0 Mul x2 Pow x3 Mul Add acot x6 pi x0 -1 sqrt Add 1 Add x0 Add Pow x0 x0 Mul x2 Pow x3 Mul Add acot x6 pi x0 -1 