Add Mul Pow Mul x0 Add sqrt acosh Mul asech E x0 pi 3 x0 x0 
Add Add Mul x0 Mul Pow Mul x0 Add sqrt acosh Mul asech E x0 pi 2 Mul 3 Add Add sqrt acosh Mul asech E x0 pi Mul x0 Mul Pow Mul 2 sqrt acosh Mul asech E x0 -1 Mul asech E Pow Mul sqrt Add Mul asech E x0 -1 sqrt Add 1 Mul asech E x0 -1 Pow Mul x0 Add sqrt acosh Mul asech E x0 pi 3 1 