asech Mul x0 Add Mul Add Add x2 x4 atanh acot x0 x2 x0 
Mul Add Add Mul Add Add x2 x4 atanh acot x0 x2 x0 Mul x0 Add Mul x2 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acot x0 acot x0 -1 1 Pow Mul Mul Mul x0 Add Mul Add Add x2 x4 atanh acot x0 x2 x0 Mul x0 Add Mul Add Add x2 x4 atanh acot x0 x2 x0 sqrt Add 1 Mul -1 Pow Mul Mul x0 Add Mul Add Add x2 x4 atanh acot x0 x2 x0 Mul x0 Add Mul Add Add x2 x4 atanh acot x0 x2 x0 -1 -1 