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