Add Mul x0 Pow Mul asinh cos x0 x0 Mul acoth x0 x0 x0 
Add Add Pow Mul asinh cos x0 x0 Mul acoth x0 x0 Mul x0 Mul Pow Mul asinh cos x0 x0 Add Mul acoth x0 x0 -1 Add Mul Mul acoth x0 x0 Add Mul x0 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul cos x0 cos x0 -1 asinh cos x0 Mul Mul Mul asinh cos x0 x0 log Mul asinh cos x0 x0 Add Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 acoth x0 1 