Mul Add 3 Mul x0 x0 acot Pow Add x0 x7 Add 4 Add csch Mul Mul -1 Add x0 x5 E acoth Mul x0 3 
Add Mul acot Pow Add x0 x7 Add 4 Add csch Mul Mul -1 Add x0 x5 E acoth Mul x0 3 Add x0 x0 Mul Add 3 Mul x0 x0 Mul -1 Mul Mul Pow Add x0 x7 Add Add 4 Add csch Mul Mul -1 Add x0 x5 E acoth Mul x0 3 -1 Add Add 4 Add csch Mul Mul -1 Add x0 x5 E acoth Mul x0 3 Mul Mul Add x0 x7 log Add x0 x7 Add Mul Mul Mul -1 coth Mul Mul -1 Add x0 x5 E csch Mul Mul -1 Add x0 x5 E Mul E -1 Mul 3 Pow Add 1 Mul -1 Mul Mul x0 3 Mul x0 3 -1 Pow Add 1 Mul Pow Add x0 x7 Add 4 Add csch Mul Mul -1 Add x0 x5 E acoth Mul x0 3 Pow Add x0 x7 Add 4 Add csch Mul Mul -1 Add x0 x5 E acoth Mul x0 3 -1 