Add pi Pow Pow Mul x0 Pow asin x2 asin x6 Mul x0 Add 3 E acsch sqrt x0 
Mul Pow Pow Mul x0 Pow asin x2 asin x6 Mul x0 Add 3 E Add acsch sqrt x0 -1 Add Mul acsch sqrt x0 Mul Pow Mul x0 Pow asin x2 asin x6 Add Mul x0 Add 3 E -1 Add Mul Mul x0 Add 3 E Pow asin x2 asin x6 Mul Mul Mul x0 Pow asin x2 asin x6 log Mul x0 Pow asin x2 asin x6 Add 3 E Mul Mul Pow Mul x0 Pow asin x2 asin x6 Mul x0 Add 3 E log Pow Mul x0 Pow asin x2 asin x6 Mul x0 Add 3 E Mul Mul -1 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt x0 sqrt x0 sqrt Add 1 Mul -1 Pow Mul sqrt x0 sqrt x0 -1 -1 