Mul acosh cot x2 Pow 4 sqrt Pow Pow acosh x2 Mul x0 asin x7 x7 
Mul acosh cot x2 Mul Pow 4 Add sqrt Pow Pow acosh x2 Mul x0 asin x7 x7 -1 Mul 5.38629436111989 Mul Pow Mul 2 sqrt Pow Pow acosh x2 Mul x0 asin x7 x7 -1 Mul Pow Pow acosh x2 Mul x0 asin x7 Add x7 -1 Mul x7 Mul Pow acosh x2 Add Mul x0 asin x7 -1 Mul Mul acosh x2 log acosh x2 asin x7 