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