asec Pow cos Mul sqrt acoth x0 asec x0 Add x0 asinh Mul pi x4 
Mul Mul Pow cos Mul sqrt acoth x0 asec x0 Add Add x0 asinh Mul pi x4 -1 Add Mul Add x0 asinh Mul pi x4 Mul Mul -1 sin Mul sqrt acoth x0 asec x0 Add Mul asec x0 Mul Pow Mul 2 sqrt acoth x0 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul sqrt acoth x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul cos Mul sqrt acoth x0 asec x0 log cos Mul sqrt acoth x0 asec x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow cos Mul sqrt acoth x0 asec x0 Add x0 asinh Mul pi x4 Pow cos Mul sqrt acoth x0 asec x0 Add x0 asinh Mul pi x4 -1 Pow cos Mul sqrt acoth x0 asec x0 Add x0 asinh Mul pi x4 Pow cos Mul sqrt acoth x0 asec x0 Add x0 asinh Mul pi x4 -1 