sin tan Mul acosh x0 asin Pow Add x0 acoth x0 x1 
Mul cos tan Mul acosh x0 asin Pow Add x0 acoth x0 x1 Mul Pow sec Mul acosh x0 asin Pow Add x0 acoth x0 x1 2 Add Mul asin Pow Add x0 acoth x0 x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul Pow Add x0 acoth x0 Add x1 -1 Mul x1 Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 acoth x0 x1 Pow Add x0 acoth x0 x1 -1 