acos Add sinh Mul 4 x0 Add 5 acos Pow acoth x1 x3 
Mul -1 Mul Mul cosh Mul 4 x0 4 Pow sqrt Add 1 Mul -1 Mul Add sinh Mul 4 x0 Add 5 acos Pow acoth x1 x3 Add sinh Mul 4 x0 Add 5 acos Pow acoth x1 x3 -1 