Pow x0 Mul Pow sec asech x0 -0.125000000000000 sec Pow tanh acot x0 coth Add asinh x0 pi 
Mul Pow x0 Add Mul Pow sec asech x0 -0.125000000000000 sec Pow tanh acot x0 coth Add asinh x0 pi -1 Add Mul Pow sec asech x0 -0.125000000000000 sec Pow tanh acot x0 coth Add asinh x0 pi Mul Mul x0 log x0 Add Mul sec Pow tanh acot x0 coth Add asinh x0 pi Mul Pow sec asech x0 -1.12500000000000 Mul -0.125000000000000 Mul Mul tan asech x0 sec asech x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow sec asech x0 -0.125000000000000 Mul Mul tan Pow tanh acot x0 coth Add asinh x0 pi sec Pow tanh acot x0 coth Add asinh x0 pi Mul Pow tanh acot x0 Add coth Add asinh x0 pi -1 Add Mul coth Add asinh x0 pi Mul Pow sech acot x0 2 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul tanh acot x0 log tanh acot x0 Mul Mul -1 Pow csch Add asinh x0 pi 2 Pow sqrt Add 1 Mul x0 x0 -1 