Add x0 exp Pow asech coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 x0 
Add 1 Mul exp Pow asech coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 x0 Mul Pow asech coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 Add x0 -1 Add Mul x0 Mul Mul Mul -1 Pow csch Pow asin x0 Add acot x0 Add -3 Add x1 x7 2 Mul Pow asin x0 Add Add acot x0 Add -3 Add x1 x7 -1 Add Mul Add acot x0 Add -3 Add x1 x7 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul Mul asin x0 log asin x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 sqrt Add 1 Mul -1 Pow Mul coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 -1 -1 Mul asech coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 log asech coth Pow asin x0 Add acot x0 Add -3 Add x1 x7 