cosh Mul Mul x0 x5 acos Mul Mul acot x7 3 x0 
Mul sinh Mul Mul x0 x5 acos Mul Mul acot x7 3 x0 Add Mul acos Mul Mul acot x7 3 x0 x5 Mul Mul x0 x5 Mul -1 Mul Mul acot x7 3 Pow sqrt Add 1 Mul -1 Mul Mul Mul acot x7 3 x0 Mul Mul acot x7 3 x0 -1 