Add 3 Mul Mul -3 x6 tan Pow coth acoth Add 1 x0 x0 
Mul Mul -3 x6 Mul Pow sec Pow coth acoth Add 1 x0 x0 2 Mul Pow coth acoth Add 1 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch acoth Add 1 x0 2 Pow Add 1 Mul -1 Mul Add 1 x0 Add 1 x0 -1 Mul coth acoth Add 1 x0 log coth acoth Add 1 x0 