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