Add Mul acoth sin Pow atanh x0 Mul x5 1.25992104989487 25 x0 
Add Mul 25 Mul Mul cos Pow atanh x0 Mul x5 1.25992104989487 Mul Pow atanh x0 Add Mul x5 1.25992104989487 -1 Mul Mul x5 1.25992104989487 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sin Pow atanh x0 Mul x5 1.25992104989487 sin Pow atanh x0 Mul x5 1.25992104989487 -1 1 