Add Mul x5 csch sqrt Pow exp x0 asinh x5 atan x0 
Add Mul x5 Mul Mul Mul -1 coth sqrt Pow exp x0 asinh x5 csch sqrt Pow exp x0 asinh x5 Mul Pow Mul 2 sqrt Pow exp x0 asinh x5 -1 Mul Pow exp x0 Add asinh x5 -1 Mul asinh x5 exp x0 Pow Add 1 Mul x0 x0 -1 