Mul acsch acosh x7 asinh Pow asinh Add Add asech x3 x0 x0 x0 
Mul acsch acosh x7 Mul Mul Pow asinh Add Add asech x3 x0 x0 Add x0 -1 Add Mul x0 Mul 2 Pow sqrt Add 1 Mul Add Add asech x3 x0 x0 Add Add asech x3 x0 x0 -1 Mul asinh Add Add asech x3 x0 x0 log asinh Add Add asech x3 x0 x0 Pow sqrt Add 1 Mul Pow asinh Add Add asech x3 x0 x0 x0 Pow asinh Add Add asech x3 x0 x0 x0 -1 