acot Pow Pow tan Pow x0 x0 x5 Pow acsch Add x0 4 x7 
Mul -1 Mul Mul Pow Pow tan Pow x0 x0 x5 Add Pow acsch Add x0 4 x7 -1 Add Mul Pow acsch Add x0 4 x7 Mul Pow tan Pow x0 x0 Add x5 -1 Mul x5 Mul Pow sec Pow x0 x0 2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow tan Pow x0 x0 x5 log Pow tan Pow x0 x0 x5 Mul Pow acsch Add x0 4 Add x7 -1 Mul x7 Mul -1 Pow Mul Mul Add x0 4 Add x0 4 sqrt Add 1 Mul -1 Pow Mul Add x0 4 Add x0 4 -1 -1 Pow Add 1 Mul Pow Pow tan Pow x0 x0 x5 Pow acsch Add x0 4 x7 Pow Pow tan Pow x0 x0 x5 Pow acsch Add x0 4 x7 -1 