Add 5 sec coth Pow log acos x3 x0 
Mul Mul tan coth Pow log acos x3 x0 sec coth Pow log acos x3 x0 Mul Mul -1 Pow csch Pow log acos x3 x0 2 Mul Pow log acos x3 Add x0 -1 Mul log acos x3 log log acos x3 