sinh acos Pow sqrt x4 Mul x7 x0 
Mul cosh acos Pow sqrt x4 Mul x7 x0 Mul -1 Mul Mul Pow sqrt x4 Add Mul x7 x0 -1 Mul Mul sqrt x4 log sqrt x4 x7 Pow sqrt Add 1 Mul -1 Mul Pow sqrt x4 Mul x7 x0 Pow sqrt x4 Mul x7 x0 -1 