Pow Mul acot atan Pow x0 Mul 4 tan asinh x0 tanh x1 cot E 
Mul Pow Mul acot atan Pow x0 Mul 4 tan asinh x0 tanh x1 Add cot E -1 Mul cot E Mul tanh x1 Mul -1 Mul Mul Mul Pow x0 Add Mul 4 tan asinh x0 -1 Add Mul 4 tan asinh x0 Mul Mul x0 log x0 Mul 4 Mul Pow sec asinh x0 2 Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul Pow x0 Mul 4 tan asinh x0 Pow x0 Mul 4 tan asinh x0 -1 Pow Add 1 Mul atan Pow x0 Mul 4 tan asinh x0 atan Pow x0 Mul 4 tan asinh x0 -1 