Pow Pow acosh x4 -5 Add Mul acoth Mul x0 x0 Add 7 x0 Add x0 acot x0 
Mul Pow Pow acosh x4 -5 Add Add Mul acoth Mul x0 x0 Add 7 x0 Add x0 acot x0 -1 Mul Mul Pow acosh x4 -5 log Pow acosh x4 -5 Add Add Mul Add 7 x0 Mul Add x0 x0 Pow Add 1 Mul -1 Mul Mul x0 x0 Mul x0 x0 -1 acoth Mul x0 x0 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 