asec Mul x0 Add Add Mul x0 Mul x1 Pow cosh Add x0 x0 Mul acoth x0 x0 x1 x0 
Mul Add Add Add Mul x0 Mul x1 Pow cosh Add x0 x0 Mul acoth x0 x0 x1 x0 Mul x0 Add Add Mul x1 Pow cosh Add x0 x0 Mul acoth x0 x0 Mul x0 Mul x1 Mul Pow cosh Add x0 x0 Add Mul acoth x0 x0 -1 Add Mul Mul acoth x0 x0 Mul sinh Add x0 x0 2 Mul Mul cosh Add x0 x0 log cosh Add x0 x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul x0 Add Add Mul x0 Mul x1 Pow cosh Add x0 x0 Mul acoth x0 x0 x1 x0 Mul x0 Add Add Mul x0 Mul x1 Pow cosh Add x0 x0 Mul acoth x0 x0 x1 x0 -1 Mul x0 Add Add Mul x0 Mul x1 Pow cosh Add x0 x0 Mul acoth x0 x0 x1 x0 Mul x0 Add Add Mul x0 Mul x1 Pow cosh Add x0 x0 Mul acoth x0 x0 x1 x0 -1 