Mul x2 Mul Add Pow Add acot x0 Add x0 E acosh Mul x0 x0 sec Add Add x5 x0 x0 x0 
Mul x2 Add Mul x0 Add Mul Pow Add acot x0 Add x0 E Add acosh Mul x0 x0 -1 Add Mul acosh Mul x0 x0 Add Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Mul Add acot x0 Add x0 E log Add acot x0 Add x0 E Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 Mul Mul tan Add Add x5 x0 x0 sec Add Add x5 x0 x0 2 Add Pow Add acot x0 Add x0 E acosh Mul x0 x0 sec Add Add x5 x0 x0 