Add Mul Pow Pow Add 5 Add Mul x3 pi x0 4 x2 Mul x6 3 coth Pow sec atanh x5 x0 
Add Mul Mul x6 3 Mul Pow Pow Add 5 Add Mul x3 pi x0 4 Add x2 -1 Mul x2 Mul Pow Add 5 Add Mul x3 pi x0 3 4 Mul Mul -1 Pow csch Pow sec atanh x5 x0 2 Mul Pow sec atanh x5 Add x0 -1 Mul sec atanh x5 log sec atanh x5 