Add atanh x3 Mul x0 Mul atan Mul x6 x0 Pow acot Add x0 acos Mul x0 3 Add atan x0 x0 
Add Mul atan Mul x6 x0 Pow acot Add x0 acos Mul x0 3 Add atan x0 x0 Mul x0 Add Mul Pow acot Add x0 acos Mul x0 3 Add atan x0 x0 Mul x6 Pow Add 1 Mul Mul x6 x0 Mul x6 x0 -1 Mul atan Mul x6 x0 Mul Pow acot Add x0 acos Mul x0 3 Add Add atan x0 x0 -1 Add Mul Add atan x0 x0 Mul -1 Mul Add 1 Mul -1 Mul 3 Pow sqrt Add 1 Mul -1 Mul Mul x0 3 Mul x0 3 -1 Pow Add 1 Mul Add x0 acos Mul x0 3 Add x0 acos Mul x0 3 -1 Mul Mul acot Add x0 acos Mul x0 3 log acot Add x0 acos Mul x0 3 Add Pow Add 1 Mul x0 x0 -1 1 