Mul x0 Mul x0 Pow Pow Pow x2 x0 3.14159265358979 acosh asech x0 
Add Mul x0 Pow Pow Pow x2 x0 3.14159265358979 acosh asech x0 Mul x0 Add Pow Pow Pow x2 x0 3.14159265358979 acosh asech x0 Mul x0 Mul Pow Pow Pow x2 x0 3.14159265358979 Add acosh asech x0 -1 Add Mul acosh asech x0 Mul Pow Pow x2 x0 2.14159265358979 Mul 3.14159265358979 Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Mul Pow Pow x2 x0 3.14159265358979 log Pow Pow x2 x0 3.14159265358979 Mul Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Mul sqrt Add asech x0 -1 sqrt Add 1 asech x0 -1 