atanh Mul Mul Add Add x0 Pow x0 Mul Mul sqrt Mul 27 cosh tan x0 -2 x6 asech x0 2 4 
Mul Mul 4 Mul 2 Add Add 1 Mul Pow x0 Add Mul Mul sqrt Mul 27 cosh tan x0 -2 x6 -1 Add Mul Mul sqrt Mul 27 cosh tan x0 -2 x6 Mul Mul x0 log x0 Mul x6 Mul -2 Mul Pow Mul 2 sqrt Mul 27 cosh tan x0 -1 Mul 27 Mul sinh tan x0 Pow sec x0 2 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow Add 1 Mul -1 Mul Mul Mul Add Add x0 Pow x0 Mul Mul sqrt Mul 27 cosh tan x0 -2 x6 asech x0 2 4 Mul Mul Add Add x0 Pow x0 Mul Mul sqrt Mul 27 cosh tan x0 -2 x6 asech x0 2 4 -1 