Mul Pow Mul sech Pow x0 3 acos Add x0 Mul x0 x1 sec Mul -4 x0 2 
Mul 2 Mul Pow Mul sech Pow x0 3 acos Add x0 Mul x0 x1 Add sec Mul -4 x0 -1 Add Mul sec Mul -4 x0 Add Mul acos Add x0 Mul x0 x1 Mul Mul tanh Pow x0 3 Mul -1 sech Pow x0 3 Mul Pow x0 2 3 Mul sech Pow x0 3 Mul -1 Mul Add 1 x1 Pow sqrt Add 1 Mul -1 Mul Add x0 Mul x0 x1 Add x0 Mul x0 x1 -1 Mul Mul Mul sech Pow x0 3 acos Add x0 Mul x0 x1 log Mul sech Pow x0 3 acos Add x0 Mul x0 x1 Mul Mul tan Mul -4 x0 sec Mul -4 x0 -4 