Add Mul -3 Pow Add exp Mul Mul Mul x0 acot sinh x0 -3 acoth atan x6 x0 Pow x0 asin x7 -3 
Mul -3 Mul Pow Add exp Mul Mul Mul x0 acot sinh x0 -3 acoth atan x6 x0 Add Pow x0 asin x7 -1 Add Mul Pow x0 asin x7 Add Mul exp Mul Mul Mul x0 acot sinh x0 -3 acoth atan x6 Mul acoth atan x6 Mul -3 Add acot sinh x0 Mul x0 Mul -1 Mul cosh x0 Pow Add 1 Mul sinh x0 sinh x0 -1 1 Mul Mul Add exp Mul Mul Mul x0 acot sinh x0 -3 acoth atan x6 x0 log Add exp Mul Mul Mul x0 acot sinh x0 -3 acoth atan x6 x0 Mul Pow x0 Add asin x7 -1 asin x7 