log log Mul x4 Add Pow Pow Mul Add 6 acosh Mul pi x0 x0 x0 Mul x0 x0 csch x3 
Mul Mul Mul x4 Mul Pow Pow Mul Add 6 acosh Mul pi x0 x0 x0 Add Mul x0 x0 -1 Add Mul Mul x0 x0 Mul Pow Mul Add 6 acosh Mul pi x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul pi Pow Mul sqrt Add Mul pi x0 -1 sqrt Add 1 Mul pi x0 -1 Add 6 acosh Mul pi x0 Mul Mul Add 6 acosh Mul pi x0 x0 log Mul Add 6 acosh Mul pi x0 x0 Mul Mul Pow Mul Add 6 acosh Mul pi x0 x0 x0 log Pow Mul Add 6 acosh Mul pi x0 x0 x0 Add x0 x0 Pow Mul x4 Add Pow Pow Mul Add 6 acosh Mul pi x0 x0 x0 Mul x0 x0 csch x3 -1 Pow log Mul x4 Add Pow Pow Mul Add 6 acosh Mul pi x0 x0 x0 Mul x0 x0 csch x3 -1 