Add Pow Mul 2 x0 -1 Add Add Add x0 1 x0 sqrt Add x0 acoth tan Mul x5 Pow x0 x0 
Add Pow Mul 2 x0 2 Add 2 Mul Pow Mul 2 sqrt Add x0 acoth tan Mul x5 Pow x0 x0 -1 Add 1 Mul Mul Pow sec Mul x5 Pow x0 x0 2 Mul x5 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Pow Add 1 Mul -1 Mul tan Mul x5 Pow x0 x0 tan Mul x5 Pow x0 x0 -1 