acosh Mul Mul x0 Add Mul x0 sinh x0 x5 Add sech pi tanh x0 
Mul Add Mul Add sech pi tanh x0 Add Add Mul x0 sinh x0 x5 Mul x0 Add sinh x0 Mul x0 cosh x0 Mul Mul x0 Add Mul x0 sinh x0 x5 Pow sech x0 2 Pow Mul sqrt Add Mul Mul x0 Add Mul x0 sinh x0 x5 Add sech pi tanh x0 -1 sqrt Add 1 Mul Mul x0 Add Mul x0 sinh x0 x5 Add sech pi tanh x0 -1 