Mul Mul Pow Add x0 x0 Mul x4 Pow asec Mul x6 log Add E -4 sinh x1 x1 acot x0 
Add Mul acot x0 Mul x1 Mul Pow Add x0 x0 Add Mul x4 Pow asec Mul x6 log Add E -4 sinh x1 -1 Mul Mul x4 Pow asec Mul x6 log Add E -4 sinh x1 2 Mul Mul Pow Add x0 x0 Mul x4 Pow asec Mul x6 log Add E -4 sinh x1 x1 Mul -1 Pow Add 1 Mul x0 x0 -1 