Mul 3 sqrt Add atan x0 acosh Add tan Add x0 Pow Add x6 x0 acsch Mul x0 4 Mul Mul x4 x5 x0 
Mul 3 Mul Pow Mul 2 sqrt Add atan x0 acosh Add tan Add x0 Pow Add x6 x0 acsch Mul x0 4 Mul Mul x4 x5 x0 -1 Add Pow Add 1 Mul x0 x0 -1 Mul Add Mul Pow sec Add x0 Pow Add x6 x0 acsch Mul x0 4 2 Add 1 Mul Pow Add x6 x0 Add acsch Mul x0 4 -1 Add acsch Mul x0 4 Mul Mul Add x6 x0 log Add x6 x0 Mul 3 Pow Mul Mul Mul x0 4 Mul x0 4 sqrt Add 1 Mul -1 Pow Mul Mul x0 4 Mul x0 4 -1 -1 Mul x4 x5 Pow Mul sqrt Add Add tan Add x0 Pow Add x6 x0 acsch Mul x0 4 Mul Mul x4 x5 x0 -1 sqrt Add 1 Add tan Add x0 Pow Add x6 x0 acsch Mul x0 4 Mul Mul x4 x5 x0 -1 