Pow 2 Pow x4 Add Add -4 Mul x0 Pow Pow Add x0 -1 x0 2.18503986326152 Mul sec x0 sqrt Pow acoth x0 x3 
Mul Pow 2 Add Pow x4 Add Add -4 Mul x0 Pow Pow Add x0 -1 x0 2.18503986326152 Mul sec x0 sqrt Pow acoth x0 x3 -1 Mul 2.69314718055995 Mul Pow x4 Add Add Add -4 Mul x0 Pow Pow Add x0 -1 x0 2.18503986326152 Mul sec x0 sqrt Pow acoth x0 x3 -1 Mul Mul x4 log x4 Add Add Pow Pow Add x0 -1 x0 2.18503986326152 Mul x0 Mul Pow Pow Add x0 -1 x0 1.18503986326152 Mul 2.18503986326152 Mul Pow Add x0 -1 Add x0 -1 Add x0 Mul Add x0 -1 log Add x0 -1 Add Mul sqrt Pow acoth x0 x3 Mul tan x0 sec x0 Mul sec x0 Mul Pow Mul 2 sqrt Pow acoth x0 x3 -1 Mul Pow acoth x0 Add x3 -1 Mul x3 Pow Add 1 Mul -1 Mul x0 x0 -1 