Mul x0 Pow asinh x0 acot acoth Mul x0 x1 
Add Pow asinh x0 acot acoth Mul x0 x1 Mul x0 Mul Pow asinh x0 Add acot acoth Mul x0 x1 -1 Add Mul acot acoth Mul x0 x1 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul -1 Mul Mul x1 Pow Add 1 Mul -1 Mul Mul x0 x1 Mul x0 x1 -1 Pow Add 1 Mul acoth Mul x0 x1 acoth Mul x0 x1 -1 