tan acsch Mul x0 Mul sech log x0 Add sinh asinh x0 x1 
Mul Pow sec acsch Mul x0 Mul sech log x0 Add sinh asinh x0 x1 2 Mul Mul -1 Add Mul sech log x0 Add sinh asinh x0 x1 Mul x0 Add Mul Add sinh asinh x0 x1 Mul Mul tanh log x0 Mul -1 sech log x0 Pow x0 -1 Mul sech log x0 Mul cosh asinh x0 Pow sqrt Add 1 Mul x0 x0 -1 Pow Mul Mul Mul x0 Mul sech log x0 Add sinh asinh x0 x1 Mul x0 Mul sech log x0 Add sinh asinh x0 x1 sqrt Add 1 Mul -1 Pow Mul Mul x0 Mul sech log x0 Add sinh asinh x0 x1 Mul x0 Mul sech log x0 Add sinh asinh x0 x1 -1 -1 