Add x6 Mul 4 Pow acot Mul x0 x0 Pow Mul 5 Add x7 atan x0 asinh x5 
Mul 4 Mul Pow acot Mul x0 x0 Add Pow Mul 5 Add x7 atan x0 asinh x5 -1 Add Mul Pow Mul 5 Add x7 atan x0 asinh x5 Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Mul Mul acot Mul x0 x0 log acot Mul x0 x0 Mul Pow Mul 5 Add x7 atan x0 Add asinh x5 -1 Mul asinh x5 Mul 5 Pow Add 1 Mul x0 x0 -1 