atanh sqrt sec Mul pi asinh x0 
Mul Mul Pow Mul 2 sqrt sec Mul pi asinh x0 -1 Mul Mul tan Mul pi asinh x0 sec Mul pi asinh x0 Mul pi Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul sqrt sec Mul pi asinh x0 sqrt sec Mul pi asinh x0 -1 