Mul Pow Mul Pow 0.785398163397448 x0 asec x1 Pow 2 x0 sec tanh asin acoth x0 
Add Mul sec tanh asin acoth x0 Mul Pow Mul Pow 0.785398163397448 x0 asec x1 Add Pow 2 x0 -1 Add Mul Pow 2 x0 Mul asec x1 Mul Pow 0.785398163397448 Add x0 -1 0.543833688126958 Mul Mul Mul Pow 0.785398163397448 x0 asec x1 log Mul Pow 0.785398163397448 x0 asec x1 Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow Mul Pow 0.785398163397448 x0 asec x1 Pow 2 x0 Mul Mul tan tanh asin acoth x0 sec tanh asin acoth x0 Mul Pow sech asin acoth x0 2 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sqrt Add 1 Mul -1 Mul acoth x0 acoth x0 -1 