Mul Add Mul x0 asech x0 Pow x0 Add x3 tanh acoth pi Add x5 acot x0 
Add Mul Add x5 acot x0 Add Add asech x0 Mul x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow x0 Add Add x3 tanh acoth pi -1 Add x3 tanh acoth pi Mul Add Mul x0 asech x0 Pow x0 Add x3 tanh acoth pi Mul -1 Pow Add 1 Mul x0 x0 -1 