Add Add acoth x0 Add Pow Add x0 acot x0 x6 Pow x0 Pow tan Mul x0 Add x0 x0 acosh x4 Pow cosh x0 3 
Add Add Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Pow Add x0 acot x0 Add x6 -1 Mul x6 Add 1 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow x0 Add Pow tan Mul x0 Add x0 x0 acosh x4 -1 Add Pow tan Mul x0 Add x0 x0 acosh x4 Mul Mul x0 log x0 Mul Pow tan Mul x0 Add x0 x0 Add acosh x4 -1 Mul acosh x4 Mul Pow sec Mul x0 Add x0 x0 2 Add Add x0 x0 Mul x0 2 Mul Pow cosh x0 2 Mul 3 sinh x0 