Mul Pow Pow E coth Add acot x5 -2 Add Add x0 x0 Mul x5 Mul tan Add x0 Pow 4 x0 2 x1 
Mul x1 Mul Pow Pow E coth Add acot x5 -2 Add Add Add x0 x0 Mul x5 Mul tan Add x0 Pow 4 x0 2 -1 Mul Mul Pow E coth Add acot x5 -2 log Pow E coth Add acot x5 -2 Add 2 Mul x5 Mul 2 Mul Pow sec Add x0 Pow 4 x0 2 Add 1 Mul Pow 4 Add x0 -1 5.38629436111989 