Pow acsch sec Mul x0 x0 cosh x0 
Mul Pow acsch sec Mul x0 x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul -1 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 Pow Mul Mul sec Mul x0 x0 sec Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul sec Mul x0 x0 sec Mul x0 x0 -1 -1 Mul Mul acsch sec Mul x0 x0 log acsch sec Mul x0 x0 sinh x0 