Add Pow acoth x0 Add Mul Pow x0 sqrt x1 x0 acosh cosh Pow x0 x5 Add Pow asinh x0 x0 pi 
Add Mul Pow acoth x0 Add Add Mul Pow x0 sqrt x1 x0 acosh cosh Pow x0 x5 -1 Add Mul Add Mul Pow x0 sqrt x1 x0 acosh cosh Pow x0 x5 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul acoth x0 log acoth x0 Add Add Mul x0 Mul Pow x0 Add sqrt x1 -1 sqrt x1 Pow x0 sqrt x1 Mul Mul sinh Pow x0 x5 Mul Pow x0 Add x5 -1 x5 Pow Mul sqrt Add cosh Pow x0 x5 -1 sqrt Add 1 cosh Pow x0 x5 -1 Mul Pow asinh x0 Add x0 -1 Add Mul x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul asinh x0 log asinh x0 