Pow Pow acos Mul x1 x0 Add x0 cos x3 Pow coth E x0 
Mul Pow Pow acos Mul x1 x0 Add x0 cos x3 Add Pow coth E x0 -1 Add Mul Pow coth E x0 Mul Pow acos Mul x1 x0 Add Add x0 cos x3 -1 Add Mul Add x0 cos x3 Mul -1 Mul x1 Pow sqrt Add 1 Mul -1 Mul Mul x1 x0 Mul x1 x0 -1 Mul acos Mul x1 x0 log acos Mul x1 x0 Mul Mul Pow acos Mul x1 x0 Add x0 cos x3 log Pow acos Mul x1 x0 Add x0 cos x3 Mul Pow coth E Add x0 -1 Mul coth E log coth E 