Pow Add Pow Pow sec acot x0 x0 3 -4 sech Mul Mul sec x1 Mul pi x0 asin x0 
Mul Pow Add Pow Pow sec acot x0 x0 3 -4 Add sech Mul Mul sec x1 Mul pi x0 asin x0 -1 Add Mul sech Mul Mul sec x1 Mul pi x0 asin x0 Mul Pow Pow sec acot x0 x0 2 Mul 3 Mul Pow sec acot x0 Add x0 -1 Add Mul x0 Mul Mul tan acot x0 sec acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul sec acot x0 log sec acot x0 Mul Mul Add Pow Pow sec acot x0 x0 3 -4 log Add Pow Pow sec acot x0 x0 3 -4 Mul Mul tanh Mul Mul sec x1 Mul pi x0 asin x0 Mul -1 sech Mul Mul sec x1 Mul pi x0 asin x0 Add Mul asin x0 Mul sec x1 pi Mul Mul sec x1 Mul pi x0 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 