Mul acoth x3 Pow Add x0 Add x0 x0 Add Add x5 Pow Add x0 x0 Add Add 1 exp asech sec x0 -3 sqrt x0 
Mul acoth x3 Mul Pow Add x0 Add x0 x0 Add Add Add x5 Pow Add x0 x0 Add Add 1 exp asech sec x0 -3 sqrt x0 -1 Add Mul Add Add x5 Pow Add x0 x0 Add Add 1 exp asech sec x0 -3 sqrt x0 3 Mul Mul Add x0 Add x0 x0 log Add x0 Add x0 x0 Add Mul Pow Add x0 x0 Add Add Add 1 exp asech sec x0 -3 -1 Add Mul Add Add 1 exp asech sec x0 -3 2 Mul Mul Add x0 x0 log Add x0 x0 Mul exp asech sec x0 Mul Mul tan x0 sec x0 Pow Mul Mul sec x0 sec x0 sqrt Add 1 Mul -1 Pow Mul sec x0 sec x0 -1 -1 Pow Mul 2 sqrt x0 -1 