Add asinh Mul cos Add -3 x4 acosh E Mul Mul x0 x4 acoth Pow x0 asin acosh x6 
Add Mul acoth Pow x0 asin acosh x6 x4 Mul Mul x0 x4 Mul Mul Pow x0 Add asin acosh x6 -1 asin acosh x6 Pow Add 1 Mul -1 Mul Pow x0 asin acosh x6 Pow x0 asin acosh x6 -1 