Pow Pow Mul sqrt Add Add acosh x0 x0 x1 x5 x0 Add x0 acot x0 
Mul Pow Pow Mul sqrt Add Add acosh x0 x0 x1 x5 x0 Add Add x0 acot x0 -1 Add Mul Add x0 acot x0 Mul Pow Mul sqrt Add Add acosh x0 x0 x1 x5 Add x0 -1 Add Mul x0 Mul x5 Mul Pow Mul 2 sqrt Add Add acosh x0 x0 x1 -1 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 1 Mul Mul sqrt Add Add acosh x0 x0 x1 x5 log Mul sqrt Add Add acosh x0 x0 x1 x5 Mul Mul Pow Mul sqrt Add Add acosh x0 x0 x1 x5 x0 log Pow Mul sqrt Add Add acosh x0 x0 x1 x5 x0 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 