Mul csch x0 Mul Mul asin Add cos x0 Mul atanh acosh pi -4 x0 x1 
Add Mul Mul Mul asin Add cos x0 Mul atanh acosh pi -4 x0 x1 Mul Mul -1 coth x0 csch x0 Mul csch x0 Mul x1 Add Mul x0 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul Add cos x0 Mul atanh acosh pi -4 Add cos x0 Mul atanh acosh pi -4 -1 asin Add cos x0 Mul atanh acosh pi -4 