Add sqrt Add coth x2 Add sqrt Mul Mul x0 5 Add 3 x0 1.23095941734077 x7 
Mul Pow Mul 2 sqrt Add coth x2 Add sqrt Mul Mul x0 5 Add 3 x0 1.23095941734077 -1 Mul Pow Mul 2 sqrt Mul Mul x0 5 Add 3 x0 -1 Add Mul Add 3 x0 5 Mul x0 5 