cosh Pow acoth pi Add x7 Pow Pow x0 x0 Add -4 Add x7 sin x1 
Mul sinh Pow acoth pi Add x7 Pow Pow x0 x0 Add -4 Add x7 sin x1 Mul Pow acoth pi Add Add x7 Pow Pow x0 x0 Add -4 Add x7 sin x1 -1 Mul Mul acoth pi log acoth pi Mul Pow Pow x0 x0 Add Add -4 Add x7 sin x1 -1 Mul Add -4 Add x7 sin x1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 