cosh Mul x0 sqrt sqrt Pow x5 acot x0 
Mul sinh Mul x0 sqrt sqrt Pow x5 acot x0 Add sqrt sqrt Pow x5 acot x0 Mul x0 Mul Pow Mul 2 sqrt sqrt Pow x5 acot x0 -1 Mul Pow Mul 2 sqrt Pow x5 acot x0 -1 Mul Pow x5 Add acot x0 -1 Mul Mul x5 log x5 Mul -1 Pow Add 1 Mul x0 x0 -1 