Pow Pow log acosh asec x2 Pow x1 pi Add -5 Mul x0 Pow x3 x0 
Mul Pow Pow log acosh asec x2 Pow x1 pi Add Add -5 Mul x0 Pow x3 x0 -1 Mul Mul Pow log acosh asec x2 Pow x1 pi log Pow log acosh asec x2 Pow x1 pi Add Pow x3 x0 Mul x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 