Add Mul Pow log Add Pow x0 Pow Add acosh x3 x5 2 Pow x0 pi x0 x0 x0 
Add Add Mul x0 Mul Pow log Add Pow x0 Pow Add acosh x3 x5 2 Pow x0 pi Add x0 -1 Add Mul x0 Mul Add Mul Pow x0 Add Pow Add acosh x3 x5 2 -1 Pow Add acosh x3 x5 2 Mul Pow x0 Add pi -1 pi Pow Add Pow x0 Pow Add acosh x3 x5 2 Pow x0 pi -1 Mul log Add Pow x0 Pow Add acosh x3 x5 2 Pow x0 pi log log Add Pow x0 Pow Add acosh x3 x5 2 Pow x0 pi Pow log Add Pow x0 Pow Add acosh x3 x5 2 Pow x0 pi x0 1 