Mul Add Pow Pow x4 Pow log acot x0 x0 x0 acosh x1 Add acsch x2 Pow Mul pi x0 Mul x0 x5 
Add Mul Add acsch x2 Pow Mul pi x0 Mul x0 x5 Mul Pow Pow x4 Pow log acot x0 x0 Add x0 -1 Add Mul x0 Mul Pow x4 Add Pow log acot x0 x0 -1 Mul Mul x4 log x4 Mul Pow log acot x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 Mul log acot x0 log log acot x0 Mul Pow x4 Pow log acot x0 x0 log Pow x4 Pow log acot x0 x0 Mul Add Pow Pow x4 Pow log acot x0 x0 x0 acosh x1 Mul Pow Mul pi x0 Add Mul x0 x5 -1 Add Mul Mul x0 x5 pi Mul Mul Mul pi x0 log Mul pi x0 x5 