Mul x0 Mul Mul sin acos Mul 2 x4 Pow x2 acsch tanh x0 -4 
Add Mul Mul sin acos Mul 2 x4 Pow x2 acsch tanh x0 -4 Mul x0 Mul -4 Mul sin acos Mul 2 x4 Mul Pow x2 Add acsch tanh x0 -1 Mul Mul x2 log x2 Mul Mul -1 Pow sech x0 2 Pow Mul Mul tanh x0 tanh x0 sqrt Add 1 Mul -1 Pow Mul tanh x0 tanh x0 -1 -1 