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