acot Mul acsch Add Mul x0 x0 asech acot x4 Add Add x0 x0 Mul x6 x6 
Mul -1 Mul Add Mul Add Add x0 x0 Mul x6 x6 Mul Mul -1 Add x0 x0 Pow Mul Mul Add Mul x0 x0 asech acot x4 Add Mul x0 x0 asech acot x4 sqrt Add 1 Mul -1 Pow Mul Add Mul x0 x0 asech acot x4 Add Mul x0 x0 asech acot x4 -1 -1 Mul acsch Add Mul x0 x0 asech acot x4 2 Pow Add 1 Mul Mul acsch Add Mul x0 x0 asech acot x4 Add Add x0 x0 Mul x6 x6 Mul acsch Add Mul x0 x0 asech acot x4 Add Add x0 x0 Mul x6 x6 -1 