log Add acoth x0 Pow Mul x0 acosh x3 Mul Mul 3 x1 cot atanh x0 
Mul Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Pow Mul x0 acosh x3 Add Mul Mul 3 x1 cot atanh x0 -1 Add Mul Mul Mul 3 x1 cot atanh x0 acosh x3 Mul Mul Mul x0 acosh x3 log Mul x0 acosh x3 Mul Mul 3 x1 Mul Mul -1 Pow csc atanh x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add acoth x0 Pow Mul x0 acosh x3 Mul Mul 3 x1 cot atanh x0 -1 