Add Mul x0 acsch Mul asinh pi Mul x0 Mul pi x0 sech x0 
Add Add acsch Mul asinh pi Mul x0 Mul pi x0 Mul x0 Mul Mul -1 Mul asinh pi Add Mul pi x0 Mul x0 pi Pow Mul Mul Mul asinh pi Mul x0 Mul pi x0 Mul asinh pi Mul x0 Mul pi x0 sqrt Add 1 Mul -1 Pow Mul Mul asinh pi Mul x0 Mul pi x0 Mul asinh pi Mul x0 Mul pi x0 -1 -1 Mul tanh x0 Mul -1 sech x0 