sec Mul Mul Mul Mul atanh Mul x0 Add pi E acosh acsc acot x4 x0 -3 x0 
Mul Mul tan Mul Mul Mul Mul atanh Mul x0 Add pi E acosh acsc acot x4 x0 -3 x0 sec Mul Mul Mul Mul atanh Mul x0 Add pi E acosh acsc acot x4 x0 -3 x0 Add Mul x0 Mul -3 Add Mul x0 Mul acosh acsc acot x4 Mul Add pi E Pow Add 1 Mul -1 Mul Mul x0 Add pi E Mul x0 Add pi E -1 Mul atanh Mul x0 Add pi E acosh acsc acot x4 Mul Mul Mul atanh Mul x0 Add pi E acosh acsc acot x4 x0 -3 