Mul x0 log Pow cot coth acoth Mul x0 exp x0 Add x1 -3 
Add log Pow cot coth acoth Mul x0 exp x0 Add x1 -3 Mul x0 Mul Mul Pow cot coth acoth Mul x0 exp x0 Add Add x1 -3 -1 Mul Add x1 -3 Mul Mul -1 Pow csc coth acoth Mul x0 exp x0 2 Mul Mul -1 Pow csch acoth Mul x0 exp x0 2 Mul Add exp x0 Mul x0 exp x0 Pow Add 1 Mul -1 Mul Mul x0 exp x0 Mul x0 exp x0 -1 Pow Pow cot coth acoth Mul x0 exp x0 Add x1 -3 -1 