Mul Pow log Mul x0 Mul x0 Mul cosh sinh acosh x0 Mul Mul x5 x0 -3 pi x0 
Add Mul x0 Mul Pow log Mul x0 Mul x0 Mul cosh sinh acosh x0 Mul Mul x5 x0 -3 Add pi -1 Mul pi Mul Add Mul x0 Mul cosh sinh acosh x0 Mul Mul x5 x0 -3 Mul x0 Add Mul cosh sinh acosh x0 Mul Mul x5 x0 -3 Mul x0 Add Mul Mul Mul x5 x0 -3 Mul sinh sinh acosh x0 Mul cosh acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul cosh sinh acosh x0 Mul -3 x5 Pow Mul x0 Mul x0 Mul cosh sinh acosh x0 Mul Mul x5 x0 -3 -1 Pow log Mul x0 Mul x0 Mul cosh sinh acosh x0 Mul Mul x5 x0 -3 pi 