Mul Mul acos Mul x0 28.2899171971277 Add Pow sinh x0 x0 sinh asech atanh x0 -3.62686040784702 
Mul -3.62686040784702 Add Mul Add Pow sinh x0 x0 sinh asech atanh x0 Mul -1 Mul 28.2899171971277 Pow sqrt Add 1 Mul -1 Mul Mul x0 28.2899171971277 Mul x0 28.2899171971277 -1 Mul acos Mul x0 28.2899171971277 Add Mul Pow sinh x0 Add x0 -1 Add Mul x0 cosh x0 Mul sinh x0 log sinh x0 Mul cosh asech atanh x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul atanh x0 atanh x0 sqrt Add 1 Mul -1 Pow Mul atanh x0 atanh x0 -1 -1 