Mul Pow Add 5 atan x0 Pow Pow Mul x0 sec x7 sqrt x0 Mul -4 sinh Mul asin x3 x0 asech x5 
Mul asech x5 Mul Pow Add 5 atan x0 Add Pow Pow Mul x0 sec x7 sqrt x0 Mul -4 sinh Mul asin x3 x0 -1 Add Mul Pow Pow Mul x0 sec x7 sqrt x0 Mul -4 sinh Mul asin x3 x0 Pow Add 1 Mul x0 x0 -1 Mul Mul Add 5 atan x0 log Add 5 atan x0 Mul Pow Pow Mul x0 sec x7 sqrt x0 Add Mul -4 sinh Mul asin x3 x0 -1 Add Mul Mul -4 sinh Mul asin x3 x0 Mul Pow Mul x0 sec x7 Add sqrt x0 -1 Add Mul sqrt x0 sec x7 Mul Mul Mul x0 sec x7 log Mul x0 sec x7 Pow Mul 2 sqrt x0 -1 Mul Mul Pow Mul x0 sec x7 sqrt x0 log Pow Mul x0 sec x7 sqrt x0 Mul -4 Mul cosh Mul asin x3 x0 asin x3 