Mul Mul Add Mul Pow sech asinh x0 acot pi acoth pi x7 x0 tan log pi 
Mul tan log pi Add Mul x0 Mul acoth pi Mul Pow sech asinh x0 Add acot pi -1 Mul acot pi Mul Mul tanh asinh x0 Mul -1 sech asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Add Mul Pow sech asinh x0 acot pi acoth pi x7 