tan Mul x0 Add Pow x6 Mul Mul 3 x0 asinh acot Mul x0 x0 -4 
Mul Pow sec Mul x0 Add Pow x6 Mul Mul 3 x0 asinh acot Mul x0 x0 -4 2 Add Add Pow x6 Mul Mul 3 x0 asinh acot Mul x0 x0 -4 Mul x0 Mul Pow x6 Add Mul Mul 3 x0 asinh acot Mul x0 x0 -1 Mul Mul x6 log x6 Add Mul asinh acot Mul x0 x0 3 Mul Mul 3 x0 Mul Mul -1 Mul Add x0 x0 Pow Add 1 Mul Mul x0 x0 Mul x0 x0 -1 Pow sqrt Add 1 Mul acot Mul x0 x0 acot Mul x0 x0 -1 