Pow Pow x0 acoth acoth cbrt x1 Mul atan x4 cot x0 
Mul Pow Pow x0 acoth acoth cbrt x1 Add Mul atan x4 cot x0 -1 Add Mul Mul atan x4 cot x0 Mul Pow x0 Add acoth acoth cbrt x1 -1 acoth acoth cbrt x1 Mul Mul Pow x0 acoth acoth cbrt x1 log Pow x0 acoth acoth cbrt x1 Mul atan x4 Mul -1 Pow csc x0 2 