Pow sech x5 Add Mul atanh x0 acsch acsc Add 1 x3 x0 
Mul Pow sech x5 Add Add Mul atanh x0 acsch acsc Add 1 x3 x0 -1 Mul Mul sech x5 log sech x5 Add Mul acsch acsc Add 1 x3 Pow Add 1 Mul -1 Mul x0 x0 -1 1 