Mul csch x0 Add Mul x0 Add Mul 4 Pow asinh x1 Mul acot log x0 2 -3 -2 
Add Mul Add Mul x0 Add Mul 4 Pow asinh x1 Mul acot log x0 2 -3 -2 Mul Mul -1 coth x0 csch x0 Mul csch x0 Add Add Mul 4 Pow asinh x1 Mul acot log x0 2 -3 Mul x0 Mul 4 Mul Pow asinh x1 Add Mul acot log x0 2 -1 Mul Mul asinh x1 log asinh x1 Mul 2 Mul -1 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 