Mul Pow x0 tan Add Pow sqrt x0 4 Mul E x0 Pow acoth pi x0 
Add Mul Pow acoth pi x0 Mul Pow x0 Add tan Add Pow sqrt x0 4 Mul E x0 -1 Add tan Add Pow sqrt x0 4 Mul E x0 Mul Mul x0 log x0 Mul Pow sec Add Pow sqrt x0 4 Mul E x0 2 Add Mul Pow sqrt x0 3 Mul 4 Pow Mul 2 sqrt x0 -1 E Mul Pow x0 tan Add Pow sqrt x0 4 Mul E x0 Mul Pow acoth pi Add x0 -1 Mul acoth pi log acoth pi 