Pow Mul -2 Mul Mul acosh Add 3 Mul x7 x0 x0 Add Add log x0 E sqrt csch Pow 2 x5 x3 
Mul Pow Mul -2 Mul Mul acosh Add 3 Mul x7 x0 x0 Add Add log x0 E sqrt csch Pow 2 x5 Add x3 -1 Mul x3 Mul -2 Add Mul Add Add log x0 E sqrt csch Pow 2 x5 Add Mul x0 Mul x7 Pow Mul sqrt Add Add 3 Mul x7 x0 -1 sqrt Add 1 Add 3 Mul x7 x0 -1 acosh Add 3 Mul x7 x0 Mul Mul acosh Add 3 Mul x7 x0 x0 Pow x0 -1 