Pow Add Mul x4 Add -2 Pow atanh asech x7 acosh x0 x0 x5 
Mul Pow Add Mul x4 Add -2 Pow atanh asech x7 acosh x0 x0 Add x5 -1 Mul x5 Add Mul x4 Mul Pow atanh asech x7 Add acosh x0 -1 Mul Mul atanh asech x7 log atanh asech x7 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 