Mul Pow asinh Pow 2 sinh x6 Pow x0 atan Add x3 -1 2 
Mul 2 Mul Pow asinh Pow 2 sinh x6 Add Pow x0 atan Add x3 -1 -1 Mul Mul asinh Pow 2 sinh x6 log asinh Pow 2 sinh x6 Mul Pow x0 Add atan Add x3 -1 -1 atan Add x3 -1 