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