Pow x0 Pow tan sinh x0 atan Pow x3 Mul x0 x0 
Mul Pow x0 Add Pow tan sinh x0 atan Pow x3 Mul x0 x0 -1 Add Pow tan sinh x0 atan Pow x3 Mul x0 x0 Mul Mul x0 log x0 Mul Pow tan sinh x0 Add atan Pow x3 Mul x0 x0 -1 Add Mul atan Pow x3 Mul x0 x0 Mul Pow sec sinh x0 2 cosh x0 Mul Mul tan sinh x0 log tan sinh x0 Mul Mul Pow x3 Add Mul x0 x0 -1 Mul Mul x3 log x3 Add x0 x0 Pow Add 1 Mul Pow x3 Mul x0 x0 Pow x3 Mul x0 x0 -1 