sec Pow Add x0 Pow Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 x0 x0 Add 2 x5 
Mul Mul tan Pow Add x0 Pow Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 x0 x0 Add 2 x5 sec Pow Add x0 Pow Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 x0 x0 Add 2 x5 Mul Pow Add x0 Pow Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 x0 x0 Add Add 2 x5 -1 Mul Add 2 x5 Add 1 Mul Pow Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 x0 Add x0 -1 Add Mul x0 Mul Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 Add x0 -1 Add Mul x0 Mul Mul tan Mul Add x0 atan Add -1 x5 5 sec Mul Add x0 atan Add -1 x5 5 5 Mul Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 log Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 Mul Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 x0 log Pow Add acot sinh x3 sec Mul Add x0 atan Add -1 x5 5 x0 