cot acosh Pow Mul acot x0 E Add x0 x3 
Mul Mul -1 Pow csc acosh Pow Mul acot x0 E Add x0 x3 2 Mul Mul Pow Mul acot x0 E Add Add x0 x3 -1 Add Mul Add x0 x3 Mul E Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 E log Mul acot x0 E Pow Mul sqrt Add Pow Mul acot x0 E Add x0 x3 -1 sqrt Add 1 Pow Mul acot x0 E Add x0 x3 -1 