Pow acoth acosh Mul Mul Add x0 x0 Pow Mul x0 Add x0 Add x0 pi x0 asin asinh x5 Mul acot x6 x6 
Mul Pow acoth acosh Mul Mul Add x0 x0 Pow Mul x0 Add x0 Add x0 pi x0 asin asinh x5 Add Mul acot x6 x6 -1 Mul Mul acot x6 x6 Mul Mul Mul asin asinh x5 Add Mul Pow Mul x0 Add x0 Add x0 pi x0 2 Mul Add x0 x0 Mul Pow Mul x0 Add x0 Add x0 pi Add x0 -1 Add Mul x0 Add Add x0 Add x0 pi Mul x0 2 Mul Mul x0 Add x0 Add x0 pi log Mul x0 Add x0 Add x0 pi Pow Mul sqrt Add Mul Mul Add x0 x0 Pow Mul x0 Add x0 Add x0 pi x0 asin asinh x5 -1 sqrt Add 1 Mul Mul Add x0 x0 Pow Mul x0 Add x0 Add x0 pi x0 asin asinh x5 -1 Pow Add 1 Mul -1 Mul acosh Mul Mul Add x0 x0 Pow Mul x0 Add x0 Add x0 pi x0 asin asinh x5 acosh Mul Mul Add x0 x0 Pow Mul x0 Add x0 Add x0 pi x0 asin asinh x5 -1 