Add Mul Add x3 Mul Add acos tanh x0 x0 sqrt Add x2 Pow x0 Pow tanh x2 -4 sinh acoth x0 x0 
Add Add Mul sinh acoth x0 Add Mul sqrt Add x2 Pow x0 Pow tanh x2 -4 Add Mul -1 Mul Pow sech x0 2 Pow sqrt Add 1 Mul -1 Mul tanh x0 tanh x0 -1 1 Mul Add acos tanh x0 x0 Mul Pow Mul 2 sqrt Add x2 Pow x0 Pow tanh x2 -4 -1 Mul Pow x0 Add Pow tanh x2 -4 -1 Pow tanh x2 -4 Mul Add x3 Mul Add acos tanh x0 x0 sqrt Add x2 Pow x0 Pow tanh x2 -4 Mul cosh acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 1 