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