Add Pow Mul x0 Pow log Add log Pow tan sec x0 x0 sech cbrt x6 acoth x0 x1 sec x0 
Add Mul Pow Mul x0 Pow log Add log Pow tan sec x0 x0 sech cbrt x6 acoth x0 Add x1 -1 Mul x1 Add Pow log Add log Pow tan sec x0 x0 sech cbrt x6 acoth x0 Mul x0 Mul Pow log Add log Pow tan sec x0 x0 sech cbrt x6 Add acoth x0 -1 Add Mul acoth x0 Mul Mul Mul Pow tan sec x0 Add x0 -1 Add Mul x0 Mul Pow sec sec x0 2 Mul tan x0 sec x0 Mul tan sec x0 log tan sec x0 Pow Pow tan sec x0 x0 -1 Pow Add log Pow tan sec x0 x0 sech cbrt x6 -1 Mul Mul log Add log Pow tan sec x0 x0 sech cbrt x6 log log Add log Pow tan sec x0 x0 sech cbrt x6 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul tan x0 sec x0 