Pow acosh Add atanh atanh x0 Pow Mul Pow Mul Mul x6 x5 x6 2 2 x5 x3 
Mul Pow acosh Add atanh atanh x0 Pow Mul Pow Mul Mul x6 x5 x6 2 2 x5 Add x3 -1 Mul x3 Mul Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul atanh x0 atanh x0 -1 Pow Mul sqrt Add Add atanh atanh x0 Pow Mul Pow Mul Mul x6 x5 x6 2 2 x5 -1 sqrt Add 1 Add atanh atanh x0 Pow Mul Pow Mul Mul x6 x5 x6 2 2 x5 -1 