Add pi atan Add Pow 4 Mul acot x3 acot Add E x0 Pow Mul tanh x0 x0 sinh x1 
Mul Add Mul Pow 4 Add Mul acot x3 acot Add E x0 -1 Mul 5.38629436111989 Mul acot x3 Mul -1 Pow Add 1 Mul Add E x0 Add E x0 -1 Mul Pow Mul tanh x0 x0 Add sinh x1 -1 Mul sinh x1 Add Mul x0 Pow sech x0 2 tanh x0 Pow Add 1 Mul Add Pow 4 Mul acot x3 acot Add E x0 Pow Mul tanh x0 x0 sinh x1 Add Pow 4 Mul acot x3 acot Add E x0 Pow Mul tanh x0 x0 sinh x1 -1 