log Mul Mul sinh acoth Mul Add -4 x5 sqrt x0 2 x7 
Mul Mul x7 Mul 2 Mul cosh acoth Mul Add -4 x5 sqrt x0 Mul Mul Add -4 x5 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul -1 Mul Mul Add -4 x5 sqrt x0 Mul Add -4 x5 sqrt x0 -1 Pow Mul Mul sinh acoth Mul Add -4 x5 sqrt x0 2 x7 -1 