Add asec sec asech acoth Mul pi x0 x0 
Add Mul Mul Mul tan asech acoth Mul pi x0 sec asech acoth Mul pi x0 Mul Mul pi Pow Add 1 Mul -1 Mul Mul pi x0 Mul pi x0 -1 Pow Mul Mul acoth Mul pi x0 acoth Mul pi x0 sqrt Add 1 Mul -1 Pow Mul acoth Mul pi x0 acoth Mul pi x0 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sec asech acoth Mul pi x0 sec asech acoth Mul pi x0 -1 sec asech acoth Mul pi x0 sec asech acoth Mul pi x0 -1 1 