Pow Add acsch Add E cosh x5 Mul asech Add exp x0 Pow x4 x0 pi Mul 3 cot x4 
Mul Pow Add acsch Add E cosh x5 Mul asech Add exp x0 Pow x4 x0 pi Add Mul 3 cot x4 -1 Mul Mul 3 cot x4 Mul pi Mul Add exp x0 Mul Pow x4 Add x0 -1 Mul x4 log x4 Pow Mul Mul Add exp x0 Pow x4 x0 Add exp x0 Pow x4 x0 sqrt Add 1 Mul -1 Pow Mul Add exp x0 Pow x4 x0 Add exp x0 Pow x4 x0 -1 -1 