Add Pow x0 x5 Add x0 Mul Pow Pow Add Add asin x7 x0 exp Mul x0 -0.250000000000000 x0 x1 Mul acoth x3 x0 
Add Mul Pow x0 Add x5 -1 x5 Add 1 Add Mul Mul acoth x3 x0 Mul Pow Pow Add Add asin x7 x0 exp Mul x0 -0.250000000000000 x0 Add x1 -1 Mul x1 Mul Pow Add Add asin x7 x0 exp Mul x0 -0.250000000000000 Add x0 -1 Add Mul x0 Add 1 Mul exp Mul x0 -0.250000000000000 -0.250000000000000 Mul Add Add asin x7 x0 exp Mul x0 -0.250000000000000 log Add Add asin x7 x0 exp Mul x0 -0.250000000000000 Mul Pow Pow Add Add asin x7 x0 exp Mul x0 -0.250000000000000 x0 x1 acoth x3 