Pow x2 Add Add Pow log x5 Mul acoth x0 -0.800370091935425 x0 x0 
Mul Pow x2 Add Add Add Pow log x5 Mul acoth x0 -0.800370091935425 x0 x0 -1 Mul Mul x2 log x2 Add Add Mul Pow log x5 Add Mul acoth x0 -0.800370091935425 -1 Mul Mul log x5 log log x5 Mul -0.800370091935425 Pow Add 1 Mul -1 Mul x0 x0 -1 1 1 