Add Pow Mul Mul x0 2 acsch Pow x0 Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E x7 x3 
Mul Pow Mul Mul x0 2 acsch Pow x0 Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E Add x7 -1 Mul x7 Add Mul acsch Pow x0 Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E 2 Mul Mul x0 2 Mul Mul -1 Mul Pow x0 Add Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E -1 Add Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E Mul Mul x0 log x0 Add 1 Mul Pow exp acoth x0 Add csc Add Pow x7 x0 E -1 Add Mul csc Add Pow x7 x0 E Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul exp acoth x0 log exp acoth x0 Mul Mul Mul -1 cot Add Pow x7 x0 E csc Add Pow x7 x0 E Mul Pow x7 Add x0 -1 Mul x7 log x7 Pow Mul Mul Pow x0 Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E Pow x0 Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E sqrt Add 1 Mul -1 Pow Mul Pow x0 Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E Pow x0 Add x0 Pow exp acoth x0 csc Add Pow x7 x0 E -1 -1 