Add Mul acot acos Pow x0 -3 Mul Mul atan x3 x0 Mul Add Add Mul x0 cosh pi Pow x0 x4 x0 asec x0 -4 
Add Mul Mul Mul atan x3 x0 Mul Add Add Mul x0 cosh pi Pow x0 x4 x0 asec x0 Mul -1 Mul Mul -1 Mul Mul Pow x0 4 -3 Pow sqrt Add 1 Mul -1 Mul Pow x0 -3 Pow x0 -3 -1 Pow Add 1 Mul acos Pow x0 -3 acos Pow x0 -3 -1 Mul acot acos Pow x0 -3 Add Mul Mul Add Add Mul x0 cosh pi Pow x0 x4 x0 asec x0 atan x3 Mul Mul atan x3 x0 Add Mul asec x0 Add Add cosh pi Mul Pow x0 Add x4 -1 x4 1 Mul Add Add Mul x0 cosh pi Pow x0 x4 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 