Mul x0 Mul Mul -2 pi Add 1 Mul Mul x0 x5 Pow acot x2 Mul exp Add Add x0 acosh x0 x3 x0 
Add Mul Mul -2 pi Add 1 Mul Mul x0 x5 Pow acot x2 Mul exp Add Add x0 acosh x0 x3 x0 Mul x0 Mul Mul -2 pi Add Mul Pow acot x2 Mul exp Add Add x0 acosh x0 x3 x0 x5 Mul Mul x0 x5 Mul Pow acot x2 Add Mul exp Add Add x0 acosh x0 x3 x0 -1 Mul Mul acot x2 log acot x2 Add Mul x0 Mul exp Add Add x0 acosh x0 x3 Add 1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 exp Add Add x0 acosh x0 x3 