Add acsch Mul acosh x0 Mul x0 x2 0.693147180559945 
Mul Mul -1 Add Mul Mul x0 x2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 x2 Pow Mul Mul Mul acosh x0 Mul x0 x2 Mul acosh x0 Mul x0 x2 sqrt Add 1 Mul -1 Pow Mul Mul acosh x0 Mul x0 x2 Mul acosh x0 Mul x0 x2 -1 -1 