Mul x0 tan Add tan acsch x0 Pow Mul Pow Mul 3 x0 Mul cos x3 -3 exp Add 4 Add x0 Mul x0 x7 x0 
Add tan Add tan acsch x0 Pow Mul Pow Mul 3 x0 Mul cos x3 -3 exp Add 4 Add x0 Mul x0 x7 x0 Mul x0 Mul Pow sec Add tan acsch x0 Pow Mul Pow Mul 3 x0 Mul cos x3 -3 exp Add 4 Add x0 Mul x0 x7 x0 2 Add Mul Pow sec acsch x0 2 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow Mul Pow Mul 3 x0 Mul cos x3 -3 exp Add 4 Add x0 Mul x0 x7 Add x0 -1 Add Mul x0 Add Mul exp Add 4 Add x0 Mul x0 x7 Mul Pow Mul 3 x0 Add Mul cos x3 -3 -1 Mul Mul cos x3 -3 3 Mul Pow Mul 3 x0 Mul cos x3 -3 Mul exp Add 4 Add x0 Mul x0 x7 Add 1 x7 Mul Mul Pow Mul 3 x0 Mul cos x3 -3 exp Add 4 Add x0 Mul x0 x7 log Mul Pow Mul 3 x0 Mul cos x3 -3 exp Add 4 Add x0 Mul x0 x7 