Mul Mul tanh log cot Pow Pow log E pi x3 Add log acosh x0 Add Pow log x0 acsch x3 x0 x5 
Mul x5 Mul tanh log cot Pow Pow log E pi x3 Add Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow acosh x0 -1 Add Mul Pow log x0 Add acsch x3 -1 Mul acsch x3 Pow x0 -1 1 