acot Mul Pow x0 E Add Add Mul Pow x5 x0 3 asinh exp x7 -0.999909204262595 
Mul -1 Mul Add Mul Add Add Mul Pow x5 x0 3 asinh exp x7 -0.999909204262595 Mul Pow x0 Add E -1 E Mul Pow x0 E Mul 3 Mul Pow x5 Add x0 -1 Mul x5 log x5 Pow Add 1 Mul Mul Pow x0 E Add Add Mul Pow x5 x0 3 asinh exp x7 -0.999909204262595 Mul Pow x0 E Add Add Mul Pow x5 x0 3 asinh exp x7 -0.999909204262595 -1 