log Mul Add Add Pow Mul pi x0 x4 x4 Add csch acosh x0 cosh x7 x0 
Mul Add Mul x0 Add Mul Pow Mul pi x0 Add x4 -1 Mul x4 pi Mul Mul Mul -1 coth acosh x0 csch acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Add Add Pow Mul pi x0 x4 x4 Add csch acosh x0 cosh x7 Pow Mul Add Add Pow Mul pi x0 x4 x4 Add csch acosh x0 cosh x7 x0 -1 