Pow Pow acot Mul tan Mul x0 E x7 Add acsch Mul x1 Mul x2 x2 x0 Add Mul Mul x0 Add x0 x0 Mul x5 5 4 
Mul Pow Pow acot Mul tan Mul x0 E x7 Add acsch Mul x1 Mul x2 x2 x0 Add Add Mul Mul x0 Add x0 x0 Mul x5 5 4 -1 Add Mul Add Mul Mul x0 Add x0 x0 Mul x5 5 4 Mul Pow acot Mul tan Mul x0 E x7 Add Add acsch Mul x1 Mul x2 x2 x0 -1 Add Mul Add acsch Mul x1 Mul x2 x2 x0 Mul -1 Mul Mul x7 Mul Pow sec Mul x0 E 2 E Pow Add 1 Mul Mul tan Mul x0 E x7 Mul tan Mul x0 E x7 -1 Mul acot Mul tan Mul x0 E x7 log acot Mul tan Mul x0 E x7 Mul Mul Pow acot Mul tan Mul x0 E x7 Add acsch Mul x1 Mul x2 x2 x0 log Pow acot Mul tan Mul x0 E x7 Add acsch Mul x1 Mul x2 x2 x0 Mul Mul x5 5 Add Add x0 x0 Mul x0 2 