Add Add Pow cosh Pow pi pi x0 Pow Pow x0 5 x1 Add acoth x0 x0 
Add Add Mul Pow cosh Pow pi pi Add x0 -1 Mul cosh Pow pi pi log cosh Pow pi pi Mul Pow Pow x0 5 Add x1 -1 Mul x1 Mul Pow x0 4 5 Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 