sinh Mul atanh x0 Pow pi Add Add x0 x0 x0 
Mul cosh Mul atanh x0 Pow pi Add Add x0 x0 x0 Add Mul Pow pi Add Add x0 x0 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul atanh x0 Mul Pow pi Add Add Add x0 x0 x0 -1 Mul Mul pi log pi 3 