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