sinh Pow Mul x7 Add acosh pi x0 Add sinh x1 x0 
Mul cosh Pow Mul x7 Add acosh pi x0 Add sinh x1 x0 Mul Pow Mul x7 Add acosh pi x0 Add Add sinh x1 x0 -1 Add Mul Add sinh x1 x0 x7 Mul Mul x7 Add acosh pi x0 log Mul x7 Add acosh pi x0 