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