Mul x3 Pow Mul x6 E acsc Pow x0 csc acoth acsc x4 
Mul x3 Mul Pow Mul x6 E Add acsc Pow x0 csc acoth acsc x4 -1 Mul Mul Mul x6 E log Mul x6 E Mul -1 Mul Mul Pow x0 Add csc acoth acsc x4 -1 csc acoth acsc x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 csc acoth acsc x4 Pow x0 csc acoth acsc x4 -1 Pow x0 csc acoth acsc x4 Pow x0 csc acoth acsc x4 -1 