tan Mul atanh Add x1 x0 asech acosh asin x0 
Mul Pow sec Mul atanh Add x1 x0 asech acosh asin x0 2 Add Mul asech acosh asin x0 Pow Add 1 Mul -1 Mul Add x1 x0 Add x1 x0 -1 Mul atanh Add x1 x0 Mul Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add asin x0 -1 sqrt Add 1 asin x0 -1 Pow Mul Mul acosh asin x0 acosh asin x0 sqrt Add 1 Mul -1 Pow Mul acosh asin x0 acosh asin x0 -1 -1 