Add Pow cos Pow x1 x0 x0 Pow asinh x0 asin exp atan Mul sqrt asinh x6 Mul 4 acoth acoth x0 
Add Mul Pow cos Pow x1 x0 Add x0 -1 Add Mul x0 Mul Mul -1 sin Pow x1 x0 Mul Pow x1 Add x0 -1 Mul x1 log x1 Mul cos Pow x1 x0 log cos Pow x1 x0 Mul Pow asinh x0 Add asin exp atan Mul sqrt asinh x6 Mul 4 acoth acoth x0 -1 Add Mul asin exp atan Mul sqrt asinh x6 Mul 4 acoth acoth x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul Mul exp atan Mul sqrt asinh x6 Mul 4 acoth acoth x0 Mul Mul sqrt asinh x6 Mul 4 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul acoth x0 acoth x0 -1 Pow Add 1 Mul Mul sqrt asinh x6 Mul 4 acoth acoth x0 Mul sqrt asinh x6 Mul 4 acoth acoth x0 -1 Pow sqrt Add 1 Mul -1 Mul exp atan Mul sqrt asinh x6 Mul 4 acoth acoth x0 exp atan Mul sqrt asinh x6 Mul 4 acoth acoth x0 -1 