Mul Add Add Mul x0 Add x6 Mul Mul x0 Pow x2 Add tan acoth x0 x0 sinh x7 x0 3 x7 
Mul x7 Add Add Add x6 Mul Mul x0 Pow x2 Add tan acoth x0 x0 sinh x7 Mul x0 Mul sinh x7 Add Pow x2 Add tan acoth x0 x0 Mul x0 Mul Pow x2 Add Add tan acoth x0 x0 -1 Mul Mul x2 log x2 Add Mul Pow sec acoth x0 2 Pow Add 1 Mul -1 Mul x0 x0 -1 1 1 