Mul acosh Add Pow cosh sinh Mul x0 -2 x4 x0 x0 
Add Mul x0 Mul Add Mul Pow cosh sinh Mul x0 -2 Add x4 -1 Mul x4 Mul sinh sinh Mul x0 -2 Mul cosh Mul x0 -2 -2 1 Pow Mul sqrt Add Add Pow cosh sinh Mul x0 -2 x4 x0 -1 sqrt Add 1 Add Pow cosh sinh Mul x0 -2 x4 x0 -1 acosh Add Pow cosh sinh Mul x0 -2 x4 x0 