Pow Pow cos acoth x2 Pow Pow x0 x2 -3 pi 
Mul Pow Pow cos acoth x2 Pow Pow x0 x2 -3 Add pi -1 Mul pi Mul Pow cos acoth x2 Add Pow Pow x0 x2 -3 -1 Mul Mul cos acoth x2 log cos acoth x2 Mul Pow Pow x0 x2 4 Mul -3 Mul Pow x0 Add x2 -1 x2 