Add Pow Mul Add Pow acot acoth sqrt Mul 3 asinh Pow acosh x0 x0 x0 1 x1 x0 cot x0 
Add Mul Pow Mul Add Pow acot acoth sqrt Mul 3 asinh Pow acosh x0 x0 x0 1 x1 Add x0 -1 Add Mul x0 Mul x1 Mul Pow acot acoth sqrt Mul 3 asinh Pow acosh x0 x0 Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul Pow Mul 2 sqrt Mul 3 asinh Pow acosh x0 x0 -1 Mul 3 Mul Mul Pow acosh x0 Add x0 -1 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 log acosh x0 Pow sqrt Add 1 Mul Pow acosh x0 x0 Pow acosh x0 x0 -1 Pow Add 1 Mul -1 Mul sqrt Mul 3 asinh Pow acosh x0 x0 sqrt Mul 3 asinh Pow acosh x0 x0 -1 Pow Add 1 Mul acoth sqrt Mul 3 asinh Pow acosh x0 x0 acoth sqrt Mul 3 asinh Pow acosh x0 x0 -1 Mul acot acoth sqrt Mul 3 asinh Pow acosh x0 x0 log acot acoth sqrt Mul 3 asinh Pow acosh x0 x0 Mul Mul Add Pow acot acoth sqrt Mul 3 asinh Pow acosh x0 x0 x0 1 x1 log Mul Add Pow acot acoth sqrt Mul 3 asinh Pow acosh x0 x0 x0 1 x1 Mul -1 Pow csc x0 2 