Mul Add Pow x0 Mul x0 Mul x0 Mul Mul Pow x0 Mul acosh x5 x3 0.586124091639045 x3 acoth x0 0.761594155955765 
Mul 0.761594155955765 Add Mul Pow x0 Add Mul x0 Mul x0 Mul Mul Pow x0 Mul acosh x5 x3 0.586124091639045 x3 -1 Add Mul x0 Mul x0 Mul Mul Pow x0 Mul acosh x5 x3 0.586124091639045 x3 Mul Mul x0 log x0 Add Mul x0 Mul Mul Pow x0 Mul acosh x5 x3 0.586124091639045 x3 Mul x0 Add Mul Mul Pow x0 Mul acosh x5 x3 0.586124091639045 x3 Mul x0 Mul x3 Mul 0.586124091639045 Mul Pow x0 Add Mul acosh x5 x3 -1 Mul acosh x5 x3 Pow Add 1 Mul -1 Mul x0 x0 -1 