Mul 2 Pow acsc Add x3 5 acsc asin acot Mul x3 Pow Add 2 cosh x0 acot x0 
Mul 2 Mul Pow acsc Add x3 5 Add acsc asin acot Mul x3 Pow Add 2 cosh x0 acot x0 -1 Mul Mul acsc Add x3 5 log acsc Add x3 5 Mul -1 Mul Mul Mul -1 Mul Mul x3 Mul Pow Add 2 cosh x0 Add acot x0 -1 Add Mul acot x0 sinh x0 Mul Mul Add 2 cosh x0 log Add 2 cosh x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Mul x3 Pow Add 2 cosh x0 acot x0 Mul x3 Pow Add 2 cosh x0 acot x0 -1 Pow sqrt Add 1 Mul -1 Mul acot Mul x3 Pow Add 2 cosh x0 acot x0 acot Mul x3 Pow Add 2 cosh x0 acot x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul asin acot Mul x3 Pow Add 2 cosh x0 acot x0 asin acot Mul x3 Pow Add 2 cosh x0 acot x0 -1 asin acot Mul x3 Pow Add 2 cosh x0 acot x0 asin acot Mul x3 Pow Add 2 cosh x0 acot x0 -1 