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