Pow Pow x4 sec Mul exp Mul x0 cosh Pow acot x0 2 x0 Add asin x1 x0 
Mul Pow Pow x4 sec Mul exp Mul x0 cosh Pow acot x0 2 x0 Add Add asin x1 x0 -1 Add Mul Add asin x1 x0 Mul Pow x4 Add sec Mul exp Mul x0 cosh Pow acot x0 2 x0 -1 Mul Mul x4 log x4 Mul Mul tan Mul exp Mul x0 cosh Pow acot x0 2 x0 sec Mul exp Mul x0 cosh Pow acot x0 2 x0 Add Mul x0 Mul exp Mul x0 cosh Pow acot x0 2 Add cosh Pow acot x0 2 Mul x0 Mul sinh Pow acot x0 2 Mul acot x0 Mul 2 Mul -1 Pow Add 1 Mul x0 x0 -1 exp Mul x0 cosh Pow acot x0 2 Mul Pow x4 sec Mul exp Mul x0 cosh Pow acot x0 2 x0 log Pow x4 sec Mul exp Mul x0 cosh Pow acot x0 2 x0 