coth atanh Add exp x0 Add sqrt Pow sec x0 asech x6 acsch x5 
Mul Mul -1 Pow csch atanh Add exp x0 Add sqrt Pow sec x0 asech x6 acsch x5 2 Mul Add exp x0 Mul Pow Mul 2 sqrt Pow sec x0 asech x6 -1 Mul Pow sec x0 Add asech x6 -1 Mul asech x6 Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Add exp x0 Add sqrt Pow sec x0 asech x6 acsch x5 Add exp x0 Add sqrt Pow sec x0 asech x6 acsch x5 -1 