sinh Pow Pow 2 x2 atan cosh Pow Mul x0 pi x2 
Mul cosh Pow Pow 2 x2 atan cosh Pow Mul x0 pi x2 Mul Pow Pow 2 x2 Add atan cosh Pow Mul x0 pi x2 -1 Mul Mul Pow 2 x2 log Pow 2 x2 Mul Mul sinh Pow Mul x0 pi x2 Mul Pow Mul x0 pi Add x2 -1 Mul x2 pi Pow Add 1 Mul cosh Pow Mul x0 pi x2 cosh Pow Mul x0 pi x2 -1 