csch cos acot sqrt Add Mul x0 2 acsch Mul x7 -4 
Mul Mul Mul -1 coth cos acot sqrt Add Mul x0 2 acsch Mul x7 -4 csch cos acot sqrt Add Mul x0 2 acsch Mul x7 -4 Mul Mul -1 sin acot sqrt Add Mul x0 2 acsch Mul x7 -4 Mul -1 Mul Mul Pow Mul 2 sqrt Add Mul x0 2 acsch Mul x7 -4 -1 2 Pow Add 1 Mul sqrt Add Mul x0 2 acsch Mul x7 -4 sqrt Add Mul x0 2 acsch Mul x7 -4 -1 