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