Pow acot x5 asech Pow x0 Pow x3 E 
Mul Pow acot x5 Add asech Pow x0 Pow x3 E -1 Mul Mul acot x5 log acot x5 Mul Mul Pow x0 Add Pow x3 E -1 Pow x3 E Pow Mul Mul Pow x0 Pow x3 E Pow x0 Pow x3 E sqrt Add 1 Mul -1 Pow Mul Pow x0 Pow x3 E Pow x0 Pow x3 E -1 -1 