Add x0 Add x3 Pow acoth Mul x0 x0 Add -0.463647609000806 x6 
Add 1 Mul Pow acoth Mul x0 x0 Add Add -0.463647609000806 x6 -1 Mul Add -0.463647609000806 x6 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 