asec acot Add pi Mul Mul x0 cosh x0 Mul x0 x1 
Mul Mul -1 Mul Add Mul Mul x0 x1 Add cosh x0 Mul x0 sinh x0 Mul Mul x0 cosh x0 x1 Pow Add 1 Mul Add pi Mul Mul x0 cosh x0 Mul x0 x1 Add pi Mul Mul x0 cosh x0 Mul x0 x1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul acot Add pi Mul Mul x0 cosh x0 Mul x0 x1 acot Add pi Mul Mul x0 cosh x0 Mul x0 x1 -1 acot Add pi Mul Mul x0 cosh x0 Mul x0 x1 acot Add pi Mul Mul x0 cosh x0 Mul x0 x1 -1 