Add Add x0 -0.785398163397448 asech Pow Add acot Pow Pow x3 atanh asin x0 2 E x0 
Add 1 Mul Mul Pow Add acot Pow Pow x3 atanh asin x0 2 E Add x0 -1 Add Mul x0 Mul -1 Mul Mul Pow x3 atanh asin x0 Mul 2 Mul Pow x3 Add atanh asin x0 -1 Mul Mul x3 log x3 Mul Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul asin x0 asin x0 -1 Pow Add 1 Mul Pow Pow x3 atanh asin x0 2 Pow Pow x3 atanh asin x0 2 -1 Mul Add acot Pow Pow x3 atanh asin x0 2 E log Add acot Pow Pow x3 atanh asin x0 2 E Pow Mul Mul Pow Add acot Pow Pow x3 atanh asin x0 2 E x0 Pow Add acot Pow Pow x3 atanh asin x0 2 E x0 sqrt Add 1 Mul -1 Pow Mul Pow Add acot Pow Pow x3 atanh asin x0 2 E x0 Pow Add acot Pow Pow x3 atanh asin x0 2 E x0 -1 -1 