cosh Mul x5 Mul Add acosh Pow Mul x0 Pow Add Mul x0 x7 x0 3 5 5 acoth asech acoth x0 
Mul sinh Mul x5 Mul Add acosh Pow Mul x0 Pow Add Mul x0 x7 x0 3 5 5 acoth asech acoth x0 Mul x5 Add Mul acoth asech acoth x0 Mul Mul Pow Mul x0 Pow Add Mul x0 x7 x0 3 4 Mul 5 Add Pow Add Mul x0 x7 x0 3 Mul x0 Mul Pow Add Mul x0 x7 x0 2 Mul 3 Add x7 1 Pow Mul sqrt Add Pow Mul x0 Pow Add Mul x0 x7 x0 3 5 -1 sqrt Add 1 Pow Mul x0 Pow Add Mul x0 x7 x0 3 5 -1 Mul Add acosh Pow Mul x0 Pow Add Mul x0 x7 x0 3 5 5 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul acoth x0 acoth x0 sqrt Add 1 Mul -1 Pow Mul acoth x0 acoth x0 -1 -1 Pow Add 1 Mul -1 Mul asech acoth x0 asech acoth x0 -1 