Mul Pow coth pi acos Mul x0 exp E Add log Pow x5 x0 x0 
Add Mul Add log Pow x5 x0 x0 Mul Pow coth pi Add acos Mul x0 exp E -1 Mul Mul coth pi log coth pi Mul -1 Mul exp E Pow sqrt Add 1 Mul -1 Mul Mul x0 exp E Mul x0 exp E -1 Mul Pow coth pi acos Mul x0 exp E Add Mul Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Pow x5 x0 -1 1 