Pow Pow x3 4 acosh Add x0 Add Mul x7 Pow cosh pi x0 x0 
Mul Pow Pow x3 4 Add acosh Add x0 Add Mul x7 Pow cosh pi x0 x0 -1 Mul Mul Pow x3 4 log Pow x3 4 Mul Add 1 Add Mul x7 Mul Pow cosh pi Add x0 -1 Mul cosh pi log cosh pi 1 Pow Mul sqrt Add Add x0 Add Mul x7 Pow cosh pi x0 x0 -1 sqrt Add 1 Add x0 Add Mul x7 Pow cosh pi x0 x0 -1 