Pow acosh Add Add x7 2 asinh atanh Mul x0 -2 4 
Mul Pow acosh Add Add x7 2 asinh atanh Mul x0 -2 3 Mul 4 Mul Mul Mul -2 Pow Add 1 Mul -1 Mul Mul x0 -2 Mul x0 -2 -1 Pow sqrt Add 1 Mul atanh Mul x0 -2 atanh Mul x0 -2 -1 Pow Mul sqrt Add Add Add x7 2 asinh atanh Mul x0 -2 -1 sqrt Add 1 Add Add x7 2 asinh atanh Mul x0 -2 -1 