Mul Add Mul x2 Pow 0.252612316808168 x0 tan Pow asin sinh Add x0 3 3 acoth x6 
Mul acoth x6 Add Mul x2 Mul Pow 0.252612316808168 Add x0 -1 -1.12328699331897 Mul Pow sec Pow asin sinh Add x0 3 3 2 Mul Pow asin sinh Add x0 3 2 Mul 3 Mul cosh Add x0 3 Pow sqrt Add 1 Mul -1 Mul sinh Add x0 3 sinh Add x0 3 -1 