Mul x2 Add sec Mul x0 tan Pow Add atan x0 x0 -2 Mul Pow acot Mul pi x0 Mul x0 3 asinh x0 
Mul x2 Add Mul Mul tan Mul x0 tan Pow Add atan x0 x0 -2 sec Mul x0 tan Pow Add atan x0 x0 -2 Add tan Pow Add atan x0 x0 -2 Mul x0 Mul Pow sec Pow Add atan x0 x0 -2 2 Mul Pow Add atan x0 x0 3 Mul -2 Add Pow Add 1 Mul x0 x0 -1 1 Add Mul asinh x0 Mul Pow acot Mul pi x0 Add Mul x0 3 -1 Add Mul Mul x0 3 Mul -1 Mul pi Pow Add 1 Mul Mul pi x0 Mul pi x0 -1 Mul Mul acot Mul pi x0 log acot Mul pi x0 3 Mul Pow acot Mul pi x0 Mul x0 3 Pow sqrt Add 1 Mul x0 x0 -1 