Add Mul Mul acot Mul Pow x0 exp acsch Mul Add atan x0 pi x7 5 x0 Add x0 x0 Add sqrt x0 Mul x0 x6 
Add Add Mul Add x0 x0 Add Mul x0 Mul -1 Mul Mul 5 Mul Pow x0 Add exp acsch Mul Add atan x0 pi x7 -1 Add exp acsch Mul Add atan x0 pi x7 Mul Mul x0 log x0 Mul exp acsch Mul Add atan x0 pi x7 Mul Mul -1 Mul x7 Pow Add 1 Mul x0 x0 -1 Pow Mul Mul Mul Add atan x0 pi x7 Mul Add atan x0 pi x7 sqrt Add 1 Mul -1 Pow Mul Mul Add atan x0 pi x7 Mul Add atan x0 pi x7 -1 -1 Pow Add 1 Mul Mul Pow x0 exp acsch Mul Add atan x0 pi x7 5 Mul Pow x0 exp acsch Mul Add atan x0 pi x7 5 -1 acot Mul Pow x0 exp acsch Mul Add atan x0 pi x7 5 Mul Mul acot Mul Pow x0 exp acsch Mul Add atan x0 pi x7 5 x0 2 Add Pow Mul 2 sqrt x0 -1 x6 