acoth Pow Mul Mul acoth acosh x6 x2 0.283662185463226 Mul x0 Add Pow Add 1.73205080756888 Add 1 x0 x2 Mul E x3 
Mul Mul Pow Mul Mul acoth acosh x6 x2 0.283662185463226 Add Mul x0 Add Pow Add 1.73205080756888 Add 1 x0 x2 Mul E x3 -1 Mul Mul Mul Mul acoth acosh x6 x2 0.283662185463226 log Mul Mul acoth acosh x6 x2 0.283662185463226 Add Add Pow Add 1.73205080756888 Add 1 x0 x2 Mul E x3 Mul x0 Mul Pow Add 1.73205080756888 Add 1 x0 Add x2 -1 x2 Pow Add 1 Mul -1 Mul Pow Mul Mul acoth acosh x6 x2 0.283662185463226 Mul x0 Add Pow Add 1.73205080756888 Add 1 x0 x2 Mul E x3 Pow Mul Mul acoth acosh x6 x2 0.283662185463226 Mul x0 Add Pow Add 1.73205080756888 Add 1 x0 x2 Mul E x3 -1 