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