Pow Mul Add Pow Pow acos acosh x5 x0 x0 0.0400000000000000 pi x2 
Mul Pow Mul Add Pow Pow acos acosh x5 x0 x0 0.0400000000000000 pi Add x2 -1 Mul x2 Mul pi Mul Pow Pow acos acosh x5 x0 Add x0 -1 Add Mul x0 Mul Pow acos acosh x5 Add x0 -1 Mul acos acosh x5 log acos acosh x5 Mul Pow acos acosh x5 x0 log Pow acos acosh x5 x0 