tan Pow acsch asin Add Mul 2 x3 x0 asin x0 
Mul Pow sec Pow acsch asin Add Mul 2 x3 x0 asin x0 2 Mul Pow acsch asin Add Mul 2 x3 x0 Add asin x0 -1 Add Mul asin x0 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add Mul 2 x3 x0 Add Mul 2 x3 x0 -1 Pow Mul Mul asin Add Mul 2 x3 x0 asin Add Mul 2 x3 x0 sqrt Add 1 Mul -1 Pow Mul asin Add Mul 2 x3 x0 asin Add Mul 2 x3 x0 -1 -1 Mul Mul acsch asin Add Mul 2 x3 x0 log acsch asin Add Mul 2 x3 x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 