acosh Add acoth Pow asech x5 x3 Mul x4 Add x0 Add 4 x0 
Mul Mul x4 2 Pow Mul sqrt Add Add acoth Pow asech x5 x3 Mul x4 Add x0 Add 4 x0 -1 sqrt Add 1 Add acoth Pow asech x5 x3 Mul x4 Add x0 Add 4 x0 -1 