Pow x0 Mul Mul acosh Pow sinh Add x3 acot x1 acot pi x0 Mul x0 Add acot x1 Pow x0 cosh x0 
Mul Pow x0 Add Mul Mul acosh Pow sinh Add x3 acot x1 acot pi x0 Mul x0 Add acot x1 Pow x0 cosh x0 -1 Add Mul Mul acosh Pow sinh Add x3 acot x1 acot pi x0 Mul x0 Add acot x1 Pow x0 cosh x0 Mul Mul x0 log x0 Add Mul Mul x0 Add acot x1 Pow x0 cosh x0 acosh Pow sinh Add x3 acot x1 acot pi Mul Mul acosh Pow sinh Add x3 acot x1 acot pi x0 Add Add acot x1 Pow x0 cosh x0 Mul x0 Mul Pow x0 Add cosh x0 -1 Add cosh x0 Mul Mul x0 log x0 sinh x0 