Mul x0 Pow 3 Pow Mul x2 x2 Mul acot x7 sech x0 
Add Pow 3 Pow Mul x2 x2 Mul acot x7 sech x0 Mul x0 Mul Pow 3 Add Pow Mul x2 x2 Mul acot x7 sech x0 -1 Mul 4.09861228866811 Mul Pow Mul x2 x2 Add Mul acot x7 sech x0 -1 Mul Mul Mul x2 x2 log Mul x2 x2 Mul acot x7 Mul tanh x0 Mul -1 sech x0 