tan Pow Mul x0 Pow Pow E acsch pi atan Add Add x4 x0 acos acot x5 4 
Mul Pow sec Pow Mul x0 Pow Pow E acsch pi atan Add Add x4 x0 acos acot x5 4 2 Mul Pow Mul x0 Pow Pow E acsch pi atan Add Add x4 x0 acos acot x5 3 Mul 4 Add Pow Pow E acsch pi atan Add Add x4 x0 acos acot x5 Mul x0 Mul Pow Pow E acsch pi Add atan Add Add x4 x0 acos acot x5 -1 Mul Mul Pow E acsch pi log Pow E acsch pi Pow Add 1 Mul Add Add x4 x0 acos acot x5 Add Add x4 x0 acos acot x5 -1 