Pow Mul Mul 3 Pow x0 x2 Add coth tan x3 Mul Pow Pow x0 -1 1.41421356237310 x7 -2 
Mul Pow Mul Mul 3 Pow x0 x2 Add coth tan x3 Mul Pow Pow x0 -1 1.41421356237310 x7 3 Mul -2 Add Mul Add coth tan x3 Mul Pow Pow x0 -1 1.41421356237310 x7 Mul 3 Mul Pow x0 Add x2 -1 x2 Mul Mul 3 Pow x0 x2 Mul x7 Mul Pow Pow x0 -1 0.414213562373095 Mul 1.41421356237310 Mul Pow x0 2 -1 