sqrt acot Mul -3 Mul x0 Mul Add x0 asinh Add Add -3 Add x0 asinh Add x0 -4 Add x7 5 -1 
Mul Pow Mul 2 sqrt acot Mul -3 Mul x0 Mul Add x0 asinh Add Add -3 Add x0 asinh Add x0 -4 Add x7 5 -1 -1 Mul -1 Mul Mul -3 Add Mul Add x0 asinh Add Add -3 Add x0 asinh Add x0 -4 Add x7 5 -1 Mul x0 Mul -1 Add 1 Mul Add 1 Pow sqrt Add 1 Mul Add x0 -4 Add x0 -4 -1 Pow sqrt Add 1 Mul Add Add -3 Add x0 asinh Add x0 -4 Add x7 5 Add Add -3 Add x0 asinh Add x0 -4 Add x7 5 -1 Pow Add 1 Mul Mul -3 Mul x0 Mul Add x0 asinh Add Add -3 Add x0 asinh Add x0 -4 Add x7 5 -1 Mul -3 Mul x0 Mul Add x0 asinh Add Add -3 Add x0 asinh Add x0 -4 Add x7 5 -1 -1 