sec Mul Pow x0 x3 asech Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 
Mul Mul tan Mul Pow x0 x3 asech Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 sec Mul Pow x0 x3 asech Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 Add Mul asech Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 Mul Pow x0 Add x3 -1 x3 Mul Pow x0 x3 Mul Mul Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Add Pow acot x0 4 x0 -1 Add Mul Add Pow acot x0 4 x0 Mul Pow Mul x0 sech x1 Add log Mul x0 Mul x2 x4 -1 Add Mul log Mul x0 Mul x2 x4 sech x1 Mul Mul Mul x0 sech x1 log Mul x0 sech x1 Mul Mul x2 x4 Pow Mul x0 Mul x2 x4 -1 Mul Mul Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 log Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Mul Pow acot x0 3 Mul 4 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Pow Mul Mul Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 sqrt Add 1 Mul -1 Pow Mul Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 Pow Pow Mul x0 sech x1 log Mul x0 Mul x2 x4 Add Pow acot x0 4 x0 -1 -1 