Add Pow sqrt x7 acosh Add Add Mul x0 x2 Pow cosh pi x7 x5 1 
Mul Pow sqrt x7 Add acosh Add Add Mul x0 x2 Pow cosh pi x7 x5 -1 Mul Mul sqrt x7 log sqrt x7 Mul x2 Pow Mul sqrt Add Add Add Mul x0 x2 Pow cosh pi x7 x5 -1 sqrt Add 1 Add Add Mul x0 x2 Pow cosh pi x7 x5 -1 