Mul acot Add Add x0 acosh Pow x0 Add x3 Mul x0 E x0 Mul pi Mul acoth Pow Add acos x6 x0 5 x3 
Add Mul Mul pi Mul acoth Pow Add acos x6 x0 5 x3 Mul -1 Mul Add Add 1 Mul Mul Pow x0 Add Add x3 Mul x0 E -1 Add Add x3 Mul x0 E Mul Mul x0 log x0 E Pow Mul sqrt Add Pow x0 Add x3 Mul x0 E -1 sqrt Add 1 Pow x0 Add x3 Mul x0 E -1 1 Pow Add 1 Mul Add Add x0 acosh Pow x0 Add x3 Mul x0 E x0 Add Add x0 acosh Pow x0 Add x3 Mul x0 E x0 -1 Mul acot Add Add x0 acosh Pow x0 Add x3 Mul x0 E x0 Mul pi Mul x3 Mul Mul Pow Add acos x6 x0 4 5 Pow Add 1 Mul -1 Mul Pow Add acos x6 x0 5 Pow Add acos x6 x0 5 -1 