Add acos Pow x7 tanh Pow asech x0 Add E x0 Mul log x3 cosh x0 
Add Mul -1 Mul Mul Pow x7 Add tanh Pow asech x0 Add E x0 -1 Mul Mul x7 log x7 Mul Pow sech Pow asech x0 Add E x0 2 Mul Pow asech x0 Add Add E x0 -1 Add Mul Add E x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul asech x0 log asech x0 Pow sqrt Add 1 Mul -1 Mul Pow x7 tanh Pow asech x0 Add E x0 Pow x7 tanh Pow asech x0 Add E x0 -1 Mul log x3 sinh x0 