Add x0 Add acot Add Pow tanh Add x0 x0 x0 acosh Pow Add x2 Mul x5 pi x2 3 
Add 1 Mul -1 Mul Mul Pow tanh Add x0 x0 Add x0 -1 Add Mul x0 Mul Pow sech Add x0 x0 2 2 Mul tanh Add x0 x0 log tanh Add x0 x0 Pow Add 1 Mul Add Pow tanh Add x0 x0 x0 acosh Pow Add x2 Mul x5 pi x2 Add Pow tanh Add x0 x0 x0 acosh Pow Add x2 Mul x5 pi x2 -1 