Mul Pow Pow coth x1 x0 log sqrt acos Mul Add x0 x0 x0 Pow pi sec x0 
Add Mul Pow pi sec x0 Mul Pow Pow coth x1 x0 Add log sqrt acos Mul Add x0 x0 x0 -1 Add Mul log sqrt acos Mul Add x0 x0 x0 Mul Pow coth x1 Add x0 -1 Mul coth x1 log coth x1 Mul Mul Pow coth x1 x0 log Pow coth x1 x0 Mul Mul Pow Mul 2 sqrt acos Mul Add x0 x0 x0 -1 Mul -1 Mul Add Mul x0 2 Add x0 x0 Pow sqrt Add 1 Mul -1 Mul Mul Add x0 x0 x0 Mul Add x0 x0 x0 -1 Pow sqrt acos Mul Add x0 x0 x0 -1 Mul Pow Pow coth x1 x0 log sqrt acos Mul Add x0 x0 x0 Mul Pow pi Add sec x0 -1 Mul Mul pi log pi Mul tan x0 sec x0 