exp Pow Add cosh x0 Add Mul pi x0 x3 log Mul x0 pi 
Mul exp Pow Add cosh x0 Add Mul pi x0 x3 log Mul x0 pi Mul Pow Add cosh x0 Add Mul pi x0 x3 Add log Mul x0 pi -1 Add Mul log Mul x0 pi Add sinh x0 pi Mul Mul Add cosh x0 Add Mul pi x0 x3 log Add cosh x0 Add Mul pi x0 x3 Mul pi Pow Mul x0 pi -1 