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