Add Mul Add Add Mul -3 x0 Mul Add -3 atanh Add x0 atanh x0 Pow csch x1 x1 3 acosh Mul 2 tan x0 1 
Add Mul acosh Mul 2 tan x0 Add -3 Mul Pow csch x1 x1 Mul Add 1 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add x0 atanh x0 Add x0 atanh x0 -1 Mul Add Add Mul -3 x0 Mul Add -3 atanh Add x0 atanh x0 Pow csch x1 x1 3 Mul Mul 2 Pow sec x0 2 Pow Mul sqrt Add Mul 2 tan x0 -1 sqrt Add 1 Mul 2 tan x0 -1 