Pow cosh Mul x0 sin atanh log sin x1 x0 
Mul Pow cosh Mul x0 sin atanh log sin x1 Add x0 -1 Add Mul x0 Mul sinh Mul x0 sin atanh log sin x1 sin atanh log sin x1 Mul cosh Mul x0 sin atanh log sin x1 log cosh Mul x0 sin atanh log sin x1 