cosh Mul Pow acot tanh x0 x0 cbrt asin x7 
Mul sinh Mul Pow acot tanh x0 x0 cbrt asin x7 Mul cbrt asin x7 Mul Pow acot tanh x0 Add x0 -1 Add Mul x0 Mul -1 Mul Pow sech x0 2 Pow Add 1 Mul tanh x0 tanh x0 -1 Mul acot tanh x0 log acot tanh x0 