asec acot acoth Mul x0 acot x5 
Mul Mul -1 Mul Mul acot x5 Pow Add 1 Mul -1 Mul Mul x0 acot x5 Mul x0 acot x5 -1 Pow Add 1 Mul acoth Mul x0 acot x5 acoth Mul x0 acot x5 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot acoth Mul x0 acot x5 acot acoth Mul x0 acot x5 -1 acot acoth Mul x0 acot x5 acot acoth Mul x0 acot x5 -1 