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