Mul x7 asin log Pow acoth x0 -0.756802495307928 
Mul x7 Mul Mul Mul Pow acoth x0 -1.75680249530793 Mul -0.756802495307928 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Pow acoth x0 -0.756802495307928 -1 Pow sqrt Add 1 Mul -1 Mul log Pow acoth x0 -0.756802495307928 log Pow acoth x0 -0.756802495307928 -1 