Add x0 Add Pow Add x0 acot x0 Mul csch Add Add x0 acosh x0 Add cosh x1 4 x0 Add pi x0 
Add 1 Add Mul Pow Add x0 acot x0 Add Mul csch Add Add x0 acosh x0 Add cosh x1 4 x0 -1 Add Mul Mul csch Add Add x0 acosh x0 Add cosh x1 4 x0 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Add x0 acot x0 log Add x0 acot x0 Add Mul x0 Mul Mul Mul -1 coth Add Add x0 acosh x0 Add cosh x1 4 csch Add Add x0 acosh x0 Add cosh x1 4 Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 csch Add Add x0 acosh x0 Add cosh x1 4 1 