Mul Pow exp x6 x0 Pow Mul log acoth Pow x1 Mul acot x0 x0 Mul asinh acosh sqrt x0 pi x1 
Add Mul Pow Mul log acoth Pow x1 Mul acot x0 x0 Mul asinh acosh sqrt x0 pi x1 Mul Pow exp x6 Add x0 -1 Mul exp x6 log exp x6 Mul Pow exp x6 x0 Mul Pow Mul log acoth Pow x1 Mul acot x0 x0 Mul asinh acosh sqrt x0 pi Add x1 -1 Mul x1 Add Mul Mul asinh acosh sqrt x0 pi Mul Mul Mul Pow x1 Add Mul acot x0 x0 -1 Mul Mul x1 log x1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 Pow Add 1 Mul -1 Mul Pow x1 Mul acot x0 x0 Pow x1 Mul acot x0 x0 -1 Pow acoth Pow x1 Mul acot x0 x0 -1 Mul log acoth Pow x1 Mul acot x0 x0 Mul pi Mul Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 Pow sqrt Add 1 Mul acosh sqrt x0 acosh sqrt x0 -1 