Add Pow x0 -3 Pow Mul x0 acsch acsc x7 acot x0 
Add Mul Pow x0 4 -3 Mul Pow Mul x0 acsch acsc x7 Add acot x0 -1 Add Mul acot x0 acsch acsc x7 Mul Mul Mul x0 acsch acsc x7 log Mul x0 acsch acsc x7 Mul -1 Pow Add 1 Mul x0 x0 -1 