Mul Mul Add x0 acos tanh x0 Mul Mul Mul x0 acoth x7 atanh x7 x2 Mul Add sin x2 E x0 
Add Mul Mul Add sin x2 E x0 Add Mul Mul Mul Mul x0 acoth x7 atanh x7 x2 Add 1 Mul -1 Mul Pow sech x0 2 Pow sqrt Add 1 Mul -1 Mul tanh x0 tanh x0 -1 Mul Add x0 acos tanh x0 Mul x2 Mul atanh x7 acoth x7 Mul Mul Add x0 acos tanh x0 Mul Mul Mul x0 acoth x7 atanh x7 x2 Add sin x2 E 