Mul x0 Pow x0 Add exp Add asin Mul x0 Mul x0 -4 sin acoth asech acot Add x0 Mul x0 3 3 
Add Pow x0 Add exp Add asin Mul x0 Mul x0 -4 sin acoth asech acot Add x0 Mul x0 3 3 Mul x0 Mul Pow x0 Add Add exp Add asin Mul x0 Mul x0 -4 sin acoth asech acot Add x0 Mul x0 3 3 -1 Add Add exp Add asin Mul x0 Mul x0 -4 sin acoth asech acot Add x0 Mul x0 3 3 Mul Mul x0 log x0 Mul exp Add asin Mul x0 Mul x0 -4 sin acoth asech acot Add x0 Mul x0 3 Add Mul Add Mul x0 -4 Mul x0 -4 Pow sqrt Add 1 Mul -1 Mul Mul x0 Mul x0 -4 Mul x0 Mul x0 -4 -1 Mul cos acoth asech acot Add x0 Mul x0 3 Mul Mul Mul -1 Mul 4 Pow Add 1 Mul Add x0 Mul x0 3 Add x0 Mul x0 3 -1 Pow Mul Mul acot Add x0 Mul x0 3 acot Add x0 Mul x0 3 sqrt Add 1 Mul -1 Pow Mul acot Add x0 Mul x0 3 acot Add x0 Mul x0 3 -1 -1 Pow Add 1 Mul -1 Mul asech acot Add x0 Mul x0 3 asech acot Add x0 Mul x0 3 -1 