Mul x3 acosh acot Add Add Mul x0 x0 acosh sech pi log Add Pow x0 1.08637385300999 Mul x0 x5 
Mul x3 Mul Mul -1 Mul Add Add x0 x0 Mul Add Mul Pow x0 0.0863738530099909 1.08637385300999 x5 Pow Add Pow x0 1.08637385300999 Mul x0 x5 -1 Pow Add 1 Mul Add Add Mul x0 x0 acosh sech pi log Add Pow x0 1.08637385300999 Mul x0 x5 Add Add Mul x0 x0 acosh sech pi log Add Pow x0 1.08637385300999 Mul x0 x5 -1 Pow Mul sqrt Add acot Add Add Mul x0 x0 acosh sech pi log Add Pow x0 1.08637385300999 Mul x0 x5 -1 sqrt Add 1 acot Add Add Mul x0 x0 acosh sech pi log Add Pow x0 1.08637385300999 Mul x0 x5 -1 