Add Pow Mul x0 Pow Pow exp x0 acot x0 x0 cos acosh Add x0 pi Mul -1 x0 
Add Mul Pow Mul x0 Pow Pow exp x0 acot x0 x0 Add cos acosh Add x0 pi -1 Add Mul cos acosh Add x0 pi Add Pow Pow exp x0 acot x0 x0 Mul x0 Mul Pow Pow exp x0 acot x0 Add x0 -1 Add Mul x0 Mul Pow exp x0 Add acot x0 -1 Add Mul acot x0 exp x0 Mul Mul exp x0 log exp x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow exp x0 acot x0 log Pow exp x0 acot x0 Mul Mul Mul x0 Pow Pow exp x0 acot x0 x0 log Mul x0 Pow Pow exp x0 acot x0 x0 Mul Mul -1 sin acosh Add x0 pi Pow Mul sqrt Add Add x0 pi -1 sqrt Add 1 Add x0 pi -1 -1 