csc asec log Add Mul x0 acoth sec x0 Add x0 x0 
Mul Mul Mul -1 cot asec log Add Mul x0 acoth sec x0 Add x0 x0 csc asec log Add Mul x0 acoth sec x0 Add x0 x0 Mul Mul Add Add acoth sec x0 Mul x0 Mul Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul sec x0 sec x0 -1 2 Pow Add Mul x0 acoth sec x0 Add x0 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul log Add Mul x0 acoth sec x0 Add x0 x0 log Add Mul x0 acoth sec x0 Add x0 x0 -1 log Add Mul x0 acoth sec x0 Add x0 x0 log Add Mul x0 acoth sec x0 Add x0 x0 -1 