asin Pow Add x0 acsch Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi x0 
Mul Mul Pow Add x0 acsch Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi Add x0 -1 Add Mul x0 Add 1 Mul Mul -1 Mul pi Add Mul x0 Mul Pow acosh Add Mul x0 x0 x5 Add x7 -1 Mul x7 Mul Add x0 x0 Pow Mul sqrt Add Add Mul x0 x0 x5 -1 sqrt Add 1 Add Mul x0 x0 x5 -1 Pow acosh Add Mul x0 x0 x5 x7 Pow Mul Mul Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi sqrt Add 1 Mul -1 Pow Mul Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi -1 -1 Mul Add x0 acsch Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi log Add x0 acsch Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi Pow sqrt Add 1 Mul -1 Mul Pow Add x0 acsch Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi x0 Pow Add x0 acsch Mul Mul Pow acosh Add Mul x0 x0 x5 x7 x0 pi x0 -1 