Add Mul x0 Pow Add x0 asec Pow Pow Mul x0 Pow exp acoth x0 x5 x4 asin Add asinh x7 x0 pi exp x5 
Add Pow Add x0 asec Pow Pow Mul x0 Pow exp acoth x0 x5 x4 asin Add asinh x7 x0 pi Mul x0 Mul Pow Add x0 asec Pow Pow Mul x0 Pow exp acoth x0 x5 x4 asin Add asinh x7 x0 Add pi -1 Mul pi Add 1 Mul Mul Pow Pow Mul x0 Pow exp acoth x0 x5 x4 Add asin Add asinh x7 x0 -1 Add Mul asin Add asinh x7 x0 Mul Pow Mul x0 Pow exp acoth x0 x5 Add x4 -1 Mul x4 Add Pow exp acoth x0 x5 Mul x0 Mul Pow exp acoth x0 Add x5 -1 Mul x5 Mul exp acoth x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow Mul x0 Pow exp acoth x0 x5 x4 log Pow Mul x0 Pow exp acoth x0 x5 x4 Pow sqrt Add 1 Mul -1 Mul Add asinh x7 x0 Add asinh x7 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Pow Mul x0 Pow exp acoth x0 x5 x4 asin Add asinh x7 x0 Pow Pow Mul x0 Pow exp acoth x0 x5 x4 asin Add asinh x7 x0 -1 Pow Pow Mul x0 Pow exp acoth x0 x5 x4 asin Add asinh x7 x0 Pow Pow Mul x0 Pow exp acoth x0 x5 x4 asin Add asinh x7 x0 -1 