log Pow 0.992380176715307 Add Mul x7 exp Mul x0 sin acoth acoth x0 x3 
Mul Mul Pow 0.992380176715307 Add Add Mul x7 exp Mul x0 sin acoth acoth x0 x3 -1 Mul 0.984731174255892 Mul x7 Mul exp Mul x0 sin acoth acoth x0 Add sin acoth acoth x0 Mul x0 Mul cos acoth acoth x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Pow Pow 0.992380176715307 Add Mul x7 exp Mul x0 sin acoth acoth x0 x3 -1 