Mul Add Add x7 Add Add csch tan x0 pi Pow x0 Mul Mul x0 x0 Mul x3 Mul x0 3 Mul x0 x3 2.23606797749979 
Mul 2.23606797749979 Add Add Mul Mul Mul -1 coth tan x0 csch tan x0 Pow sec x0 2 Mul Pow x0 Add Mul Mul x0 x0 Mul x3 Mul x0 3 -1 Add Mul Mul x0 x0 Mul x3 Mul x0 3 Mul Mul x0 log x0 Add Mul Mul x3 Mul x0 3 Add x0 x0 Mul Mul x0 x0 Mul x3 3 x3 