acot Add Add sqrt Pow asinh Add x2 Mul exp sinh x0 x0 x0 x0 atan x0 
Mul -1 Mul Add Add Mul Pow Mul 2 sqrt Pow asinh Add x2 Mul exp sinh x0 x0 x0 -1 Mul Pow asinh Add x2 Mul exp sinh x0 x0 Add x0 -1 Add Mul x0 Mul Add Mul x0 Mul exp sinh x0 cosh x0 exp sinh x0 Pow sqrt Add 1 Mul Add x2 Mul exp sinh x0 x0 Add x2 Mul exp sinh x0 x0 -1 Mul asinh Add x2 Mul exp sinh x0 x0 log asinh Add x2 Mul exp sinh x0 x0 1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul Add Add sqrt Pow asinh Add x2 Mul exp sinh x0 x0 x0 x0 atan x0 Add Add sqrt Pow asinh Add x2 Mul exp sinh x0 x0 x0 x0 atan x0 -1 