Add Mul x2 x0 Mul x0 atanh Mul Mul exp x0 Mul x0 x1 Add Add x2 x0 Add x0 asech acot sec x0 
Add x2 Add atanh Mul Mul exp x0 Mul x0 x1 Add Add x2 x0 Add x0 asech acot sec x0 Mul x0 Mul Add Mul Add Add x2 x0 Add x0 asech acot sec x0 Add Mul Mul x0 x1 exp x0 Mul exp x0 x1 Mul Mul exp x0 Mul x0 x1 Add 1 Add 1 Mul Mul -1 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 Pow Mul Mul acot sec x0 acot sec x0 sqrt Add 1 Mul -1 Pow Mul acot sec x0 acot sec x0 -1 -1 Pow Add 1 Mul -1 Mul Mul Mul exp x0 Mul x0 x1 Add Add x2 x0 Add x0 asech acot sec x0 Mul Mul exp x0 Mul x0 x1 Add Add x2 x0 Add x0 asech acot sec x0 -1 