Pow acot asech acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi x0 
Mul Pow acot asech acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi Add x0 -1 Add Mul x0 Mul -1 Mul Mul Mul -1 Mul Mul sinh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi Mul x3 Add Mul x0 pi Mul Add x0 asec Pow pi 7 pi Pow Add 1 Mul cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi -1 Pow Mul Mul acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi sqrt Add 1 Mul -1 Pow Mul acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi -1 -1 Pow Add 1 Mul asech acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi asech acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi -1 Mul acot asech acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi log acot asech acot cosh Add Mul x3 Mul Mul Add x0 asec Pow pi 7 pi x0 pi 