Add Pow asec Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 x0 Pow acot x4 Mul x3 x0 
Add Mul Pow asec Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 Add x0 -1 Add Mul x0 Mul Add Add Mul x0 Mul Pow Add -2 E Add x0 -1 Mul Add -2 E log Add -2 E Pow Add -2 E x0 Add cosh Add x0 -4 Mul x0 sinh Add x0 -4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 -1 Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 -1 Mul asec Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 log asec Add Mul Pow Add -2 E x0 x0 Mul x0 cosh Add x0 -4 Mul Pow acot x4 Add Mul x3 x0 -1 Mul Mul acot x4 log acot x4 x3 