Mul Mul x0 Add Mul Mul -4 Add acoth Mul -2.40299796172238 asin x0 x0 x5 0.761594155955765 x7 
Mul x7 Add Add Mul Mul -4 Add acoth Mul -2.40299796172238 asin x0 x0 x5 0.761594155955765 Mul x0 Mul x5 Mul -4 Add Mul Mul -2.40299796172238 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Mul -2.40299796172238 asin x0 Mul -2.40299796172238 asin x0 -1 1 