atan Pow x0 Mul -4 Mul x7 acsch acoth log asin exp acos cbrt x6 
Mul Mul Pow x0 Add Mul -4 Mul x7 acsch acoth log asin exp acos cbrt x6 -1 Mul -4 Mul x7 acsch acoth log asin exp acos cbrt x6 Pow Add 1 Mul Pow x0 Mul -4 Mul x7 acsch acoth log asin exp acos cbrt x6 Pow x0 Mul -4 Mul x7 acsch acoth log asin exp acos cbrt x6 -1 