Mul asinh Mul x7 Pow Pow acot x0 Add x0 asinh Mul 6 x0 Mul 2 x0 sech atan x0 
Add Mul sech atan x0 Mul Mul x7 Mul Pow Pow acot x0 Add x0 asinh Mul 6 x0 Add Mul 2 x0 -1 Add Mul Mul 2 x0 Mul Pow acot x0 Add Add x0 asinh Mul 6 x0 -1 Add Mul Add x0 asinh Mul 6 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Add 1 Mul 6 Pow sqrt Add 1 Mul Mul 6 x0 Mul 6 x0 -1 Mul Mul Pow acot x0 Add x0 asinh Mul 6 x0 log Pow acot x0 Add x0 asinh Mul 6 x0 2 Pow sqrt Add 1 Mul Mul x7 Pow Pow acot x0 Add x0 asinh Mul 6 x0 Mul 2 x0 Mul x7 Pow Pow acot x0 Add x0 asinh Mul 6 x0 Mul 2 x0 -1 Mul asinh Mul x7 Pow Pow acot x0 Add x0 asinh Mul 6 x0 Mul 2 x0 Mul Mul tanh atan x0 Mul -1 sech atan x0 Pow Add 1 Mul x0 x0 -1 