asech log exp Mul x0 asech asinh pi 
Mul Mul Mul exp Mul x0 asech asinh pi asech asinh pi Pow exp Mul x0 asech asinh pi -1 Pow Mul Mul log exp Mul x0 asech asinh pi log exp Mul x0 asech asinh pi sqrt Add 1 Mul -1 Pow Mul log exp Mul x0 asech asinh pi log exp Mul x0 asech asinh pi -1 -1 