sech Pow x5 asinh Mul acosh Mul pi x0 x7 
Mul Mul tanh Pow x5 asinh Mul acosh Mul pi x0 x7 Mul -1 sech Pow x5 asinh Mul acosh Mul pi x0 x7 Mul Pow x5 Add asinh Mul acosh Mul pi x0 x7 -1 Mul Mul x5 log x5 Mul Mul x7 Mul pi Pow Mul sqrt Add Mul pi x0 -1 sqrt Add 1 Mul pi x0 -1 Pow sqrt Add 1 Mul Mul acosh Mul pi x0 x7 Mul acosh Mul pi x0 x7 -1 