asech Mul acot x0 Mul Pow x0 2.71828182845905 Pow asin x3 x0 
Mul Add Mul Mul Pow x0 2.71828182845905 Pow asin x3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Add Mul Pow asin x3 x0 Mul Pow x0 1.71828182845905 2.71828182845905 Mul Pow x0 2.71828182845905 Mul Pow asin x3 Add x0 -1 Mul asin x3 log asin x3 Pow Mul Mul Mul acot x0 Mul Pow x0 2.71828182845905 Pow asin x3 x0 Mul acot x0 Mul Pow x0 2.71828182845905 Pow asin x3 x0 sqrt Add 1 Mul -1 Pow Mul Mul acot x0 Mul Pow x0 2.71828182845905 Pow asin x3 x0 Mul acot x0 Mul Pow x0 2.71828182845905 Pow asin x3 x0 -1 -1 