Mul csc x7 Mul Add Mul pi acot x0 Pow log asin sinh pi x0 Add x5 x7 
Mul csc x7 Mul Add x5 x7 Add Mul pi Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow log asin sinh pi Add x0 -1 Mul log asin sinh pi log log asin sinh pi 