Add Add 2 tan Mul x3 acsch Mul Add x0 x0 -3 Pow Pow x0 2 Add E cosh x0 
Add Mul Pow sec Mul x3 acsch Mul Add x0 x0 -3 2 Mul x3 Mul -1 Pow Mul Mul Mul Add x0 x0 -3 Mul Add x0 x0 -3 sqrt Add 1 Mul -1 Pow Mul Mul Add x0 x0 -3 Mul Add x0 x0 -3 -1 -1 Mul Pow Pow x0 2 Add Add E cosh x0 -1 Add Mul Add E cosh x0 Mul x0 2 Mul Mul Pow x0 2 log Pow x0 2 sinh x0 