Pow Mul sqrt x0 Mul Add Add x7 Mul acsch x0 pi E pi Mul cot x7 x0 
Mul Pow Mul sqrt x0 Mul Add Add x7 Mul acsch x0 pi E pi Add Mul cot x7 x0 -1 Add Mul Mul cot x7 x0 Add Mul Mul Add Add x7 Mul acsch x0 pi E pi Pow Mul 2 sqrt x0 -1 Mul sqrt x0 Mul pi Mul pi Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Mul Mul sqrt x0 Mul Add Add x7 Mul acsch x0 pi E pi log Mul sqrt x0 Mul Add Add x7 Mul acsch x0 pi E pi cot x7 