Pow Mul Mul x0 Mul x0 acsc x2 Pow tan acsch x4 acot x0 x3 
Mul Pow Mul Mul x0 Mul x0 acsc x2 Pow tan acsch x4 acot x0 Add x3 -1 Mul x3 Add Mul Pow tan acsch x4 acot x0 Add Mul x0 acsc x2 Mul x0 acsc x2 Mul Mul x0 Mul x0 acsc x2 Mul Pow tan acsch x4 Add acot x0 -1 Mul Mul tan acsch x4 log tan acsch x4 Mul -1 Pow Add 1 Mul x0 x0 -1 