Add x0 Add 2 coth tan Mul Pow Add 64 Mul Mul acot log x0 x0 x0 x0 Mul x0 x0 
Add 1 Mul Mul -1 Pow csch tan Mul Pow Add 64 Mul Mul acot log x0 x0 x0 x0 Mul x0 x0 2 Mul Pow sec Mul Pow Add 64 Mul Mul acot log x0 x0 x0 x0 Mul x0 x0 2 Add Mul Mul x0 x0 Mul Pow Add 64 Mul Mul acot log x0 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Add Mul x0 Mul -1 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 acot log x0 Mul acot log x0 x0 Mul Add 64 Mul Mul acot log x0 x0 x0 log Add 64 Mul Mul acot log x0 x0 x0 Mul Pow Add 64 Mul Mul acot log x0 x0 x0 x0 Add x0 x0 