Pow Add x5 Add sqrt Add Mul sec Mul x0 x0 atan acoth x2 x0 -3 x2 
Mul Pow Add x5 Add sqrt Add Mul sec Mul x0 x0 atan acoth x2 x0 -3 Add x2 -1 Mul x2 Mul Pow Mul 2 sqrt Add Mul sec Mul x0 x0 atan acoth x2 x0 -1 Add Mul atan acoth x2 Mul Mul tan Mul x0 x0 sec Mul x0 x0 Add x0 x0 1 