Add Mul Add Add Pow acosh x0 -3 Mul Mul -4 Mul Pow x7 0.283662185463226 acosh Mul sech x1 E pi x0 x0 x0 
Add Add Mul x0 Add Mul Pow acosh x0 4 Mul -3 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Add Add Pow acosh x0 -3 Mul Mul -4 Mul Pow x7 0.283662185463226 acosh Mul sech x1 E pi x0 1 