Mul Pow asech exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 x0 x0 
Add Mul x0 Mul Pow asech exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 Add x0 -1 Add Mul x0 Mul Mul exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 Mul -1 Mul Mul -1 Mul Add Mul acot Mul atanh x0 x4 Mul Pow Mul Mul 3 cbrt log Add Mul x0 x0 x0 cbrt log Add Mul x0 x0 x0 -1 Mul Add Add x0 x0 1 Pow Add Mul x0 x0 x0 -1 Mul cbrt log Add Mul x0 x0 x0 Mul -1 Mul Mul x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul Mul atanh x0 x4 Mul atanh x0 x4 -1 Pow Add 1 Mul Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 -1 Pow Add 1 Mul acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 -1 Pow Mul Mul exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 sqrt Add 1 Mul -1 Pow Mul exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 -1 -1 Mul asech exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 log asech exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 Pow asech exp acot acot Mul cbrt log Add Mul x0 x0 x0 acot Mul atanh x0 x4 x0 