acsch tanh Mul x0 sec x0 
Mul Mul -1 Mul Pow sech Mul x0 sec x0 2 Add sec x0 Mul x0 Mul tan x0 sec x0 Pow Mul Mul tanh Mul x0 sec x0 tanh Mul x0 sec x0 sqrt Add 1 Mul -1 Pow Mul tanh Mul x0 sec x0 tanh Mul x0 sec x0 -1 -1 