Add Pow Add x3 4 csch Mul x0 x0 exp log Add cot x0 coth acosh x4 
Add Mul Pow Add x3 4 Add csch Mul x0 x0 -1 Mul Mul Add x3 4 log Add x3 4 Mul Mul Mul -1 coth Mul x0 x0 csch Mul x0 x0 Add x0 x0 Mul exp log Add cot x0 coth acosh x4 Mul Mul -1 Pow csc x0 2 Pow Add cot x0 coth acosh x4 -1 