Pow Pow x3 x0 tan acsch acot Add x0 Mul Pow x0 E x7 
Mul Pow Pow x3 x0 Add tan acsch acot Add x0 Mul Pow x0 E x7 -1 Add Mul tan acsch acot Add x0 Mul Pow x0 E x7 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul Pow x3 x0 log Pow x3 x0 Mul Pow sec acsch acot Add x0 Mul Pow x0 E x7 2 Mul Mul -1 Mul -1 Mul Add 1 Mul x7 Mul Pow x0 Add E -1 E Pow Add 1 Mul Add x0 Mul Pow x0 E x7 Add x0 Mul Pow x0 E x7 -1 Pow Mul Mul acot Add x0 Mul Pow x0 E x7 acot Add x0 Mul Pow x0 E x7 sqrt Add 1 Mul -1 Pow Mul acot Add x0 Mul Pow x0 E x7 acot Add x0 Mul Pow x0 E x7 -1 -1 