Mul cos Pow x0 4 tan Mul Pow acosh x5 x0 Mul Add x0 pi Add 3 x0 
Add Mul tan Mul Pow acosh x5 x0 Mul Add x0 pi Add 3 x0 Mul Mul -1 sin Pow x0 4 Mul Pow x0 3 4 Mul cos Pow x0 4 Mul Pow sec Mul Pow acosh x5 x0 Mul Add x0 pi Add 3 x0 2 Add Mul Mul Add x0 pi Add 3 x0 Mul Pow acosh x5 Add x0 -1 Mul acosh x5 log acosh x5 Mul Pow acosh x5 x0 Add Add 3 x0 Add x0 pi 