Mul Pow Add x6 pi Mul -1 Pow Mul x0 x0 acosh x7 -1 
Mul -1 Mul Pow Add x6 pi Add Mul -1 Pow Mul x0 x0 acosh x7 -1 Mul Mul Add x6 pi log Add x6 pi Mul -1 Mul Pow Mul x0 x0 Add acosh x7 -1 Mul acosh x7 Add x0 x0 