atan Add Pow Add Add 0.800000000000000 asinh acoth pi x0 sin x6 8 
Mul Mul Pow Add Add 0.800000000000000 asinh acoth pi x0 Add sin x6 -1 sin x6 Pow Add 1 Mul Add Pow Add Add 0.800000000000000 asinh acoth pi x0 sin x6 8 Add Pow Add Add 0.800000000000000 asinh acoth pi x0 sin x6 8 -1 