tan acsch Mul x0 Mul x0 tanh Mul asin atanh asin x0 x3 
Mul Pow sec acsch Mul x0 Mul x0 tanh Mul asin atanh asin x0 x3 2 Mul Mul -1 Add Mul x0 tanh Mul asin atanh asin x0 x3 Mul x0 Add tanh Mul asin atanh asin x0 x3 Mul x0 Mul Pow sech Mul asin atanh asin x0 x3 2 Mul x3 Mul Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asin x0 asin x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh asin x0 atanh asin x0 -1 Pow Mul Mul Mul x0 Mul x0 tanh Mul asin atanh asin x0 x3 Mul x0 Mul x0 tanh Mul asin atanh asin x0 x3 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul x0 tanh Mul asin atanh asin x0 x3 Mul x0 Mul x0 tanh Mul asin atanh asin x0 x3 -1 -1 