Mul -2 Pow sec Add pi Add Add 3 Pow x2 -1 Add Pow asech sqrt x2 x0 acoth x0 log x0 
Mul -2 Mul Pow sec Add pi Add Add 3 Pow x2 -1 Add Pow asech sqrt x2 x0 acoth x0 Add log x0 -1 Add Mul log x0 Mul Mul tan Add pi Add Add 3 Pow x2 -1 Add Pow asech sqrt x2 x0 acoth x0 sec Add pi Add Add 3 Pow x2 -1 Add Pow asech sqrt x2 x0 acoth x0 Add Mul Pow asech sqrt x2 Add x0 -1 Mul asech sqrt x2 log asech sqrt x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul sec Add pi Add Add 3 Pow x2 -1 Add Pow asech sqrt x2 x0 acoth x0 log sec Add pi Add Add 3 Pow x2 -1 Add Pow asech sqrt x2 x0 acoth x0 Pow x0 -1 