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