Pow Mul acsch exp Mul x2 x2 -2 exp sech x0 
Mul Pow Mul acsch exp Mul x2 x2 -2 Add exp sech x0 -1 Mul Mul Mul acsch exp Mul x2 x2 -2 log Mul acsch exp Mul x2 x2 -2 Mul exp sech x0 Mul tanh x0 Mul -1 sech x0 