Add Pow Add Mul -2 acot x0 x0 Mul Pow pi sec sinh Mul 5 E x1 4 
Mul Pow Add Mul -2 acot x0 x0 Add Mul Pow pi sec sinh Mul 5 E x1 -1 Mul Mul Pow pi sec sinh Mul 5 E x1 Add Mul -2 Mul -1 Pow Add 1 Mul x0 x0 -1 1 