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