Add Pow Mul Add x0 asec Mul acot x0 Mul acot x0 Mul tanh asech x6 x3 -4 -0.699521644348520 x0 
Add Mul Pow Mul Add x0 asec Mul acot x0 Mul acot x0 Mul tanh asech x6 x3 -4 -1.69952164434852 Mul -0.699521644348520 Mul -4 Add 1 Mul Add Mul Mul acot x0 Mul tanh asech x6 x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Mul tanh asech x6 x3 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul acot x0 Mul acot x0 Mul tanh asech x6 x3 Mul acot x0 Mul acot x0 Mul tanh asech x6 x3 -1 Mul acot x0 Mul acot x0 Mul tanh asech x6 x3 Mul acot x0 Mul acot x0 Mul tanh asech x6 x3 -1 1 