sec Add Mul Mul sec Add x0 -3 acoth x0 pi Pow cosh x0 cos x4 
Mul Mul tan Add Mul Mul sec Add x0 -3 acoth x0 pi Pow cosh x0 cos x4 sec Add Mul Mul sec Add x0 -3 acoth x0 pi Pow cosh x0 cos x4 Add Mul pi Add Mul acoth x0 Mul tan Add x0 -3 sec Add x0 -3 Mul sec Add x0 -3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow cosh x0 Add cos x4 -1 Mul cos x4 sinh x0 