Add Pow exp x0 Mul x0 cosh asin Pow Add x0 pi Pow Mul x0 Mul x0 -3 asech x7 x0 
Add Mul Pow exp x0 Add Mul x0 cosh asin Pow Add x0 pi Pow Mul x0 Mul x0 -3 asech x7 -1 Add Mul Mul x0 cosh asin Pow Add x0 pi Pow Mul x0 Mul x0 -3 asech x7 exp x0 Mul Mul exp x0 log exp x0 Add cosh asin Pow Add x0 pi Pow Mul x0 Mul x0 -3 asech x7 Mul x0 Mul sinh asin Pow Add x0 pi Pow Mul x0 Mul x0 -3 asech x7 Mul Mul Pow Add x0 pi Add Pow Mul x0 Mul x0 -3 asech x7 -1 Add Pow Mul x0 Mul x0 -3 asech x7 Mul Mul Add x0 pi log Add x0 pi Mul Pow Mul x0 Mul x0 -3 Add asech x7 -1 Mul asech x7 Add Mul x0 -3 Mul x0 -3 Pow sqrt Add 1 Mul -1 Mul Pow Add x0 pi Pow Mul x0 Mul x0 -3 asech x7 Pow Add x0 pi Pow Mul x0 Mul x0 -3 asech x7 -1 1 